Старіння програмного забезпечення в контексті його надійності: огляд проблематики
Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
Подобные документы
Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Розробка, обіг та використання програмної документації в процесі життєвого циклу програмного забезпечення. Особливості проектування, тестування та супроводу програмного забезпечення. Вивчення моделей та технологій розробки програмного забезпечення.
курсовая работа, добавлен 27.06.2015Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021Основні етапи та технологічні процеси розробки програмного продукту. Впровадження та налагодження програмного продукту з сучасним апаратним та програмним забезпеченням. Ознайомлення з організацією праці і економікою виробництва досліджуваної установи.
отчет по практике, добавлен 05.09.2014Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Проектування програмного забезпечення. Тестування та супровід програмного забезпечення. Технологія розробки програмного забезпечення. Основні моделі розробки програмного засобу. Структура процесу моделювання Erwin. Генерування бази даних BatchAccess.
курсовая работа, добавлен 20.06.2015Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015- 9. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Підвищення надійності програмного продукту - надзвичайно важлива та актуальна наукова задача. Опис методу автоматизованої побудови сценаріїв тестування на основі розробленої моделі поведінки ПЗ з урахуванням його змінних, що скорочеє фінансові ресурси.
статья, добавлен 28.08.2016Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Етапи робіт, що проводяться у заданому порядку протягом періоду часу, який починається з вирішення питання про розроблення програмного забезпечення і закінчується припиненням його використання. Каскадна модель життєвого циклу інформаційної системи.
реферат, добавлен 22.07.2017Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017Наведення підходів для визначення необхідного рівня надійності програмної компоненти та числа осіб відповідальних за працездатність програмного забезпечення в залежності від його складності. Вивчення суті класичного методу Монте-Карло оцінки надійності.
статья, добавлен 13.02.2016Основи та головні рівні тестування програмного забезпечення. Класифікація і короткий огляд методів побудови тестів. Сутність програмування без персоналій. Документування робочого продукту. Внутрішні і незалежні команди. Послідовність розробки програми.
реферат, добавлен 24.06.2013Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Тестування програмного забезпечення із використанням методу білої скриньки. Огляд інструментальних засобів для автоматизації тестування програмного забезпечення. Тестування потоків керування програми, потоків даних програми та мутаційне тестування.
статья, добавлен 05.06.2020Оцінювання, прогнозування, забезпечення необхідного рівня якості розроблюваного програмного забезпечення (ПЗ). Основна ідея та критерії використання ретроспективного аналізу для забезпечення якості ПЗ і прийняття рішень при виборі програмних проектів.
статья, добавлен 28.02.2016Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Відмінності вільного програмного забезпечення від пропієтарного або напіввільного ПЗ. Категорії програмного забезпечення з точки зору умов їх ліцензій. Концепція "копілефт", що сформувалася як протилежність традиційному підходу до авторського права.
статья, добавлен 13.10.2016Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015