Методи оцінки та засоби підвищення надійності програмного забезпечення
Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
Подобные документы
Погляди на порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011, IDT). Перевірка якості спеціального програмного забезпечення для управління військами.
статья, добавлен 04.05.2021Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015Основи та головні рівні тестування програмного забезпечення. Класифікація і короткий огляд методів побудови тестів. Сутність програмування без персоналій. Документування робочого продукту. Внутрішні і незалежні команди. Послідовність розробки програми.
реферат, добавлен 24.06.2013- 56. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Визначення відповідності результатів тестування програмного забезпечення критичного застосування функційним та нефункційним вимогам за рахунок аналізу результатів тестування нечіткою нейронною мережею. Характеристика процесу й необхідності тестування.
статья, добавлен 30.10.2016Фізика відмов типових елементів обчислювальної техніки й вибір теоретичних моделей надійності. Спосіб представлення апріорної інформації про процеси деградації елементів. Методи прискорених випробувань на надійність та її прогнозування для різних виробів.
автореферат, добавлен 29.07.2014Дослідження метрики програмного забезпечення. Теоретичні підходи до розрахунку штату програмістів, необхідних для підтримки єдиного інформаційного середовища. Вимоги надійності програмного забезпечення. Розгляд деталізованої класифікації програмістів.
статья, добавлен 08.02.2019Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Проектування програмного забезпечення. Розробка специфікації системних вимог. Визначення специфікації ресурсів, апаратно-програмної конфігурації та програмного інструментарію для реалізації проекту. Формування електронного пакета UML документації.
курсовая работа, добавлен 24.02.2012Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
статья, добавлен 23.03.2020Оцінено метод комбінованого описання інфраструктури та конфігурацій програмного забезпечення для автоматизації процесу створення інфраструктури та встановлення програмного забезпечення. Описано динамічне модифікування конфігурації в залежності від хмари.
статья, добавлен 02.06.2022Розробка методики створення засобів програмного захисту. Розщеплення захисту на дві ланки: фізичну та логічну. Конкретний спосіб захисту програмного забезпечення від несанкціонованого використання. Забезпечення автентичності навчальної звітності.
автореферат, добавлен 29.08.2015Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015Розробка інструментарію для створення проблемно-орієнтованих систем підтримки прийняття рішень, які можуть бути ефективно застосовані для прогнозування поведінки "нестабільних процесів". Зміна економічних параметрів та розвиток різноманітних захворювань.
автореферат, добавлен 28.07.2014Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Основні етапи та технологічні процеси розробки програмного продукту. Впровадження та налагодження програмного продукту з сучасним апаратним та програмним забезпеченням. Ознайомлення з організацією праці і економікою виробництва досліджуваної установи.
отчет по практике, добавлен 05.09.2014Напрями вдосконалення програмного забезпечення електронної бібліотеки на етапі завантаження до цифрового архіву та організації доступу до нього. Вимоги до програмного забезпечення керування цифровим архівом. Створення резервних копій та відновлення даних.
статья, добавлен 24.03.2016Відмінності вільного програмного забезпечення від пропієтарного або напіввільного ПЗ. Категорії програмного забезпечення з точки зору умов їх ліцензій. Концепція "копілефт", що сформувалася як протилежність традиційному підходу до авторського права.
статья, добавлен 13.10.2016