WikiDer > Стенд LDRA

LDRA Testbed

Стенд LDRA
Частный
ПромышленностьТестирование программного обеспечения
Основан1975
Штаб-квартира,
Англия
Обслуживаемая площадь
Мировой
Ключевые люди
Генеральный директор и президент: Майкл Хеннелл
ТоварыСтенд LDRA
ДоходНет данных
Количество работников
127 (апрель 2017)
Интернет сайтwww.ldra.com

Стенд 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.

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

  1. ^ Хеннелл, Майкл (1978). «Экспериментальный стенд для численного программного обеспечения». Компьютерный журнал. Получено 16 октября 2011.
  2. ^ Хьюз, Дженис (2011). «LDRA Ltd и MathWorks объединяют усилия для интеграции продукта, чтобы обеспечить независимую проверку и снизить затраты на встроенную разработку». LDRA. Получено 13 октября 2009.
  3. ^ Макконнел, Тони (2008). «LDRA интегрирует набор инструментов с IBM Rational Rose RealTime MDDE». Уиррал, Великобритания: EE Times. Архивировано из оригинал 28 августа 2011 г.. Получено 12 ноября 2011.
  4. ^ «LDRA интегрирует набор инструментов с IBM Rational Rose RealTime MDDE». WindRiver. Получено 14 ноября 2011.