Процедура стохастичної оптимізації для моделі тестування з напівмарковськими переключеннями
Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
Подобные документы
Старіння програмного забезпечення - погіршення продуктивності інформаційного продукту із моменту запуску на пристрої, що може призвести до його повного припинення функціонування. Особливості використання марковських ланцюгів для опису проявів відмов.
статья, добавлен 05.04.2020Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Виконання перетворення за допомогою процесу, функції й процедури мовою VHDL. Перетворення десяткового подання числа у двійкове подання. Проведення тестування додатку, в якому число розрядів біта-вектора дорівнює 8. Часова діаграма перетворювача.
лабораторная работа, добавлен 19.08.2017- 79. Дослідження методів векторизації текстів у задачах валідації відповідей, поданих природною мовою
Інтелектуалізація процесу обробки природномовних текстів у задачах автоматизованого тестування. Метою є дослідження моделей, методів векторизації текстів у задачах обробки відповідей, поданих природною мовою. Базові прикладні задачі обробки текстів.
статья, добавлен 13.10.2022 Розробка математичних моделей сигналів інформаційної взаємодії людини і комп’ютера у процесах психометричного тестування. Аналіз методів формування бази даних для підтримки прийняття рішень в автоматизованих комп’ютерних системах психодіагностики.
автореферат, добавлен 19.07.2015Систематизація та класифікація тестових питань (ТП) в системах тестування та підсистемах оцінювання знань студентів. Аналіз методів генерації ТП та функціональні можливості систем контролю якості знань по забезпеченню об’єктивності процесу тестування.
статья, добавлен 13.01.2017Підвищення ефективності роботи систем керування в умовах комбінованої стохастичної та нечіткої невизначеності. Розробка алгоритмічного та програмного забезпечення для моделювання та покрокової оптимізації, а також метод перетворень невизначених даних.
автореферат, добавлен 27.07.2014Розробка комп’ютерної програми з варіантами відповіді на запитання, редагування текстових файлів XML, ініціалізація об’єкту xmlReader. Процес створення методу ShowLevel. Розробка xml-файлу та його переміщення у папку з програмою, тестування програми.
лабораторная работа, добавлен 23.07.2017Основні недоліки та складності застосування відомих методів пошуку діагностичної інформації. Використання штучної нейронної мережі для оцінки корисності та достатності повідомлення. Аналіз розробки програмного забезпечення для опрацювання текстів.
автореферат, добавлен 28.09.2014Особливості створення моделі апаратного алгоритму та моделі апаратно-програмного універсального обчислювача на основі апаратно-програмної моделі (SH-моделі). Розробка способів оптимізації характеристик складності операційних пристроїв та процесорів.
автореферат, добавлен 29.01.2016Підвищення надійності багатоверсійних інформаційно-управляючих систем (ІУС) на основі використання версійної надмірності технічних засобів, програмного забезпечення. Створення інформаційної технології оцінки та забезпечення надійності мультидиверсних ІУС.
автореферат, добавлен 25.08.2015Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Побудова методів формального представлення відношень за допомогою апарата бінарних логічних мереж. Розробка алгоритмів формування вхідної інформації при проведенні тестування телефонних станцій. Відпрацювання функцій та контроль технологічного процесу.
автореферат, добавлен 28.08.2014Синтаксиси, властивості класів, структур та змінних, що надаються драйвером та приклади їх використання. Запуск утиліти для встановлення та тестування карт розширення Device Manager. Меню для вибору та налаштування карти розширення, обробки інформації.
лабораторная работа, добавлен 28.01.2016Розробка математичної моделі технології проектування програмного забезпечення, критеріїв її оцінювання. Алгоритм та продукційні правила вибору технології проектування програмного забезпечення та середовища програмування відповідно до вимог користувача.
статья, добавлен 18.02.2016Процес створення графічних елементів макету сайту, стилів і елементів навігації. Розробка програмного коду, модулів, бази даних і інших елементів. Проведення тестування і розміщення сайту в мережі Інтернет. Створення блоку Header, Leftbar, Rightbar.
отчет по практике, добавлен 24.02.2014Опис основних функцій та інтерфейсу застосунку SoundCardScientificKit. Тестування генератора сигналів спеціальної форми додатку цього програмного забезпечення із застуванням звукової карти комп’ютера. Аналіз принципових схем підсилювачів потенціалів.
статья, добавлен 03.04.2023Автоматизація формування, зберігання та обробки звітності, документів і інших форм, безпосередньо пов'язаних з амортизацією основних засобів і нематеріальних активів, надаваних у податкові служби. Тестування системи та впровадження програмного продукту.
дипломная работа, добавлен 13.11.2017- 94. Прогнозуюча нейро-фаззі мережа на основі багатовимірного нео-фаззі-нейрона та її процедура навчання
Аналіз прогнозуючої нейро-фаззі мережі (НФМ) для вирішення задач екстраполяції багатовимірних нестаціонарних стохастичних та хаотичних часових рядів за умов короткої навчальної вибірки. Розробка програмного забезпечення для реалізації архітектури НФМ.
статья, добавлен 01.03.2017 Розробка автоматизованої інформаційної системи тестування запитів до бази даних що базується на інструментах розробки веб-застосувань на платформі .NET, протоколу передачі даних HTTP, фреймворку ASP.NET MVC для створення веб-застосунків декількох СУБД.
курсовая работа, добавлен 20.12.2016Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Стратегія планування робіт, частота зміна версій. Найпростіший дизайн та прості проектні рішення. Розробка програми на основі тестування, переваги та недоліки. Колективне володіння кодом. Включення замовника в команду. Постійно триваюча інтеграція коду.
реферат, добавлен 12.01.2013Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Інформаційна схема предметно-орієнтованого тестування знань. Планування ціленаправлених дій - елемент концепції побудови алгоритмів по розв`язанню проблемно-орієнтованих завдань. Етапи автоматизації дедуктивних суджень в процесах прийняття рішень.
статья, добавлен 29.08.2016