Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів
Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
Подобные документы
Реалізація системи автоматизованого тестування веб-платформ із використанням мови програмування Java та інструменту Selenium. Розробка алгоритм запуску тестів в рамках системи для різних браузерів та операційних систем. Використання багатопотоковості.
статья, добавлен 26.04.2023Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Відмінності системного програмування від прикладного програмування. Опис асемблера, його основних властивостей та принципів програмування на ньому. Перевірка програми на дієздатність, відсутність помилок та відповідність функціональності асемблера.
курсовая работа, добавлен 03.12.2019Розробка системи взаємопов’язаних адекватних моделей символьної обробки та конкретних різновидів структур символьних даних (літерної зіставленості, конкатенації, ієрархії) та відповідних їм засобів обробки за методом композиційного програмування.
автореферат, добавлен 06.07.2014Створення довідника філателіста за допомогою об'єктно-орієнтованого програмування. Інтерфейс програми, вікна функцій. Графічні об’єкти мови програмування для вводу інформації. Побудова об’єктної моделі та реалізація програми в середовищі Borland Delphi.
курсовая работа, добавлен 25.01.2016Характеристика основних завдань, які можна вирішувати за допомогою набору команд, написаних на Visual Basic for Application. Особливість використання NET-сумісних мов програмування в офісі. Макрорекордер, як засіб для швидкого створення макросів.
лекция, добавлен 14.12.2015Формальний опис мови програмування Z30 в термінах розширеної нотації Бекуса-Наура. Розробка лексичного, синтаксичного та семантичного аналізатора. Побудова таблиці ідентифікаторів. Проведення тестування транслятора та виявлення помилок роботи компілятора.
курсовая работа, добавлен 14.02.2013Розробка моделей та алгоритмів багатокритеріальної оптимізації з використанням цільового нелінійного цілочисельного програмування, що забезпечують синтез раціональних за багатьма заданими критеріями ефективності структур баз даних інформаційних систем.
автореферат, добавлен 15.07.2014Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Розробка алгоритму та складання програми для створення листів обліку студентів за допомогою мови програмування Паскаль. Алгоритми головної програми, процедури створення вхідного файлу, виведення даних з файлу, пошуку осіб. Опис та тестування програми.
курсовая работа, добавлен 25.01.2016Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Аналіз методичного підходу до оцінювання ступеня сумісності нормативних документів на основі поєднання формальних процедур, які базуються на об’єктивній інформації, із неформальними, евристичними прийомами. Основні етапи та алгоритм обробки документів.
статья, добавлен 30.08.2016Електронні тести, історія їх виникнення, поняття та види тестів. Розробка програми та компоненти що використовуються у написанні програми. Розробка тестів, обґрунтування вибору мови програмування, алгоритм реалізації проекту та файл питань тесту.
курсовая работа, добавлен 20.10.2008- 44. Автоматизований синтез і моделі гнучких комп’ютерних професійних тренажерів широкого призначення
Побудова моделі індивідуальних гнучких комп'ютерних професійних тренажерів. Денотаційна модель автоматизованого рішення. Задачі гнучких тренажерів. Синтезування в інструментальній системі візуальної розробки. Принципи програмування тренувальних задач.
автореферат, добавлен 28.09.2015 - 45. Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016 Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Аналіз процесу розробки рішення автоматизованого тестування. Використання орієнтованого програмування для покращення читабельності звітів. Оцінка часу на аналіз звітів запуску тестових сценаріїв. Тренд витрат часу при пошуку помилок в звітах тестів.
статья, добавлен 29.01.2016Дослідження теоретичних аспектів проектування автоматизованих систем тестування. Огляд можливостей мови програмування й середи розробки Visual Studio 2008. Опис функціональних можливостей та програмної реалізації системи дистанційного тестування навчання.
дипломная работа, добавлен 22.10.2012Дослідження особливостей дворівневого алгоритму генерації тестів, заснованого на стратегії симуляції відпалювання. Ознайомлення з основними методами програмної реалізації запропонованих алгоритмів побудови вхідних послідовностей та їх оптимізації.
автореферат, добавлен 14.08.2015Аналіз генераторів псевдовипадкових послідовностей для завдань автентифікації користувачів. Наявність впливу значень параметрів генерації на її якість. Діапазони вхідних параметрів генерації для підвищення відсотку проходження тестів на випадковість.
статья, добавлен 06.02.2017