Процедура стохастичної оптимізації для моделі тестування з напівмарковськими переключеннями
Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
Подобные документы
Розробка автоматизованої інформаційної системи тестування запитів до бази даних що базується на інструментах розробки веб-застосувань на платформі .NET, протоколу передачі даних HTTP, фреймворку ASP.NET MVC для створення веб-застосунків декількох СУБД.
курсовая работа, добавлен 20.12.2016Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Стратегія планування робіт, частота зміна версій. Найпростіший дизайн та прості проектні рішення. Розробка програми на основі тестування, переваги та недоліки. Колективне володіння кодом. Включення замовника в команду. Постійно триваюча інтеграція коду.
реферат, добавлен 12.01.2013Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Інформаційна схема предметно-орієнтованого тестування знань. Планування ціленаправлених дій - елемент концепції побудови алгоритмів по розв`язанню проблемно-орієнтованих завдань. Етапи автоматизації дедуктивних суджень в процесах прийняття рішень.
статья, добавлен 29.08.2016Аналіз принципів побудови систем дистанційного навчання. Порівняльні характеристики інформаційних технологій. Безпека дистанційного навчання в інтернеті. Архітектура сайту інформаційної підтримки. Розробка системи перевірки знань. Технологія тестування.
курсовая работа, добавлен 04.05.2013Аналіз існуючих інтернет-сайтів архітектурного проектування. Обґрунтування доцільності розробки Web-сайту. Реалізація інтерфейсу користувача. Опис та реалізація модулів системи. Фактори, що впливають на характер ураження струмом. Тестування системи.
курсовая работа, добавлен 23.08.2012Особливості використання функцій бібліотеки "Windows.h". Довільне заповнення поля клітинами з певною ймовірністю і його відображення на екрані. Зображення основних конфігурацій класичної гри "Життя". Тестування програми та інструкція користувача.
курсовая работа, добавлен 28.09.2018Оцінено метод комбінованого описання інфраструктури та конфігурацій програмного забезпечення для автоматизації процесу створення інфраструктури та встановлення програмного забезпечення. Описано динамічне модифікування конфігурації в залежності від хмари.
статья, добавлен 02.06.2022Розробка гнучкої комп’ютеризованої системи на основі XML, яка призначена для заповнення метаданих освітніх інформаційних ресурсів. Характеристика розробленого програмного забезпечення. Розрахунок економічного ефекту по впровадженню програмного продукту.
дипломная работа, добавлен 22.10.2012Підвищення рівня автоматизації систем підготовки та редагування технічної документації. Аналіз процесу автоматизованого виготовлення нормованої технічної документації за допомогою програмного забезпечення. Структура та реалізація інформаційної бази.
автореферат, добавлен 29.09.2015Модель електричної активності мембрани клітини Ходжкіна-Хакслі, де кожен компонент збудливої клітини розглядається як електричний елемент. За допомогою розробленого програмного забезпечення дослідження поведінки моделі на основі експонент Ляпунова.
статья, добавлен 25.10.2016Технології, моделі створення програмного забезпечення, під яким маються на увазі комп'ютерні програми і відповідна документація. Архітектурне проектування. Управління проектами зі створення і впровадження ПЗ. Управління персоналом при реалізації проектів.
реферат, добавлен 31.05.2013Основні проблеми, що супроводжують процес планування перевірки програмного забезпечення. Вигляд діалогового вікна навчальної інформаційно-розрахункової задачі. Ключові класи еквівалентності для швидкості польоту, сформовані в узагальненому вигляді.
статья, добавлен 30.05.2021Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Математичні моделі процесів опоряджувального виробництва: біління тканин із змішаних волокон перекисом водню, фарбування тканин пігментами, фарбування ниток у бобінах. Розробка алгоритмічного і програмного забезпечення автоматизованих робочих місць.
автореферат, добавлен 22.04.2014Побудова математичної моделі специфікації вимог до програмного забезпечення. Визначення ступенів впливу показників специфікації в межах характеристики. Критичний вплив на програмні проекти та на успішність їх завершення. Прогнозована вартість помилки.
статья, добавлен 28.02.2016Аналіз процесу побудови моделей неруйнівного контролю якості. Підвищення ефективності процесу виявлення продукційних правил для побудови моделей контролю якості на основі навчальних вибірок. Розробка програмного забезпечення для реалізації процесу.
статья, добавлен 01.03.2017Визначення основних аспектів реалізації освітньої веб-орієнтованої системи. Застосування мови програмування Python та Java для розробки інтерфейсу програми, каталогу курсів та особистого кабінету користувача. Тестування системи на правильність роботи.
статья, добавлен 27.08.2023- 121. Контроль і діагностика електронних обчислюваних машин (ЕОМ) за допомогою програми SiSoft Sandra
Основні завдання контролю та діагностики ЕОМ. Структура системи контролю та діагностики ЕОМ. Порядок завантаження комп'ютера. Необхідність діагностування комп'ютерної системи. Опис пакету діагностичних утиліт SiSoft Sandra. Стрес-тестування комп'ютера.
контрольная работа, добавлен 28.11.2016 Опис програмного продукту, розробленого відповідно до вимог лікарів, які працюють із хворими на муковісцидоз. Аналіз додатку як сукупності підсистем, що відповідають за різну функціональність. Аналіз переваг використання даного програмного продукту.
статья, добавлен 30.01.2017Особливості застосування мови програмування Паскаль, створення та обробка баз даних. Базові структури алгоритмів та їх побудова, стандартні процедури та функції для роботи з файлами, створення програмного продукту "Sesia" та особливості його застосування.
курсовая работа, добавлен 09.06.2011Аналіз предметної області. Проектування інформаційної підсистеми для автоматизації обліку продажу товарів у мережі магазинів. Побудова реляційної бази даних. Розробка запитів на мові SQL. Тестування та інтерфейс БД. Специфікація вимог користувачів.
курсовая работа, добавлен 17.11.2019Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014