Współpracownicy Liverpool Data Research
 | |
| Typ | Firma prywatna |
|---|---|
| Przemysł | Testowanie oprogramowania |
| Założony | 1975 |
| Siedziba | |
Kluczowi ludzie |
Profesor Michael Hennell , dyrektor generalny |
| Produkty | Platforma testowa LDRA , TBrun, TBvision i inne |
| Strona internetowa | http://www.ldra.com |
Liverpool Data Research Associates (LDRA) jest dostawcą narzędzi do analizy oprogramowania oraz testów i śledzenia wymagań dla sektora publicznego i prywatnego oraz pionierem w statycznej i dynamicznej analizie oprogramowania.
Historia
LDRA została założona w 1975 roku przez profesora Michaela Hennella w celu skomercjalizowania stanowiska testowego oprogramowania stworzonego do przeprowadzania ocen jakości bibliotek matematycznych, na których opierały się jego badania w dziedzinie fizyki jądrowej na Uniwersytecie w Liverpoolu .
Produkty
LDRA Testbed to zastrzeżone narzędzie do analizy oprogramowania, które zapewnia statyczną analizę kodu , a także analizę pokrycia kodu , przeglądy kodu, jakości i projektu. Jest to komercyjna implementacja stanowiska testowego oprogramowania stworzonego przez Hennella w ramach jego badań uniwersyteckich. Był to pierwszy produkt komercyjny, który obejmował obsługę Linear Code Sequence i Jump , która była wynikiem tych samych badań. Jest używany głównie tam, gdzie wymagane jest, aby oprogramowanie było niezawodne, wytrzymałe i jak najbardziej wolne od błędów, na przykład w elektronice lotniczej o znaczeniu krytycznym dla bezpieczeństwa (lub awionika ). Został również wykorzystany do wykrywania i usuwania luk w zabezpieczeniach. LDRA Testbed jest częścią pakietu narzędzi firmy LDRA, w skład którego wchodzą:
- TBrun — zautomatyzowane narzędzie do testowania jednostek
- TBmanager — narzędzie do śledzenia wymagań
- TBevolve — obsługuje zarządzanie linią bazową oprogramowania
- TBsafe — wspiera cele certyfikacji: DO-178C , Def Stan 00-55, IEC 61508
- TBpublish — do publikowania indeksów HTML
- TBaudit — do raportów Microsoft Word
- LDRAcover — narzędzie do pokrycia
- LDRArules — zgodność ze standardami
- TBmisra — dodatek LDRArules do stosowania MISRA C:2012 i innych powiązanych lub podobnych zestawów zasad bezpieczeństwa i ochrony<
- Pakiety wsparcia kwalifikacji narzędzi — dla przepływów pracy o krytycznym znaczeniu dla bezpieczeństwa, np. DO-178C
Usługi
W marcu 2012 r. LDRA ogłosiła w pełni zgodne rozwiązanie certyfikacyjne FAA / EASA , które zapewnia wsparcie i prowadzi osoby ubiegające się o certyfikację przez szeroki zakres standardów, w tym:
Standardy przemysłowe
LDRA jest współtwórcą kilku standardów branżowych, w tym DO-178C , MISRA C i MISRA C++. Ponadto LDRA jest partnerem branżowym CERT C opracowanego przez zespół reagowania na incydenty komputerowe w Instytucie Inżynierii Oprogramowania Carnegie Mellon .
W lutym 2018 r. LDRA ogłosiła zatrudnienie Andrew Banksa w celu wzmocnienia ich działań w zakresie standardów. Banks jest przewodniczącym zarówno grupy roboczej MISRA C , jak i grupy roboczej ds . testowania oprogramowania BSI , a także współtworzy szereg krajowych i międzynarodowych standardów w dziedzinie inżynierii oprogramowania i bezpieczeństwa funkcjonalnego , w szczególności ISO 26262 .