Подробное описание документа

Рудаков И. В., Ребриков А. В.
   Проверка выполнения функциональных требований к алгоритму на основе структурной генерации модульных тестов / Рудаков И. В., Ребриков А. В. - DOI 10.18698/2308-6033-2012-1-16 // Инженерный журнал: наука и инновации. - 2012. - № 1. - П.Н. 6.

Скачать документ

Полнотекстовый документ

DOI 10.18698/2308-6033-2012-1-16

https://doi.org/10.18698/2308-6033-2012-…

engjournal.bmstu.ru/catalog/it/hidden/16.html

https://engjournal.bmstu.ru/catalog/it/h…

Разработан метод верификации алгоритмов, на базе дедуктивного подхода к проверке выполнения заданных требований. Основой метода является математическая модель описания наблюдаемого поведения алгоритма - элемента рефлексивно-транзитивного замыкания путей в графе выполнения алгоритма. При создании метода предусмотрена возможность управления устранением цикломатической сложности за счет снижения точности метода и использования жадных алгоритмов поиска.