Импорт тестируемой системы
Код тестируемой системы можно легко импортировать как компонент FMI — либо полностью сгенерированный с помощью средства создания кода (Simulink, SCADE, ControlBuild и т. д.), либо частично сгенерированный с помощью STIMULUS и позволяющий встроить собственный код на языке C. В процессе интеграции можно также импортировать файл журнала CSV для выполнения последующего анализа реальной системы.
Создание тестовых сценариев
Для тестирования системы можно создать несколько сценариев использования. STIMULUS автоматически создает множество векторов тестирования для каждого сценария использования, обеспечивая максимальную поддержку набора функциональных тестов. Требования можно многократно использовать для контроля тестирования, чтобы выявлять нарушения спецификаций и создавать отчеты.
Выполнение наборов тестов
Набор тестов автоматизирует выполнение многочисленных векторов тестирования, созданных на основе сценариев использования, а STIMULUS отображает все показатели нарушений и выполнения требований. В среде имитационного моделирования можно повторно запустить каждый непройденный тест и проанализировать нарушения требований.
Встроенная проверка требований
STIMULUS может автоматически проверить созданный код на соответствие системным требованиям. С помощью блок-схем можно создать тестовую среду, где требования используются для контроля тестирования, а тестируемая система импортируется как DLL с использованием стандартного протокола FMI. Затем можно создать и запустить множество векторов тестирования, и STIMULUS автоматически проверит, соответствует ли поведение тестируемой системы ее спецификации. Во время выполнения набора тестов STIMULUS также вычисляет показатели выполнения функциональных требований и создает отчеты.
STIMULUS в действии
На рисунке ниже показан снимок экрана STIMULUS с запущенным набором тестов. В правом верхнем окне представлен краткий обзор пройденных и непройденных тестов, а в нижнем окне отображаются точные показатели по непройденным тестам. Пользователь может повторно запустить непройденные тесты в стандартной среде имитационного моделирования.
