Процедура стохастичної оптимізації для моделі тестування з напівмарковськими переключеннями
Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
Подобные документы
Оцінка енергоефективного програмного забезпечення. Аналіз існуючих зелених метрик та методи їх систематизації. Тестування інструментів оцінки енергоефективності програмного забезпечення. Недоліки та потреба у створенні повнофункціонального інструменту.
статья, добавлен 28.02.2016Цифрова стеганографія, обґрунтування методу приховування інформації. Програмне забезпечення у середовищі C++. Шифрування та дешифрування тексту до файлу зображення із забезпеченням автентичності та цілісності файлу. Тестування програмного продукту.
дипломная работа, добавлен 22.11.2015Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Використання цілісного підходу до захисту програми від хакерських атак, вірусів та несанкціонованого доступу до конфіденційних даних. Розробка ефективних інструментів тестування безпеки програмного вебпродукту. Переваги та недоліки хмарних середовищ.
статья, добавлен 18.12.2023Розробка програмного модуля для проведення тестування EasyTests для серверу MediaWiki. Проблеми впровадження вікі-сайтів та створення додаткових програмних модулів для серверу MediaWiki. Досвід залучення вікі-сайту під час проведення тестування.
статья, добавлен 05.11.2018Дослідження теоретичних аспектів проектування автоматизованих систем тестування. Огляд можливостей мови програмування й середи розробки Visual Studio 2008. Опис функціональних можливостей та програмної реалізації системи дистанційного тестування навчання.
дипломная работа, добавлен 22.10.2012Обґрунтування практичної реалізації використання комп’ютерного тестування у процесі фахової підготовки студентів. Аналіз організаційних проблем розробки і застосування комп’ютерного тестування у вищій школі для виявлення рівня навчальних досягнень.
статья, добавлен 01.12.2017Класифікація моделей за способом зображення. Аналіз відмінностей математичних та інформаційних моделей. Розгляд етапів побудови комп'ютерної моделі. Перевірка моделі за допомогою її тестування. Приклади використання неповного умовного оператора.
реферат, добавлен 22.12.2019Аналіз результатів розроблення моделі та реалізації підсистеми безпеки інтелектуального будинку. Розробка структури підсистеми та моделі на основі мереж Петрі. Опис програмного та апаратного забезпечення, результати тестування побудованої підсистеми.
статья, добавлен 14.09.2016Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021Автоматизація процесів тестування веб-сайтів та системи за умови наявного широкого спектру інструментів, доступних у вільному доступі для здійснення тестування на проникнення. Впровадження здійснення відповідності стандарту ISO 27001 для організацій.
статья, добавлен 30.09.2024Суть технічної проблеми, що виникла на сучасному етапі розвитку науки, техніки і технологій. Аналіз етапів проектування додатків. Варіантний аналіз та обґрунтування вибору засобів реалізації. Розробка функціональної частини додатка і тестування програми.
дипломная работа, добавлен 28.01.2017Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Застосування штучного інтелекту в області класифікації зображень. Переваги, недоліки та потенційні ризики використання штучного інтелекту. Розробка програмного продукту для тестування та запуску нейромережевої моделі, яка використовує певний набір даних.
статья, добавлен 08.06.2024Техніко-економічні показники програмного продукту з оптимізації плоскоремінної передачі. Алгоритм розв’язку задачі на оптимізацію та вибір моделі створення продукту. Тип виконання та кут нахилу шківів передачі. Приклад розрахунку плоскоремінної передачі.
курсовая работа, добавлен 11.02.2016Проектування програмного забезпечення для гри "Кубик Рубіка" з використанням бібліотеки OpenGL. Реалізація програми в середовищі розробки Microsoft Visual Studio 2013. Математичні методи, використані у роботі. Опис програмного забезпечення та тестування.
курсовая работа, добавлен 18.10.2017Вибір засобів реалізації інформаційної системи менеджера спеціалізованого магазину. Розробка математичного забезпечення інформаційної системи. Реалізація операцій обробки даних та тестування роботи інформаційної системи. Розробка програмного забезпечення.
курсовая работа, добавлен 23.05.2013Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Головні методи проведення тестування безпеки корпоративної мережі організації на несанкціоноване проникнення. Моделювання тестування на несанкціонований доступ до вибраних інформаційних ресурсів та оцінка можливих атак після здобуття такого доступу.
статья, добавлен 23.03.2023Реалізації системного підходу до організації процесу тестування для забезпечення якісного контролю знань студентів. Огляд онлайн сервісів, призначених для формування банку завдань та організації тестового контролю знань. Структура пакету тестових завдань.
статья, добавлен 19.02.2016Розрахунок резисторів прямокутної та складної форми. Особливість розробки блок-схеми алгоритму. Коротка характеристика мови програмування С++. Аналіз тестування і налагодження програми. Виявлення та усунення ряду семантичних та синтаксичних помилок.
курсовая работа, добавлен 15.05.2016Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Розробка рекомендацій з реалізації захисту програмного продукту, написаного мовою Java, шляхом шифрування скомпільованого байт-коду програми. Аналіз проблеми захисту виконуваного коду Java. Шифрування виконуваного коду. Тестування програмного засобу.
курсовая работа, добавлен 28.04.2016