Процедура стохастичної оптимізації для моделі тестування з напівмарковськими переключеннями
Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
Подобные документы
Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Питання та відповіді мультимедійної системи комп’ютерного тестування знань студентів з дисципліни "Захист даних в інформаційних системах". Опис структури програми: головний кадр, меню, схема курсу і послідовність її реалізації, рекомендації розробника.
курсовая работа, добавлен 20.06.2014Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Підходи до опрацювання програмою послідовності різноманітних контрольних наборів тестів з відомими результатами. Основні види робіт з тестування, його методи: статичні, верифікація та валідізація. Помилки та причини їх появи на етапах життєвого циклу.
лекция, добавлен 09.07.2017Основні етапи та технологічні процеси розробки програмного продукту. Впровадження та налагодження програмного продукту з сучасним апаратним та програмним забезпеченням. Ознайомлення з організацією праці і економікою виробництва досліджуваної установи.
отчет по практике, добавлен 05.09.2014Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Мета: побудова та використання у фізичному вихованні бази даних результатів тестування студентів з подальшим збереженням та спрощенням аналізу даних. За допомогою мови програмування SQL за результатами тестування студентів було побудовано базу даних.
статья, добавлен 14.05.2022Вимоги до програмного забезпечення як набір потреб потенційних користувачів щодо властивостей, якості та функцій програмного продукту, який потрібно розробити або модифікувати. Знайомство з особливостями формулювання вимог до програмного забезпечення.
курсовая работа, добавлен 29.03.2020Об’єктно-орієнтоване програмування електронної книги рецептів. Розробка UML діаграм поведінки системи. Розробка графічного інтерфейсу програмних засобів комп’ютерної системи. Розробка структури бази даних. Контрольне тестування програмного забезпечення.
курсовая работа, добавлен 23.09.2017Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016Аналіз і тестування системи управління потоками даних на основі п’яти коефіцієнтів якості роботи системи: відмовостійкість та прогнозованість системи, стабільність росту черги обробки запитів, актуальність даних та відсутність помилкового виконання.
статья, добавлен 07.12.2016Об’єктно-орієнтований аналіз і процес робочого проектування. Структура даних за стосунку та розробка класів. Тестування працездатності системи класів та процес обґрунтування вибору алгоритмів. Розробка програми у вигляді гри для розважальних цілей.
контрольная работа, добавлен 08.11.2012Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Створення інформаційно-аналітичної системи тестового оцінювання знань в медичній освіті. Реалізація методів тестування. Внутрішнє представлення інформаційної моделі бази даних. Зберігання мультимедійної інформації з використанням бінарних типів даних.
автореферат, добавлен 11.08.2015Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Технологічні процеси складання, монтажу, налагодження і тестування програмних систем та комплексів. Аналіз існуючих апаратних та програмних засобів, виявлення недоліків побудови існуючого комплексу апаратно-програмних засобів, шляхи виправлення ситуації.
отчет по практике, добавлен 28.04.2014Розробка моделі програмного продукту на основі методології Rational Unified Process із використанням мови візуального моделювання UML. Особливість створення зручного інтерфейсу користувача. Розробляти інструкції системного адміністратора і користувача.
курсовая работа, добавлен 28.02.2019Напрями вдосконалення програмного забезпечення електронної бібліотеки на етапі завантаження до цифрового архіву та організації доступу до нього. Вимоги до програмного забезпечення керування цифровим архівом. Створення резервних копій та відновлення даних.
статья, добавлен 24.03.2016Реалізація системи автоматизованого тестування веб-платформ із використанням мови програмування Java та інструменту Selenium. Розробка алгоритм запуску тестів в рамках системи для різних браузерів та операційних систем. Використання багатопотоковості.
статья, добавлен 26.04.2023Виявлення вразливостей в чатботах, що використовують великі мовні моделі та розробка пропозицій щодо покращення тестування цих систем. Обґрунтування важливості валідації вхідних даних та здійснення контролю взаємодії з зовнішніми ресурсами в чатботах.
статья, добавлен 26.02.2024Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020