Новая версия 9.0 среды автоматизированного тестирования Cantata получила сертификат SGS-TüV
Среда автоматизированного модульного и интеграционного тестирования Cantata фирмы QA Systems (Германия) предназначена для тестирования программного обеспечения (ПО) на языке C/С++, подлежащего сертификации по стандартам функциональной безопасности ПО. Новая версия Cantata 9.0 получила сертификат SGS-TüV 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 9.0. Дополнительно поставляется комплект квалификационных материалов по требованиям DO-178C (авионика). Среда Cantata применяется также при разработке ПО космических систем по требованиям NASA-8719.13C и ECSS-E-40 (European Cooperation for Space Standardization).
Одной из главных особенностей нового релиза 9.0 является поддержка методологии Test Driven Development (TDD, «Разработка, управляемая тестированием»). TDD – это гибкая методология, при которой тесты разрабатываются на основании требований еще до того, как исходный код будет реализован. В отличие от инструментов с открытым исходным кодом, Cantata TDD обеспечивает более «чистый» исходный код и улучшает общепринятые техники TDD за счет полнофункционального тестирования методом белого ящика. Тестовые примеры Cantata TDD могут быть выполнены до того, как исходный код будет написан. По мере реализации исходного кода Cantata заменяет заглушки на фактическое тело функции и автоматически обновляет тесты.
Среди других особенностей релиза 9.0 – поддержка C++ в функции Cantata Autotest (автоматическая генерация тестов по исходному коду со 100%-м покрытием) и Build Variant Coverage, объединение данных тестового покрытия по нескольким различным сборкам ПО с генерацией сертифицированного суммарного отчета о покрытии.
Среда Cantata имеет более чем 20-летнюю историю. Она является развитием среды IPL Cantata ++, интеллектуальная собственность на которую была приобретена компанией QA Systems у компании IPL в 2012 г. Дистрибьютор компании QA Systems в России – компания «АВД Системы», поставщик средств разработки ПО критически важных для безопасности сертифицируемых встраиваемых компьютерных систем.