CertiTools
Инструменты верификации бортового ПО
Автоматизируйте достижение целей стандарта KT-178C
МС-21 и SJ-100
CertiTools — это 4 уникальных инструмента
CertiCover
Инструмент сбора структурного покрытия кода
CertiStack
Инструмент автоматического анализа наихудшего случая использования стека
CertiTime
Инструмент автоматического анализа наихудшего случая времени выполнения программы
CertiTest
Программно-аппаратная среда для автоматизации выполнения интеграционного и модульного тестирования
CertiCover
Инструмент сбора структурного покрытия кода
Инструмент позволяет оценить полноту покрытия структуры ПО тестами в соответствии
с выбранным критерием полноты уровней A, B и C
(покрытие операторов, решений, MC/DC), а также связность по управлению.
Особенности квалификации CertiCover
Поддержка исходного кода на языке Си (стандарты C89 — C11)
Поддержка расширений компиляторов:
• GCC и все совместимые с ним
• Microsoft Visual C++
• Keil (ARM, C51, C166)
• Texas Instruments
• IAR (ARM, AVR)
• Freescale CodeWarrior (PowerPC)
• Small Device C Compiler
• Borland
Критерии уровней покрытия SC, DC, MC/DC, Control Coupling
Возможна доработка инструмента под нужды пользователя (платформа, компилятор, среда)
CertiStack
Инструмент автоматического анализа
наихудшего случая использования стека
Инструмент позволяет обнаружить случаи переполнения стека или показать их отсутствие.
Поддерживаемые архитектуры: ARM (Cortex-M), PowerPC.
Особенности квалификации CertiStack
Инструмент был квалифицирован в проектах с уровнем критичности ПО вплоть до А и одобрен российским сертифицирующим органом в соответствии с Р-330 по TQL-5.
Позволяет достичь цели 6 таблицы A-5 документа КТ-178С в части оценки использования стека.
Уменьшается время разработки программного кода для встроенных систем
Появляется возможность найти ошибку на ранних этапах разработки программ.
Использование инструмента никаким образом не усложняет и не изменяет привычные процессы разработки вашего кода
Исследуется непосредственно бинарный исполняемый код вашего приложения без внесения модификаций.
Гарантия выявления сбоев программы вследствие переполнения стека
За счет анализа всех возможных вариантов выполнения программы.
CertiTime
Инструмент автоматического анализа
наихудшего случая времени выполнения программы
Инструмент позволяет определить верхние границы времени выполнения программы.
Поддерживаемые архитектуры: ARM (Cortex-M), PowerPC. Без учета использования кэширования
Особенности квалификации CertiTime
Инструмент был квалифицирован в проектах с уровнем критичности ПО вплоть до А и одобрен российским сертифицирующим органом в соответствии с Р-330 по TQL-5.
Позволяет достичь цели 6 таблицы A-5 документа КТ-178С в части оценки наихудшего времени исполнения.
Уменьшается время разработки программного кода для встроенных систем
За счет существенного уменьшения объемов тестирования.
Использование инструмента никаким образом не усложняет и не изменяет привычные процессы разработки вашего кода
Исследуется непосредственно бинарный исполняемый код вашего приложения.
Результаты анализа действительны для всех возможных вариантов выполнения программы
Это позволяет гарантировано определить максимальное время выполнения.
CertiTest
Программно-аппаратная среда для автоматизации
интеграционного и модульного тестирования
CetiTest решает задачу выполнения модульного и интеграционного тестирования
за счет выстраивания взаимодействия между ПК и тестируемым изделием (целевым вычислителем)
посредством применения специальной тестовой карты.
Особенности квалификации CertiTest
Помогает в достижении целей таблицы А-6 КТ-178С, предоставляя автоматизированную среду тестирования.
Квалификация не требуется.
Аппаратные интерфейсы
Тестовая карта содержит необходимые аппаратные интерфейсы для связи с тестируемым изделием (целевым вычислителем). И обеспечивает соблюдение требуемых временных интервалов по приему / передаче управляющих сигналов.
Легкое подключение
Тестовая карта легко подключается к ПК без необходимости использования дополнительных адаптеров и позволяет выполнять тестовые процедуры в автоматическом режиме.
Гибкая настройка
Выполнение тестов осуществляется при помощи тестового окружения, реализованного на языке Python, которое обладает возможностью гибкой настройки модели поведения в соответствии с задачами тестировщика.
Возможности специальной тестовой карты
- Сопряжение по аппаратным интерфейсам, как стандартным, так и нестандартным для тестируемого изделия и ПК
- Cоблюдение временных интервалов по отправке сигналов, требуемых для проведения тестирования
- Установка и считывание дискретных сигналов
- Мониторинг сигналов во времени, приходящих с тестируемого изделия
- Генерация частотных сигналов, посредством имитации частотных датчиков
- Считывание данных с цифро-аналогового преобразователя
- Обмен данными по нестандартным интерфейсам со скоростью до 50 Мбит/сек.
- Автоматизация обмена данными в реальном времени по заданной с ПК модели поведения
- Сбор и хранение данных в реальном времени с последующей выдачей в ПК
Надежность
Наш опыт работы с аналогичными инструментами более 30 лет. Мы сами успешно используем наши инструменты в работе с нашими заказчиками.
Стоимость
У нас гибкая ценовая политика.
Поддержка на русском языке
У нас гибкая ценовая политика. На любые критичные запросы реагируем в течение суток.
Почему стоит выбрать CertiTools?
Стоимость
У нас гибкая ценовая политика.
Надежность
Наш опыт работы с аналогичными инструментами более 30 лет. Мы сами успешно используем наши инструменты в работе с заказчиками.
Поддержка на русском языке
На любые критичные запросы реагируем в течение суток.
Стоимость и контактные данные
По вопросам стоимости и доступным вариантам лицензий на использование инструментов
обращайтесь к Александру Богданову, директору по развитию Д С БАРС:
+7 (495) 942-69-91 доб. 4131
Alexander.Bogdanov@dcbars.ru