У меня есть сложная подсистема потока состояний, которая дала мне меньше охвата при использовании покрытия Simulink и лицензии Simulink Design Verifer. Есть ли какой-либо формальный метод для устранения отсутствующего покрытия без использования лицензии Simulink Test, и я не использую лицензию Reactis?
Мои подходы до сих пор
Я даже пытался создать несколько файлов .cvt (файлы покрытия), но это не помогло мне максимизировать покрытие.
Помогает ли ввод диапазона минимальных и максимальных значений входных данных максимизировать охват.
ОТВЕЧАТЬ
Matlabsolutions.com предоставляет последнюю Помощь по домашним заданиям MatLab, Помощь по заданию MatLab для студентов, инженеров и исследователей в различных отраслях, таких как ECE, EEE, CSE, Mechanical, Civil со 100% выходом. Код Matlab для BE, B.Tech , ME, M.Tech, к.т.н. Ученые со 100% конфиденциальностью гарантированы. Получите проекты MATLAB с исходным кодом для обучения и исследований.
Simulink Test поможет вам управлять набором тестов и создавать его — я не уверен, что он поможет вам достичь охвата самостоятельно. Например, Simulink Test может помочь, если вы хотите вручную создать тестовый пример в дополнение к автоматическому созданию тестовых случаев из Simulink Design Verifier или если вы хотите управлять наборами тестов для нескольких компонентов (моделей/подсистем и т. д.). и автоматизировать выполнение тестов, измерение покрытия и т. д.
Вы пытались определить мертвую логику в диаграмме состояний? Есть ли в таблице «недостижимые» цели? Вы проанализировали диаграмму на наличие дизайнерских ошибок?
Ввод минимальных и максимальных значений для входных данных сделал бы задачу формального анализа более решаемой, он может преобразовать некоторые «неопределенные» цели в «удовлетворенные». Но вы должны быть осторожны, чтобы диапазоны отражали фактическое предполагаемое использование диаграммы состояния. Если вы чрезмерно ограничите диапазоны, некоторые цели на диаграмме могут стать невыполнимыми.
СМОТРИТЕ ПОЛНЫЙ ОТВЕТ НАЖМИТЕ НА ССЫЛКУ
