ANSYS SCADE Test - это среда тестирования, верификации и валидации ПО, разработанного в ANSYS SCADE. В среде осуществляется разработка тестовых примеров и процедур с целью проверки выполнения требований, а также осуществляется выполнение тестовых примеров одновременно со сбором покрытия и фиксацией критерия «прошел» / «не прошел». Выполнение (прогон) тестовых примеров возможен как в среде разработке, так и на целевой платформе.
Разработка и поддержка тестов, совместно с их выполнением, сбором и анализом покрытия, являются трудоемкими мероприятиями. SCADE Test предоставляет лучшую в своем классе модельно-ориентированную технологию, которая позволяет значительно сократить затраты на тестирование.
Области применения SCADE Test
ANSYS SCADE Test Rapid Prototyper позволяет разрабатывать предопределенные графические виджеты интерактивных панелей (кнопки, слайдеры, индикаторы и т. д.) для тестирования приложений. Данный компонент позволяет наглядно демонстрировать поведение моделей, разработанные в ANSYS SCADE Suite, ANSYS SCADE Display, ANSYS Twin Builder и др.
Ранняя валидация требований возможна благодаря следующим функциям:
- Проектирование интерактивных панелей из библиотеки виджетов, включая новое поколение человеко-машинных интерфейсов (распознавание жестов, графическая анимация и др.) с целью отладки и моделирования.
- Расширяемая библиотека и настраиваемые виджеты.
- Единая структура проектов инструментов ANSYS SCADE для управления файлами проектов и ресурсами.
- Простота управления таблицей ресурсов (цвета, штрих / ширина пунктирной линии, текстура, шрифт, символ, картинка).
- Управление словарем переменных.
- Автоматическая генерация исполняемого объектного кода приложений для платформ под управлением Windows, Apple iOS или Android без оплаты за время исполнения.
- Интеграция с модельно-ориентированной средой разработки SCADE Suite, Twin Builder и другими инструментами, совместимыми с FMI-интерфейсами.
- Генерация прокси FMU для распределенного / сетевого моделирования инструментами, совместимыми с FMI-интерфейсами.
SCADE Test Environment for Host - это интерактивная среда для тестирования моделей управляющей логики, разработанных в SCADE Suite, и моделей человеко-машинных интерфейсов, разработанных в SCADE Display.
С помощью данной среды выполняется разработка тестовых примеров и тестовых данных, настройка и запуск испытаний (прогон тестов) в среде разработки, а также автоматическое формирование подробных отчетов о выполнении испытаний.
Основные возможности SCADE Test Environment for Host:
- Запись сценария тестирования.
- Интерактивное управление тестовыми данными.
- Интерактивный анализ результатов выполненных испытаний.
- Читаемость тестовых примеров для эффективного выполнения рассмотрений на этапе верификации.
- Табличный или текстовый формат.
- Генерация тестового примера по шаблону и шлюз Microsoft® Excel®.
- Формирование тестовых примеров независимо от реализации модели.
- Широкие возможности для проверки ожидаемых значений:
- Инвариантная проверка.
- Настройка допусков точности для конкретного данного или группы данных.
- Таблица псевдонимов для связывания реальных имен с логическими именами для интуитивно понятного доступа
- Модульность включения и факторизации (последовательность инициализации).
- Редактор эталонных изображений для определения и повторного использования масок / фильтров.
- Простая поддержка (внесение изменений) тестовых примеров и данных.
SCADE Test Environment for Host квалифицирован / сертифицирован по уровням:
- TQL-5 в соответствии с DO-178C / КТ-178C и DO-330 / Р-330.
- TCL3 в соответствии с ISO 26262.
- T2 в соответствии с EN 50128.
- T2 в соответствии с IEC 61508.
SCADE Test Model Coverage расширяет возможности инструментов SCADE Suite и SCADE Display в части сбора и анализа покрытия модели и исходного кода. После того как тесты, разработаны по требованиям высокого уровня, SCADE Test Environment for Host в паре с SCADE Test Model Coverage предоставляет возможность выполнить (прогнать) тесты в среде разработки, а также собрать и проанализировать покрытие тестовыми примерами.
Отличительной особенностью SCADE Test Model Coverage является то, что анализ покрытия модели и исходного кода выполняется как одно мероприятие верификации. Другими словами, нет необходимости выполнять отдельно анализ покрытия модели и отдельно анализ покрытия исходного кода.
Покрытие модели оценивается по следующим критериям:
- Покрытие ветвей (branch coverage).
- Покрытие решения (decision coverage).
- Модифицированное покрытие условий и решений (modified condition/decision coverage).
SCADE Test Model Coverage квалифицирован / сертифицирован по уровням:
- TQL-5 в соответствии с DO-178C / КТ-178C и DO-330 / Р-330.
- TCL3 в соответствии с ISO 26262.
- T2 в соответствии с EN 50128.
- T2 в соответствии с IEC 61508.
Инструмент SCADE Test Target Execution позволяет автоматически генерировать тесты для испытаний на целевых платформах с использованием коммерческих инструментов:
- IBM Rational® RealTime
- LDRA TestBed®
- Vector Software VectorCAST ™
SCADE Test Target Execution поддерживает тестирование приложений, разработанных в SCADE Suite и SCADE Display (поддерживается только IBM Rational® Test RealTime). SCADE Test Target Execution преобразует тестовые примеры для тестирования модели в среде SCADE Test Environment for Host в тестовое ПО для исполнения на целевой платформе. Разработка тестового ПО настраивается для интеграции практически в любом собственном или покупном тестовом окружении.
SCADE Test Target Execution квалифицирован / сертифицирован по уровням:
- TQL-5 в соответствии с DO-178C / КТ-178C и DO-330 / Р-330.
- TCL3 в соответствии с ISO 26262.
- T2 в соответствии с EN 50128.
- T2 в соответствии с IEC 61508.
Среда тестирования SCADE Test Environment for Host предоставляет службы API, которые позволяют выполнять испытания ПО в среде тестирования системы, так называемое тестирование системы в контуре управления (system-in-the-loop). Открытые API предоставляют возможности оценки покрытия моделей ПО при тестировании всей системы. API предоставляют доступ к функциям сброса, загрузки и записи результатов сбора покрытия в ходе выполнения теста в среде тестирования системы.