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

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

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

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

Сертификация
Применение сертифицированных средств разработки значительно сокращает затраты на сертификацию прикладного ПО.
Cantata - средство разработки, квалифицируемое по DO-178B и DO-178C до уровня DAL A
и сертифицированное TUV SAAR на соответствие стандартам:
IEC 61508:2010, up to SIL 4, class T2 tool
EN 50128:2011, up to SIL 4, class T2 tool
IEC 60880:2006, for category A functions
ISO 26262:2011, up to ASIL D, TCL1 can be reached
IEC 62304:2006, up to SW safety Class C

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


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

Новая версия 8.0 будет доступна с мая 2018г. Как и предыдущие версии 7.х она будет вскоре после выпуска сертифицирована SGS-TuV Saar GmbH на соответствие стандартам безопасности IEC 61508 (промышленное оборудование), EN 50128 (железнодорожные системы), IEC 60880 (системы безопасности атомных станций), ISO 26262 (автоэлектроника), IEC 62304 (медицинская техника). Так же, как версии 7.х, 8.0 будет сопровождаться комплектом квалификационных материалов по требованиям DO-178C (авионика). Среда Cantata применяется также при разработке ПО космических систем по требованиям NASA-8719.13C и ECSS-E-40 (European Cooperation for Space Standardization).

Среда 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 для тяжелых условия эксплуатации