Изобретение относится к способам и устройствам проверки правильности структуры протокола. Технический результат заключается в повышении точности проверки правильности реализации протокола. Пространство покрытия состояний для структуры генерируется и сохраняется в базе данных. Во время моделирования встречающиеся состояния пространства покрытия маркируются. Из этого можно определить встретившиеся и не встретившиеся состояния. На основе не встретившихся состояний разрабатывается целевая тестовая последовательность, чтобы наметить по меньшей мере некоторые из состояний, не встретившихся во время предыдущего моделирования. Эту обратную связь из моделирования для обновления типовой тестовой последовательности по не встретившимся во время моделирования состояниям пространства покрытия можно рекурсивно повторять, пока не будет достигнуто адекватного подтверждения правильности. 4 н. и 15 з.п. ф-лы, 4 ил.
Поиск патентов
Получить полное описание патента