SCADE Test

ANSYS SCADE Test - это среда тестирования, верификации и валидации ПО, разработанного в ANSYS SCADE. В среде осуществляется разработка тестовых примеров и процедур с целью проверки выполнения требований, а также осуществляется выполнение тестовых примеров одновременно со сбором покрытия и фиксацией критерия «прошел» / «не прошел». Выполнение (прогон) тестовых примеров возможен как в среде разработке, так и на целевой платформе.

Разработка и поддержка тестов, совместно с их выполнением, сбором и анализом покрытия, являются трудоемкими мероприятиями. SCADE Test предоставляет лучшую в своем классе модельно-ориентированную технологию, которая позволяет значительно сократить затраты на тестирование.

Области применения 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-интерфейсами.

Тестирование управляющей логики и интерфейсов HMI в среде разработки

SCADE Test 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 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 Инструмент 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 Среда тестирования SCADE Test Environment for Host предоставляет службы API, которые позволяют выполнять испытания ПО в среде тестирования системы, так называемое тестирование системы в контуре управления (system-in-the-loop). Открытые API предоставляют возможности оценки покрытия моделей ПО при тестировании всей системы. API предоставляют доступ к функциям сброса, загрузки и записи результатов сбора покрытия в ходе выполнения теста в среде тестирования системы.