Стенд LDRA - LDRA Testbed

Эта статья содержит контент, который написан как Реклама. Пожалуйста помоги Улучши это путем удаления рекламный контент и неуместно внешняя ссылка, а также путем добавления энциклопедического содержания, написанного с нейтральная точка зрения. (Март 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Стенд LDRA обеспечивает основу статический и динамичный механизмы анализа как для основного, так и для встроенного программного обеспечения. Стенд LDRA сделан Liverpool Data Research Associates (LDRA)^[1]. LDRA Testbed предоставляет средства для обеспечения соответствия стандартам кодирования, таким как MISRA, JSF ++ AV, CERT C, CWE и обеспечивает видимость недостатков программного обеспечения, которые обычно проходят через стандартный процесс сборки и тестирования и превращаются в скрытые проблемы. Кроме того, обратная связь по эффективности тестирования обеспечивается с помощью средств отчетности по анализу структурного покрытия, которые поддерживают требования DO-178B стандарт до уровня А включительно.

Статический анализ

Статический анализ инициирует активность тестовой площадки LDRA, выполняя лексический и синтаксический анализ исходного кода для отдельного файла или всей системы.

Проверка стандартов программирования

Обеспечение соблюдения стандартов программирования (или стандартов кодирования) обычно считается хорошей практикой. Соблюдение таких стандартов можно автоматически проверить с помощью таких продуктов, как LDRA Testbed. Main Static Analysis выполняет поиск в исходном коде любых нарушений стандартов программирования, сверяя исходные файлы с расширенным набором, поставляемым с LDRA Testbed.

Эта система может быть настроена для:

• Определяемые пользователем фильтры - включение или выключение стандартов
• Измените стандарты с обязательных на необязательные или наоборот.
• Используйте аннотации, чтобы отключить стандарты для конкретных случаев нарушений.

LDRA Testbed сообщает о нарушениях выбранного набора стандартов как в текстовых отчетах, так и в виде аннотаций к графическим дисплеям.

Анализ динамического покрытия

Динамический анализ покрытия исследует семантику тестируемой программы посредством выбора тестовых данных. Он использует модели управления и потока данных и сравнивает их с реальным потоком управления и данных по мере выполнения программы. Таким образом, динамический анализ требует выбора тестовых данных, которые исследуют структуру исходного кода.

В набор инструментов LDRA входит модуль динамического покрытия. Он используется для положительного влияния на устойчивость и надежность программного обеспечения как во время цикла разработки, так и во время цикла обслуживания.

Отчет о качестве

Такие показатели качества, как Меры сложности Холстеда, цикломатическая сложность, Метрика узлов предназначены для проверки того, что код понятен, обслуживается и тестируется. Отчет о качестве в наборе инструментов LDRA представляет как сводную, так и подробную разбивку показателей качества, которые выводятся в ходе статического анализа.

Альтернативы

Список партнеров LDRA на рынке тестирования программного обеспечения включает: MathWorks которые интегрировали свои Simulink инструменты,^[2] а также IBM Rational Rose,^[3] Рациональная рапсодия, IAR Встроенный верстак, Wind River^[4] и VxWorks.

В число конкурентов LDRA входят AdaTEST, Кантата ++, Покровительство, Klocwork, Parasoft и VectorCAST.

Рекомендации