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

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


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