Пошук академічних текстів

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