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

Інформація × Реєстраційний номер 0213U000001, 0112U004166 , Науково-дослідна робота Назва роботи Інтегрований підхід до аналізу та верифікації специфікацій телекомунікаційних програмних засобів для однопроцесорних та багатопроцесорних систем. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 03-01-2013 Організація виконавець Iнститут кібернетики ім. В. М. Глушкова НАНУ Опис етапу Запропоновано підхід до створення ефективної технології автоматизації тестування промислових програмних проектів, який використовує формальну модель системи, здійснює автоматично символьну верифікацію, генерацію та конкретизацію символьних трас, генерацію тестових наборів за конкретизованими трасами, а також включає засоби аналізу результатів виконання тестів, даючи змогу автоматизувати повний цикл тестування. Розроблено метод пошуку специфічних поведінок формальних моделей, котрий використовує надану користувачем додаткову інформацію про особливості поведінки системи, що проектується, описано його застосування до автоматичної побудови тестових сценаріїв для програмних систем. Описано експерименти з верифікації програм у системі доказового програмування. Запропоновано функціональну структуру системи доказового програмування навчального призначення. Опис продукції Автори роботи Годлевський Олександр Богуславович Довбиш Валентина Яківна Летичевський Олександр Олександрович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Щоголева Наталя Миколаївна Додано в НРАТ 2020-04-02 Закрити