Тестируйте, проверяйте и проверяйте встроенное программное обеспечение
ANSYS SCADE Test - это полная среда тестирования для проверки требований, а также создания тестовых примеров и управления ими. Вы можете автоматизировать выполнение тестовых примеров как на хосте, так и на цели, измерять охват и управлять результатами тестирования для любого приложения SCADE.
Создание и сопровождение тестов, а также выполнение тестов и анализ покрытия - это трудоемкие действия. SCADE Test for Verification and Validation (V&V) предоставляет лучшую в своем классе технологию в рентабельной среде тестирования, основанной на моделях, поэтому вы можете значительно сократить усилия по тестированию.
Возможности
Ansys SCADE Test Rapid Prototyper позволяет создавать предопределенные виджеты (кнопки, ползунки и т. д.) интерактивных панелей для тестирования ваших приложений. Он позволяет создавать модели, включая соединения с Ansys SCADE Suite, Ansys SCADE Display, Ansys Twin Builder и многими другими решениями для моделирования. Ранняя проверка требований стала возможной благодаря множеству функций:
|
SCADE Test Environment for Host - это интерактивный и пакетный пользовательский интерфейс для управляющего программного обеспечения и приложений с графическим пользовательским интерфейсом, разработанных с использованием SCADE Suite. В интерактивном интерфейсе вы можете создавать тестовые данные и управлять ими, настраивать и запускать выполнение тестов, а также получать подробные сводные отчеты о выполнении тестов. Возможности SCADE Test Environment:
Механизм выполнения тестов для SCADE Suite сертифицирован в соответствии с DO-178C / DO-330 TQL-5, ISO 26262 TCL3, EN 50128 T2 и IEC 61508 T2, что гарантирует правильное выполнение тестов на основе модели SCADE на хосте. |
|
SCADE Test Model Coverage расширяет возможности разработки приложений SCADE Suite или SCADE Display с помощью измерения покрытия моделей и сгенерированного кода на основе высокоуровневого набора тестов на основе требований. После того, как тестовые примеры созданы и выполнены на хосте, SCADE Test Environment for Host в сочетании с SCADE Test Model Coverage дает вам возможность измерить охват модели тестовыми примерами. Анализ покрытия модели и кода выполняется за одно действие, при котором связанные усилия делятся на два. Покрытие на уровне модели измеряет следующие критерии:
Покрытие тестовой модели SCADE для SCADE Suite оценивается в соответствии с DO-178C / DO-330 TQL-4, ISO 26262 TCL3, EN 50128 T2 и IEC 61508 T2, что гарантирует правильное измерение покрытия модели SCADE и сгенерированного покрытия кода. |
SCADE Test Target Execution автоматизирует создание целевой тестовой среды для коммерческих готовых инструментов (COTS) (IBM Rational® Test RealTime, LDRA TestBed® для SCADE Suite, Vector Software VectorCAST ™ для SCADE Suite). Он поддерживает приложения, разработанные с помощью SCADE Suite или SCADE Display. SCADE Test Target Execution переводит тестовые примеры модели в тестовые средства. Генерация жгутов настраивается для интеграции в любую внутреннюю или целевую инфраструктуру тестирования COTS. Генератор тестовых программ для SCADE Suite аттестован в соответствии с DO-178C / DO-330 TQL-5, ISO 26262 TCL3, EN 50128 T2 и IEC 61508 T2, что гарантирует правильный перевод тестовых примеров модели в целевые тестовые системы. |
SCADE Test Environment for Host предоставляет API тестовых служб, который позволяет выполнять тестирование программного обеспечения в среде тестирования системы в цикле. С помощью SCADE Test Services API вы можете измерить покрытие модели программного обеспечения при тестировании всей системы. API тестовых служб предоставляет доступ к функциям, способным сбрасывать, загружать и записывать результаты покрытия, пока тест выполняется в среде тестирования системы в цикле. |