Кантата++

Кантата
Разработчик(и)	ККА Системс ГмбХ
Первоначальный выпуск	1998
Стабильная версия	24.04 / апрель 2024 г .; 4 месяца назад
Написано в	С и С++
Операционная система	Линукс , Винда и т.д.
Лицензия	Собственный
Веб-сайт	Кантата

Cantata++ , в более новых версиях обычно называемая Cantata , — это коммерческая компьютерная программа , предназначенная для динамического тестирования с упором на модульное тестирование и интеграционное тестирование . ^{[ 1 ]} а также во время выполнения покрытия кода анализ программ на C и C++ . ^{[ 2 ]}^{[ 3 ]} Он разработан и продается QA Systems, транснациональной компанией со штаб-квартирой в Вайблингене , Германия .

Обзор

Cantata++ была первоначально разработана в 1998 году компанией IPL Information Processing Systems. ^{[ 4 ]} В 2012 году QA Systems GmbH ^{[ 5 ]} приобрела бизнес и переименовала инструмент в Cantata в версии 6.2.

Cantata поддерживает использование в Eclipse. ^{[ 6 ]} Интегрированная среда разработки (IDE) Visual Studio Code и через интерфейс командной строки (CLI). Cantata — это управляемая кодом среда модульного тестирования, используемая для динамического тестирования программного обеспечения. Он позволяет выполнять скомпилированные тестовые примеры вместе с тестируемым связанным кодом. Эти тестовые исполняемые файлы можно запускать на различных вычислительных платформах , включая собственные операционные системы или целевые платформы. Интеграция отладчиков доступна, но не является обязательной.

Cantata в основном используется разработчиками прикладного программного обеспечения, написанными на C и C++, а также теми, кто разрабатывает системное программное обеспечение для встраиваемых систем и мобильных устройств .

Промышленное использование

Cantata предлагает решение, отвечающее строгим требованиям международных нормативных стандартов, регулирующих разработку и проверку программного обеспечения функциональной безопасности в различных отраслях. ^{[ 7 ]} Эти стандарты включают строгие критерии достижения определенного уровня полноты безопасности (SIL) и поддерживают такие методы, как модульное тестирование и интеграционное тестирование с использованием среды тестирования, управляемой кодом.

Аэрокосмическая промышленность RTCA : DO-178C : ^{[ 8 ]} Вопросы программного обеспечения при сертификации бортовых систем и оборудования.
Автомобильная промышленность ISO 26262 : Транспорт дорожный и функциональная безопасность.
Энергетика/Атомная энергетика IEC 60880: Атомные электростанции. Системы контроля и управления, важные для безопасности. Аспекты программного обеспечения для компьютерных систем, выполняющих функции категории А.
Промышленная автоматизация IEC 61508 : Функциональная безопасность электрических/электронных/программируемых электронных систем, связанных с безопасностью.
Медицинские приборы IEC 62304 : ^{[ 9 ]} Программное обеспечение медицинского оборудования. Процессы жизненного цикла программного обеспечения.
Железные дороги EN 50128 и EN 50129: Применение на железных дорогах. Системы связи, сигнализации и обработки. Программное обеспечение для систем управления и защиты железнодорожного транспорта.
ECSS -E-ST-40C Космическая инженерия и ECSS-Q-ST-80 Гарантия космической продукции
Вычислительные системы для боеприпасов НАТО AOP-52: ^{[ 10 ]} Проектирование безопасности программного обеспечения и вычислительные системы, связанные с боеприпасами.

Кантата может использоваться в каждом из этих секторов для соответствия требованиям проверки нормативного стандарта.

Сертификация инструмента

Cantata была независимо классифицирована и сертифицирована органом по сертификации функциональной безопасности SGS- TÜV GmbH. ^{[ 11 ]} как «пригодный для использования при разработке программного обеспечения, связанного с безопасностью» до самых высоких уровней полноты безопасности в каждом из вышеупомянутых стандартов. ^{[ 12 ]}

Сопоставление требований к верификации и валидации в каждом из стандартов функционального тестирования программного обеспечения, тестирования устойчивости и структурного тестирования ( покрытия кода ) с возможностями Cantata доступно у поставщика вместе с комплектами для сертификации инструментов для IS0 26262, IEC 60880, IEC. 61508, IEC 62304 и EN 50128, а также аттестационные комплекты инструментов для DO-178C/DO-330.

Кантата Гибрид

В апреле 2024 года компания QA Systems запустила Cantata Hybrid, специализированное подмножество Cantata, которое позволяет генерировать результаты сертифицированных тестов и показатели покрытия кода на основе существующих наборов GoogleTest. Этот инструмент учитывает необходимость соблюдения стандартов функциональной безопасности, таких как ISO 26262 , DO-178C и IEC 61508 . Cantata Hybrid гарантирует, что существующие наборы GoogleTest можно использовать без изменений, обеспечивая анализ покрытия кода до уровня MC/DC .

Cantata Hybrid была независимо сертифицирована SGS- TÜV GmbH как пригодная для использования на самом высоком уровне полноты безопасности в соответствии с основными стандартами функциональной безопасности программного обеспечения. Этот сертификат подчеркивает его надежность и эффективность в критически важных для безопасности отраслях, таких как автомобилестроение, медицина и аэрокосмическая промышленность.

Ссылки

^ Магистерская диссертация «Классификация инструментов тестирования программного обеспечения». Архивировано 18 июля 2014 г. на веб-сайте Wayback Machine Технологического университета Лаппеенранта, под названием 23 июня 2014 г.
^ Дейл, Крис; Андерсон, Том (13 января 2009 г.). Системы, критичные для безопасности: проблемы, процесс и практика: материалы семнадцатого симпозиума по системам, критичным для безопасности, Брайтон, Великобритания, 3–5 февраля 2009 г. Спрингер. стр. 216–. ISBN 9781848823495 . Проверено 3 июня 2014 г.
^ Вечорек, Мартин; Мейерхофф, Дирк; Балтус, Б. (9 февраля 2001 г.). Качество программного обеспечения: современное состояние управления, тестирования и инструментов . Спрингер. стр. 267–. ISBN 9783540414414 . Проверено 3 июня 2014 г.
^ П. Матур Адитья (2008). Основы тестирования программного обеспечения . Пирсон Образовательная Индия. стр. 489–. ISBN 9788131707951 . Проверено 3 июня 2014 г.
^ ИПЛ. «QA Systems увеличит годовой доход на 20% за счет добавления в портфолио интеллектуального программного обеспечения модульного и интеграционного тестирования IPL Cantata++ 6.0» . www.prnewswire.com (пресс-релиз) . Проверено 19 июня 2024 г.
^ «Журнал автомобильной электроники, выпуск 4/2012, стр. 4. под названием 8-13-14» (PDF) . Архивировано из оригинала (PDF) 4 марта 2016 г. Проверено 19 августа 2014 г.
^ «SGS-TÜV сертифицирует Кантату версии 7.2 на соответствие всем основным стандартам безопасности программного обеспечения» . market.businessinsider.com . Проверено 19 июня 2024 г.
^ Маккей, Адам (18 июня 2024 г.). «Расширение набора тестов с использованием языковых моделей — применение RAG для улучшения проверки надежности» . Эртс2024 . Тулуза, Франция.
^ Tessolve помогает Creo Medical подготовиться к сертификации медицинского оборудования
^ Организация Североатлантического договора (НАТО) (29 ноября 2016 г.). «Руководство по разработке и оценке безопасности программного обеспечения вычислительных систем, связанных с боеприпасами» . ГлобалСпец .
^ «SGS-TÜV сертифицирует Кантату версии 7.2 на соответствие всем основным стандартам безопасности программного обеспечения» . market.businessinsider.com . Проверено 19 июня 2024 г.
^ Встроенный персонал (25 февраля 2018 г.). «QA Systems анонсирует новую крупную версию инструмента модульного тестирования Cantata» . Встроенный . {{cite news}}: CS1 maint: статус URL ( ссылка )

Дальнейшее чтение

Питер Лиггесмайер: Качество программного обеспечения: тестирование, анализ и проверка программного обеспечения. Спектрум, Академический Верлаг, Гейдельберг, Берлин, 2002 г., ISBN 3-8274-1118-1 .
Руне Винтер, Бьорн Аксель Гран, Густав Далл: «Компьютерная безопасность, надежность и безопасность: 24-я международная конференция SAFECOMP 2005, Фредрикстад, Норвегия, 28–30 сентября 2005 г., материалы». Шпрингер-Верлаг ГмбХ, 2005 г., ISBN 3-5402-9200-4 .
Дороти Грэм, Марк Фьюстер: «Опыт автоматизации тестирования: тематические исследования автоматизации тестирования программного обеспечения». Аддисон-Уэсли Лонгман, Амстердам, 2012 г., ISBN 0-321-75406-9 .
Патрисия Родригес Дапена: «Проверка безопасности программного обеспечения в критически важных системах с интенсивным программным обеспечением». Эйндховен: Университет Эйндховена, 2002 г., OCLC 905503460 .
«Национальная аэрокосмическая лаборатория NLR: «Единичные испытания в NLR», 2001, стр. 23. под названием 8-13-14» (PDF) . Архивировано из оригинала (PDF) 4 марта 2016 г. Проверено 19 августа 2014 г.
Тестирование «белого ящика» Cantata, протестированное Массачусетским технологическим институтом. Эмпирическая оценка критерия покрытия MC/DC в спутниковом программном обеспечении HETE-2 под названием 8-15-14.
Краткое описание функций Cantata для встроенных тестов xUnit Веб-сайт QA-Systems под названием 6-30-14
Кантата Гибрид: Техническое описание продукта

Внешние ссылки

Официальный сайт

[1] Магистерская диссертация «Классификация инструментов тестирования программного обеспечения». Архивировано 18 июля 2014 г. на веб-сайте Wayback Machine Технологического университета Лаппеенранта, под названием 23 июня 2014 г.

[DaleAnderson2009-2] Дейл, Крис; Андерсон, Том (13 января 2009 г.). Системы, критичные для безопасности: проблемы, процесс и практика: материалы семнадцатого симпозиума по системам, критичным для безопасности, Брайтон, Великобритания, 3–5 февраля 2009 г. Спрингер. стр. 216–. ISBN 9781848823495 . Проверено 3 июня 2014 г.

[WieczorekMeyerhoff2001-3] Вечорек, Мартин; Мейерхофф, Дирк; Балтус, Б. (9 февраля 2001 г.). Качество программного обеспечения: современное состояние управления, тестирования и инструментов . Спрингер. стр. 267–. ISBN 9783540414414 . Проверено 3 июня 2014 г.

[P2008-4] П. Матур Адитья (2008). Основы тестирования программного обеспечения . Пирсон Образовательная Индия. стр. 489–. ISBN 9788131707951 . Проверено 3 июня 2014 г.

[5] ИПЛ. «QA Systems увеличит годовой доход на 20% за счет добавления в портфолио интеллектуального программного обеспечения модульного и интеграционного тестирования IPL Cantata++ 6.0» . www.prnewswire.com (пресс-релиз) . Проверено 19 июня 2024 г.

[6] «Журнал автомобильной электроники, выпуск 4/2012, стр. 4. под названием 8-13-14» (PDF) . Архивировано из оригинала (PDF) 4 марта 2016 г. Проверено 19 августа 2014 г.

[7] «SGS-TÜV сертифицирует Кантату версии 7.2 на соответствие всем основным стандартам безопасности программного обеспечения» . market.businessinsider.com . Проверено 19 июня 2024 г.

[8] Маккей, Адам (18 июня 2024 г.). «Расширение набора тестов с использованием языковых моделей — применение RAG для улучшения проверки надежности» . Эртс2024 . Тулуза, Франция.

[9] Tessolve помогает Creo Medical подготовиться к сертификации медицинского оборудования

[10] Организация Североатлантического договора (НАТО) (29 ноября 2016 г.). «Руководство по разработке и оценке безопасности программного обеспечения вычислительных систем, связанных с боеприпасами» . ГлобалСпец .

[11] «SGS-TÜV сертифицирует Кантату версии 7.2 на соответствие всем основным стандартам безопасности программного обеспечения» . market.businessinsider.com . Проверено 19 июня 2024 г.

[12] Встроенный персонал (25 февраля 2018 г.). «QA Systems анонсирует новую крупную версию инструмента модульного тестирования Cantata» . Встроенный . {{cite news}}: CS1 maint: статус URL ( ссылка )

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]