Генерация тестов круиз-контроля

В этом примере показано, как сгенерировать тесты, которые достигают полного покрытия модели.