ЛДРА
 | |
| Тип компании | Частная компания |
|---|---|
| Промышленность | Тестирование программного обеспечения |
| Основан | 1975 |
| Штаб-квартира | |
Ключевые люди | Профессор Майкл Хеннелл , генеральный директор |
| Продукты | Набор инструментов LDRA, TBrun, TBvision и другие. |
| Веб-сайт | http://www.ldra.com |
LDRA , ранее известная как Liverpool Data Research Associates , является частной компанией, производящей инструменты анализа, тестирования и отслеживания требований для государственного и частного секторов. Он включает в себя статический и динамический анализ программного обеспечения. [1]
История
[ редактировать ]Liverpool Data Research Associates была основана в 1975 году профессором Майклом Хеннеллом для коммерциализации испытательного стенда программного обеспечения, созданного для оценки качества математических библиотек, от которых зависели его в области ядерной физики исследования в Ливерпульском университете . [2] [3] Это исследование включало изобретение метода программного анализа линейной кодовой последовательности и перехода (LCSAJ). [4]
Продукты
[ редактировать ]Набор инструментов LDRA
[ редактировать ]| Первоначальный выпуск | 1975 год |
|---|---|
| Стабильная версия | v10.2.1
/ 27 ноября 2023 г |
| Операционная система | Windows , Linux , MacOS |
| Тип | Статический анализ кода , модульное тестирование , отслеживание требований |
| Лицензия | Собственный |
| Веб-сайт | старше |
Набор инструментов LDRA — это собственный инструмент анализа программного обеспечения, обеспечивающий статический анализ кода , а также анализ покрытия кода , анализ кода, качества и дизайна. Это коммерческая реализация испытательного стенда программного обеспечения, созданного Хеннеллом в рамках его университетских исследований. [ нужна ссылка ]
Он используется в основном там, где программное обеспечение должно быть надежным, прочным и максимально безошибочным, например, в критически важной для безопасности аэрокосмической электронике (или авионике ). [5] Он также использовался для обнаружения и устранения уязвимостей безопасности. [6]
Набор инструментов LDRA — это интегрированный набор программных инструментов от LDRA, включающий: [ нужна ссылка ]
- TBrun — автоматизированный модульного тестирования. инструмент
- TBmanager — инструмент отслеживания требований
- TBevolve — поддерживает базовое управление программным обеспечением.
- TBsafe — поддерживает цели сертификации: DO-178C , Def Stan 00-55, IEC 61508. [7]
- TBpublish — для публикации HTML-индексов.
- TBaudit — для Microsoft Word отчетов
- LDRAcover — инструмент покрытия [8]
- LDRArules — соответствие стандартам [9]
- TBmisra — надстройка LDRArules для применения MISRA C и других связанных или аналогичных наборов правил безопасности. [7]
- Пакеты поддержки квалификации инструментов — для рабочих процессов, критически важных для безопасности и защиты, [7] например, DO-178C
Испытательный стенд ЛДРА
[ редактировать ]Испытательный стенд LDRA был [ нужна ссылка ] набор основных механизмов статического и динамического анализа как для хостового, так и для встроенного программного обеспечения. Тестовый стенд LDRA создан Liverpool Data Research Associates (LDRA). [10] LDRA Testbed предоставляет средства для обеспечения соответствия стандартам кодирования, таким как MISRA , JSF++ AV, CERT C , CWE, а также обеспечивает видимость недостатков программного обеспечения, которые обычно могут пройти через стандартный процесс сборки и тестирования и стать скрытыми проблемами. Кроме того, обратная связь по эффективности тестирования обеспечивается посредством средств отчетности по структурному анализу покрытия, которые поддерживают требования стандарта DO-178B до уровня A включительно. [ нужна ссылка ]
LDRA Testbed автоматически проверяет соблюдение стандартов программирования с помощью статического анализа. LDRA Testbed сообщает о нарушениях выбранного набора стандартов как в текстовых отчетах, так и в виде аннотаций к графическим дисплеям. Он включает в себя модуль динамического анализа покрытия. LDRA Testbed имеет разбивку показателей качества программного обеспечения (например, сложность Холстеда , цикломатическая сложность , метрика узлов) на основе статического анализа. [ нужна ссылка ]
Некоторые компании, использующие продукты LDRA, включают MathWorks , которая интегрировала свои Simulink , инструменты [11] а также IBM Rational Rose [12] и река Винд . [13]
Проверка ФАУ/EASA
[ редактировать ]В марте 2012 года LDRA анонсировала полностью совместимое с FAA / EASA. решение для сертификации, [14] оказывать поддержку и направлять кандидатов на сертификацию по широкому спектру стандартов, включая:
Споры по поводу контроля запуска в Формуле-1
[ редактировать ]После Гран-при Сан-Марино 1994 года , гонки Формулы-1 , Международная автомобильная федерация (FIA) наняла LDRA. [15] для расследования обвинений в мошенничестве. Речь идет о вспомогательных средствах вождения, которые были запрещены в начале года, таких как контроль тяги и контроль запуска . Три лучших автомобиля Михаэля Шумахера ( Benetton ), Николы Ларини ( Ferrari ) и Мики Хаккинена ( McLaren ) были исследованы, и их командам было предложено передать исходный код своих систем компании. Ferrari подчинилась, но Benetton и McLaren отказались, сославшись на авторские права. После того, как FIA оштрафовала их на 100 000 долларов, обе команды выполнили требования через восемь дней после гонки. LDRA обнаружила, что McLaren реализовала программу, разрешающую автоматическое переключение передач , но автомобиль был признан легальным. [16]
В компьютере управления двигателем победившего автомобиля Benetton-Ford было установлено программное обеспечение для контроля запуска, предназначенное для регулирования частоты вращения двигателя и предотвращения пробуксовки колес. Benetton признал его присутствие, но заявил, что он не использовался во время гонки, утверждая, что он был добавлен для тестирования и оставлен там из-за большой рабочей нагрузки. LDRA пришла к выводу, что программное обеспечение, скорее всего, не использовалось во время Гран-при, что привело к тому, что FIA не предприняла никаких действий против Benetton или Шумахера. [17] Инцидент подчеркнул обеспокоенность по поводу запрещенного программного обеспечения в Формуле 1 и проблем обеспечения соблюдения правил в развивающейся сфере технологий управления двигателем. [ нужна ссылка ]
Отраслевые стандарты
[ редактировать ]LDRA является участником нескольких отраслевых стандартов, включая DO-178C , [18] МИСРА С [19] и МИСРА С++. [20] Кроме того, LDRA является отраслевым партнером [21] для CERT C стандарта безопасного кодирования [22] создано группой реагирования на компьютерные чрезвычайные ситуации Института Карнеги- Меллона программной инженерии . [ нужна ссылка ]
В сентябре 2012 года подразделение LDRA в США присоединилось к (FACE) Open Group в Консорциуму Future Airborne Capability Environment качестве органа по проверке. [23]
Ссылки
[ редактировать ]- ^ «ЛДРА» . Справочник НАСА по разработке программного обеспечения . 13 июля 2018 г.
- ^ М. А. Хеннелл, Экспериментальный стенд для численного программного обеспечения. {Я}. {Фортран} , Компьютерный журнал 21 (4): 333–336, ноябрь 1978 г.
- ^ М. А. Хеннелл и Д. Хедли, Экспериментальный стенд для численного программного обеспечения. {II}. {АЛГОЛ 68} , Компьютерный журнал 22(1):53--56, февраль 1979 г.
- ^ М. А. Хеннелл, М. Р. Вудворд и Д. Хедли, «Об анализе программ», Information Processing Letters, 5 (5), стр. 136–140, 1976 г.
- ^ Джон Биндер, Программное обеспечение для тестирования: новый рубеж , Aerospace America, июнь 2005 г., стр. 30–31.
- ^ Джей-Эван Дж. Тевис, Джон А. Гамильтон, Методы предотвращения, обнаружения и устранения уязвимостей безопасности программного обеспечения , Материалы 42-й ежегодной юго-восточной региональной конференции ACM, стр. 197–202, Хантсвилл, Алабама, 2004 г., ISBN 1-58113-870-9
- ^ Jump up to: а б с «ЛДРА» . Проверено 7 февраля 2019 г.
- ^ «Новый инструмент анализа кода, представленный LDRA на Design East» . Военные встраиваемые системы . Проверено 29 января 2013 г.
- ^ «DESIGN East — средство проверки правил программирования LDRArules обеспечивает соответствие стандартам» . Встроенный.com . Проверено 29 января 2013 г.
- ^ Хеннелл, Майкл (1978). «Экспериментальный стенд численного программного обеспечения» . Компьютерный журнал . Проверено 16 октября 2011 г. [ постоянная мертвая ссылка ]
- ^ Хьюз, Дженис (2011). «LDRA Ltd и MathWorks объединяют усилия для интеграции продукта, чтобы обеспечить независимую проверку и снизить затраты на разработку встраиваемых систем» . ЛДРА. Архивировано из оригинала 18 января 2013 года . Проверено 13 октября 2009 г.
- ^ Макконнел, Тони (2008). «LDRA интегрирует набор инструментов с IBM Rational Rose RealTime MDDE» . Уиррал, Великобритания: EE Times. Архивировано из оригинала 28 августа 2011 года . Проверено 12 ноября 2011 г.
- ^ «LDRA интегрирует набор инструментов с IBM Rational Rose RealTime MDDE» . ВиндРивер . Проверено 14 ноября 2011 г.
- ^ «Design West: Службы сертификации LDRA оптимизируют сертификацию FAA/EASA, а службы сертификации LDRA оптимизируют сертификацию FAA/EASA по фиксированной цене» . Дизайн Запад . Проверено 29 января 2013 г.
- ^ «Пусть победит лучшая машина» . Новый учёный . Сентябрь 1994 года . Проверено 7 мая 2024 г.
- ^ «Бенеттон Лаунч-контроль» . Motorsport.com. 25 марта 1995 года . Проверено 7 мая 2024 г.
- ^ «Бенеттон на скамье подсудимых» . Журнал автоспорта. 8 мая 1994 года . Проверено 7 мая 2024 г.
- ^ Руководитель группы службы сертификации LDRA будет официально признан в Вашингтоне, округ Колумбия, ключевым членом комитета RTCA SC-205. 30 апреля 2012 г., 13:00 по восточному времени ( http://www.businesswire.com/news/home/20120430005629/en/RTCA-Honors-LCS-Team-Lead-Todd-R .)
- ^ MISRA — Ассоциация по надежности программного обеспечения для автомобильной промышленности — MISRA C , http://www.misra-c2.com/
- ^ MISRA — Ассоциация по надежности программного обеспечения автомобильной промышленности — MISRA C++ , http://www.misra-cpp.com/
- ^ Годовой отчет CERT Research за 2008 год , SEI Communications, исполнительный редактор Ричард Лингер
- ^ Стандарт безопасного кодирования CERT C, The , Роберт С. Сикорд, 14 октября 2008 г., Addison-Wesley Professional, ISBN 0-321-56321-2 .
- ^ «Одобренные FACE органы проверки» . Открытая группа . Проверено 8 августа 2023 г.