Методи оцінки та засоби підвищення надійності програмного забезпечення
Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
Подобные документы
Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016Розробка, обіг та використання програмної документації в процесі життєвого циклу програмного забезпечення. Особливості проектування, тестування та супроводу програмного забезпечення. Вивчення моделей та технологій розробки програмного забезпечення.
курсовая работа, добавлен 27.06.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Наведення підходів для визначення необхідного рівня надійності програмної компоненти та числа осіб відповідальних за працездатність програмного забезпечення в залежності від його складності. Вивчення суті класичного методу Монте-Карло оцінки надійності.
статья, добавлен 13.02.2016Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Підвищення точності розрахунку показників надійності відмовостійких багатопроцесорних систем, що здатні реконфігуруватися. Розробка модифікацій метода статистичних експериментів для оцінки надійності ВБС. Програмне забезпечення для проведення досліджень.
автореферат, добавлен 29.07.2015Якість програмного забезпечення як інтегральний показник, що впливає на потенційний комерційний успіх програмного забезпечення. Дослідження теоретичних засад тестування програмного забезпечення як важливого етапу розробки програмного забезпечення.
статья, добавлен 21.06.2024Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Визначення розвитку тестування та контролю якості в розробці програмного забезпечення. Дослідження наявних методів та типів тестування. Обґрунтування актуальності тестування, техніка контролю якості як невід'ємна частина розробки програмного забезпечення.
статья, добавлен 02.12.2017Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Встановлення вразливості Web-додатків, власного програмного забезпечення та конфігурації. Визначення поширеності проблеми забезпечення надійності Web-додатків. Характеристика функцій брандмауера WAF, як універсального методу захисту Web-додатків.
статья, добавлен 11.03.2018Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Тестування програмного забезпечення із використанням методу білої скриньки. Огляд інструментальних засобів для автоматизації тестування програмного забезпечення. Тестування потоків керування програми, потоків даних програми та мутаційне тестування.
статья, добавлен 05.06.2020Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Проектування програмного забезпечення. Тестування та супровід програмного забезпечення. Технологія розробки програмного забезпечення. Основні моделі розробки програмного засобу. Структура процесу моделювання Erwin. Генерування бази даних BatchAccess.
курсовая работа, добавлен 20.06.2015Аналіз прикладної галузі програмного засобу. Розробка плану верифікації і тестування компонентів. Функціональна специфікація програмного засобу. Реалізація плану забезпечення і реалізації життєвого циклу програмного засобу засобами Microsoft Project.
курсовая работа, добавлен 06.06.2016Розгляд особливостей реалізації програмного забезпечення телемедичної системи клієнт-серверної архітектури з точки зору забезпечення надійності проходження інформації і ефективного використання каналів зв’язку. Синхронізація роботи клієнтських процесів.
статья, добавлен 29.01.2019Основні принципи тестування програмного забезпечення. Об'єктно-орієнтована технологія в програмуванні: переваги та недоліки. Інтеграція об'єктів. Різновиди тестування. Інструментальні засоби. Тестування інформаційної системи "Навчально-методичний ресурс".
курсовая работа, добавлен 30.06.2016Аналіз специфіки програмного забезпечення 2023 р. Особливості об’єднання адаптації та інновації для задоволення мінливого середовища розробки програмного забезпечення. Модерні тенденції у тестуванні програмного забезпечення, проблеми та ризики галузі.
статья, добавлен 22.05.2024