Комплекс средств автоматизации тестирования программного обеспечения
критически важных сертифицируемых встраиваемых систем

Комплекс средств Cantata производства компании QA Systems предназначен для автоматизации тестирования программного обеспечения, подлежащего сертификации по стандартам безопасности DO-178B/C (авионика), IEC 61508 (промышленное оборудование), EN 50128 (железнодорожные системы), ISO 26262 (автоэлектроника), IEC 62304 (медицинское оборудование).

Уровни тестирования программного обеспечения
На протяжении жизненного цикла разработки и сопровождения программного обеспечения тестирование производится на нескольких уровнях:
- модульное (компонентное) тестирование отдельных компонент ПО (unit testing);
- интеграционное тестирование нескольких программных компонент совместно (integration testing);
- системное тестирование всех компонент программного проекта (system testing).

Зачем нужно модульное тестирование и почему его нужно автоматизировать
Модульное тестирование позволяет выявить ошибки на самых ранних этапах разработки, когда затраты на их исправление гораздо меньше, чем на этапах интеграционного и системного тестирования. Но трудоемкость “ручной” разработки тестовой программы для отдельного модуля (написание генератора тестов, создание тестовых наборов и написание заглушек для отсутствующих модулей) равна трудоемкости разработки самого тестируемого ПО – примерно одна строка тестового кода на одну строку тестируемого кода. Поэтому при модульном тестировании используют средства его автоматизации, т.е. генерации тестового ПО.

www.qa-systems.com/tools/cantata/


Среда тестирования Cantata помогает сертифицировать ПО лидара для автономных транспортных средств
Компания Innoviz Technologies (Израиль), разработчик и производитель твердотельных лидаров для автономных транспортных средств (роботакси, индустриальные дроны, беспилотные грузовики, агротехника и др), выбрала среду автоматизированного тестирования Cantata для разработки программного обеспечения лидаров, подлежащего сертификации по стандарту функциональной безопасности ISO 26262. Программное обеспечение разработано на языках C и C++ в среде ARM Development Studio для микропроцессоров с архитектурой ARMv8 (Cortex-A) и ARMv7 (Cortex-R и Cortex-M), работающих под управлением операционной системы реального времени ThreadX. Программное обеспечение лидаров должно быть сертифицировано на уровень ASIL D стандарта ISO 26262.

Международный стандарт функциональной безопасности ISO 26262 «Road Vehicles – Functional Safety» определяет четыре уровня критичности для безопасности ASIL A,B,C,D (Automotive Safety Integrity Level), где ASIL D – наивысший уровень критичности. В РФ действует национальный стандарт ГОСТ Р ИСО 26262 «Дорожные транспортные средства – функциональная безопасность».

Другие продукты QA Systems: QA-MISRA – статический анализатор кода C/C++ на соответствие стандартам кодирования MISRA (Motor Industry Software Reliability Association) – MISRA C:2004, MISRA C:2012, MISRA C:2012 Amendment 1&2, MISRA AC AGC, MISRA C++:2008, а также стандартам ISO/IEC TS17961 (C Secure), SEI (Software Engineering Institute) CERT C и CERT C++, CWE (Common Weakness Enumeration) и Adaptive AUTOSAR (AUTomotive Open System ARchitecture) C++14. Статический анализатор QA-MISRA интегрируется со средой тестирования Cantata. Все продукты QA Systems доступны для 30-дневного тест-драйва.


Среда тестирования Cantata помогает сертифицировать ПО медицинских приборов компании Creo Medical
Компания Creo Medical (Великобритания) разрабатывает и производит аппаратуру для эндоскопической хирургии. С помощью различных инструментов, подключенных к генератору микроволнового и радиочастотного излучения, хирург может выполнять малотравматические операции на тканях внутренних органов. Поскольку излучение с генератора используется внутри тела пациента, программное обеспечение генератора должно быть сертифицировано по наивысшему уровню безопасности Class C стандарта IEC 62304, и для этого было проведено его тестирование с помощью среды Cantata, сертифицированной по стандарту функциональной безопасности IEC 62304. Программное обеспечение генератора было разработано на языке C для микроконтроллера Fujitsu MB91F465 в среде Softune Workbench IDE.

Международный стандарт функциональной безопасности IEC 62304 «Программное обеспечение медицинского оборудования - Процессы жизненного цикла» определяет три класса медицинских приборов Class A, Class B и Class C, где Class C – это приборы, которые в случае ошибки функционирования могут создать угрозу здоровью человека или даже его жизни. В РФ действует национальный стандарт ГОСТ Р МЭК 62304.


Вебинар "Best Practices for Software Verification under ISO 26262" доступен в записи
Запись совместного вебинара QA Systems, SGS TuV, Faurecia Clarion, LHP и Synopsys доступна по ссылке
https://www.qa-systems.com/resource/best-practices-for-software-verification-under-iso-26262/


Среда тестирования Cantata помогает сертифицировать ПО беспилотного автомобиля
Компания Hitachi Vantara разработала по заказу одного из автомобильных поставщиков первого уровня комплекс программного обеспечения управления движением беспилотного автомобиля. Программное обеспечение разрабатывалось на языке С++ в стандарте кодирования MISRA C++ 2019 для аппаратно-программной платформы с открытой архитектурой отраслевого стандарта Adaptive AUTOSAR (AUTomotive Open System ARchitecture). Разработанное ПО должно было быть сертифицировано по стандарту функциональной безопасности ISO 26262 по уровню ASIL D, и для этого было проведено его тестирование с помощью среды Cantata.

Международный стандарт функциональной безопасности ISO 26262 «Road Vehicles – Functional Safety» определяет четыре уровня критичности для безопасности ASIL A,B,C,D (Automotive Safety Integrity Level), где ASIL D – наивысший уровень критичности. В РФ действует национальный стандарт ГОСТ Р ИСО 26262 «Дорожные транспортные средства – функциональная безопасность».


Вебинар "Cantata 9.1" доступен в записи
QA Systems провела вебинар по новой версии 9.1 среды Cantata.
Запись вебинара доступна по ссылке
https://www.qa-systems.com/resource/accelerate-unit-testing-safety-critical-software-with-cantata/

Брошюра "What's New in Cantata 9.1" здесь.


Среда тестирования Cantata помогает сертифицировать ПО медицинских приборов компании FastFocus
Система удаленного мониторинга компании FastFocus (Нидерланды) позволяет контролировать параметры состояния пациента с помощью сенсора EarSensor, размещаемого на его ухе. Программное обеспечение EarSensor разрабатывалось на языке C11 для ARM Cortex-M4 процессора NXP MKW24D512 в среде IAR Embedded Workbench. Программное обеспечение EarSensor должно было быть сертифицировано по стандарту функциональной безопасности IEC 62304 Class B, и для этого было проведено его тестирование с помощью среды Cantata, интегрированной со средой разработки IAR Embedded Workbench.

Международный стандарт IEC 62304 «Изделия медицинские. Программное обеспечение. Процессы жизненного цикла» определяет три класса медицинских приборов Class A, Class B и Class C, где Class C – это приборы, которые могут создать угрозу здоровью человека или даже его жизни. В РФ действует национальный стандарт ГОСТ Р МЭК 62304.


Вебинар "Introduction to Cantata Test Architect" доступен в записи
QA Systems провела вебинар по новому продукту Cantata Test Architect - анализатору архитектуры больших программных комплексов, предназначенному для визуализации связей между компонентами ПО и оптимизации архитектуры. Запись вебинара доступна по ссылке https://youtu.be/vTBBOKWgubk


Новая версия Cantata 9.0 (октябрь 2019)
Новая версия 9.0 cредs автоматизированного модульного и интеграционного тестирования Cantata фирмы QA Systems (Германия) доступна с октября 2019г. Одной из главных особенностей нового релиза является поддержка методологии Test Driven Development (TDD) - Разработка, Управляемая Тестированием.

TDD - это гибкая методология, при которой тесты разрабатываются на основании требований, еще до того, как исходный код будет реализован. В отличии от инструментов с открытым исходным кодом, Cantata TDD обеспечивает более “чистый” исходный код и улучшает общепринятые техники TDD за счет полнофункционального тестирования методом белого ящика. Тестовые примеры Cantata TDD могут быть выполнены еще до того, как исходный код будет написан. По мере реализации исходного кода, Cantata заменяет заглушки на фактическое тело функции и автоматически обновляет тесты.

Среди других особенностей релиза 9.0 поддержка C++ в функции Cantata Autotest (автоматическая генерация тестов по исходному коду со 100% покрытием) и Build Variant Coverage – объединение данных тестового покрытия по нескольким различным сборкам ПО с генерацией сертифицированного суммарного отчета о покрытии.

Полное описание "What’s New in Cantata 9.0" можно загрузить на сайте QA Systems в разделе Resources.


Новая версия Cantata 8.0 (февраль 2018)
Среда автоматизированного модульного и интеграционного тестирования Cantata фирмы QA Systems (Германия) предназначена для тестирования программного обеспечения на языке C/С++, подлежащего сертификации по стандартам функциональной безопасности ПО. Новая версия Cantata 8.0 получила сертификат SGS-TuV Saar GmbH как «средство верификации программного обеспечения, относящегося к безопасности», соответствующее стандартам
IEC 61508 (общепромышленное оборудование) - до уровня SIL 4;
EN 50128 (железнодорожные системы) - до уровня SIL 4;
ISO 26262 (автоэлектроника) - до уровня ASIL D;
IEC 62304 (медицинская техника) - до класса C;
IEC 60880 (системы контроля АЭС) - для категории А.

Набор сертификационных материалов по этим стандартам (Certification Kit) и руководство по применению среды Cantata в процессе сертификации (Safety Manual) входят в комплект поставки Cantata 8.0. Как дополнительный продукт поставляется комплект квалификационных материалов по требованиям DO-178C (авионика). Среда Cantata применяется также при разработке ПО космических систем по требованиям NASA-8719.13C и ECSS-E-40 (European Cooperation for Space Standardization).

Новый основной релиз 8.0 включает ряд новых функций, главными из которых являются Code Change Analysis (управление внесением изменений в тесты при изменениях в исходном коде) и Target Deployment Switching (адаптация одного и того же набора тестов в случае использования ПО на различных аппаратных платформах с различными инструментальными средствами). Полное описание “What’s New in Cantata 8.0” и форма заказа пробной версии на странице http://www.qa-systems.com/tools/cantata/ , а в разделе “Resources/White Papers” можно загрузить новое руководство “Automated Requirements-Based Testing for DO-178C”.

Среда Cantata имеет более чем 20-летнюю историю. Она является развитием среды IPL Cantata ++, интеллектуальная собственность на которую была приобретена компанией QA Systems у компании IPL в 2012 году.


AVD Systems
тел: (916) 194-42-71

Все наши страницы в сети:
www.avdsys.ru/pikeos PikeOS - операционная система/гипервизор для встраиваемых систем, критически-важных для безопасности (safety) и защищенности (security)
www.avdsys.ru/ada AdaCore – средства разработки и верификации ПО на языках Ada и SPARK
www.avdsys.ru/test Cantata - комплекс средств автоматизации тестирования программного обеспечения критически-важных для безопасности, сертифицируемых встраиваемых систем
www.avdsys.ru/gpu CoreAVI - сертифицируемые по стандарту DO-178B/C драйверы стандарта OpenGL SC (Safety Critical) для различных графических процессоров и графических ядер (GPU = Graphics Processing Unit)
www.avdsys.ru/gui DiSTI GL Studio - cреда разработки 3-D графического пользовательского интерфейса (GUI) критически важных для безопасности сертифицируемых дисплейных систем
www.avdsys.ru/absint AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
www.avdsys.ru/tttech TTTech - сетевое оборудование стандартов TSN, TTE, TTP - сетевых Технологий с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемых для построения распределенных систем управления реального времени с гарантированным временем передачи данных
www.avdsys.ru/simics Wind River Simics - симулятор цифровых электронных систем