Я проверяю определенную функциональность системы, используя гипотезу с проверкой состояния, которая генерирует много случайных последовательностей. Чтобы сравнить результаты, я написал модель с использованием библиотеки Automat, которая также является машиной состояний. Я хотел бы понять покрытие, полученное с помощью контрольных примеров с отслеживанием состояния. Поскольку это тестирование находится на уровне интеграции, я бы не хотел находить покрытие кода. Нечто подобное охвату модели может помочь понять, насколько далеко тестовые случаи с состоянием охватывают модель.
Мой вопрос: кажется ли это хорошей идеей? Или есть лучший вариант получить покрытие тестовых случаев из гипотезы? Может ли кто-нибудь, пожалуйста, направить меня в правильном направлении.