Создание тестовых векторов для входов выходов системы
08.06.2020
Добырый день.
Для тестирования софта, который в ручную написан по разработанной модели, необходимо синтезировать набор тестов.
Прошу натолкнуть что почитать посмотреть по данному вопросу.
Есть часть алгоритма которая в модели представлена ATOMIC подсистемой, у подсистемы 3 входа 1 выход. Интересует атоматизированное создание тестовых векторов.
Ответы
Привет, Андрей!
Насколько понимаю, тебе нужен Simulink Design Verifier. Посмотри вот здесь Requirements-Based Test Cases:
https://www.mathworks.com/products/simulink-design-verifier.html#test-case-generation
Спасибо,Паш. Покопаю в этом направлении. Я так понимаю это как раз в ключе разарботки по DO178.
Я не мастер DO, но вроде как и в нем применяется. Когда надо собрать покрытие тестами, а формальные методы не дали 100% покрытия, то можно вот так нагенерить ручных тестов.