Реєстраційний номер
0219U004138,
0116U004559
, Науково-дослідна робота
Назва роботи
Розробити формальні методи для автоматизованого тестування та верифікації систем критичних щодо безпеки
Назва етапу роботи
Керівник роботи
Летичевський Олександр Адольфович,
Дата реєстрації
03-04-2019
Організація виконавець
Інститут кібернетики ім. В.М.Глушкова НАНУ
Опис етапу
1. Розроблено прототип системи, який дає змогу генерувати набори тестів для різних видів тестових покриттів. Розроблено прототип "інтерактивного конструктора трас", з яким в напівавтоматичному режимі будуються тестові набори, що виходять з вимог специфікацій та сценаріїв поводжень для моделей систем, що проектуються.
Опис продукції
Розроблено методи аналізу та модельного тестування систем критичних щодо безпеки та засоби програмної підтримки цих методів. Методи реалізовано у відповідному програмному просторі. Розроблені засоби аналізу та тестування програмних систем дають змогу будувати UCM-моделі програм, поданих різними мовами програмування або мовами специфікацій. Засоби модельного тестування, від символьних трас до конкретних тестів, призначені для виявлення помилок у програмних реалізаціях систем, що розробляються.
Автори роботи
Годлевський Олександр Олександрович
Летичевський Олександр Олександрович
Додано/оновлено в НРАТ
2020-04-02
