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