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

Комплекс средств 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/


Новая версия 8.0 среды автоматизированного тестирования Cantata получила сертификат SGS-TuV
Среда автоматизированного модульного и интеграционного тестирования 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/wcet AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
www.avdsys.ru/debug Lauterbach - аппаратные средства отладки ПО встраиваемых систем
www.avdsys.ru/atr CM Computer - бортовые корпуса формата ATR (Air Transport Rack) для модулей VPX, VME64 и CompactPCI с кондуктивным охлаждением
www.avdsys.ru/DE TTTech - оборудование Deterministic Ethernet - сетевой Технологии с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемой для построения распределенных систем жесткого реального времени с гарантированным временем передачи данных
www.avdsys.ru/rugged Aitech - модули и системы VPX, VME, CompactPCI для тяжелых условия эксплуатации