Алгебричне аналізування надійності програмного забезпечення
Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
Подобные документы
Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016Проектування програмного забезпечення. Тестування та супровід програмного забезпечення. Технологія розробки програмного забезпечення. Основні моделі розробки програмного засобу. Структура процесу моделювання Erwin. Генерування бази даних BatchAccess.
курсовая работа, добавлен 20.06.2015Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Аналіз програмного модуля для розрахунку ймовірності роботи та відмови за заданої умови готовності ізотропних симетричних ієрархічних розгалужених систем. Прогнозування характеристик надійності за допомогою неітераційної штучної нейронної мережі.
статья, добавлен 20.01.2017Погляди на порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011, IDT). Перевірка якості спеціального програмного забезпечення для управління військами.
статья, добавлен 04.05.2021Розробка, обіг та використання програмної документації в процесі життєвого циклу програмного забезпечення. Особливості проектування, тестування та супроводу програмного забезпечення. Вивчення моделей та технологій розробки програмного забезпечення.
курсовая работа, добавлен 27.06.2015Відмінності вільного програмного забезпечення від пропієтарного або напіввільного ПЗ. Категорії програмного забезпечення з точки зору умов їх ліцензій. Концепція "копілефт", що сформувалася як протилежність традиційному підходу до авторського права.
статья, добавлен 13.10.2016Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Визначення розвитку тестування та контролю якості в розробці програмного забезпечення. Дослідження наявних методів та типів тестування. Обґрунтування актуальності тестування, техніка контролю якості як невід'ємна частина розробки програмного забезпечення.
статья, добавлен 02.12.2017Методика визначення собівартості програмного забезпечення як нематеріального активу. Використання інтервальних обчислень для визначення собівартості програмного забезпечення на стадії попереднього планування та стадії визначення фактичної собівартості.
статья, добавлен 14.07.2016Розгляд особливостей реалізації програмного забезпечення телемедичної системи клієнт-серверної архітектури з точки зору забезпечення надійності проходження інформації і ефективного використання каналів зв’язку. Синхронізація роботи клієнтських процесів.
статья, добавлен 29.01.2019Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022- 21. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 - 22. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021