Liverpool Data Research Associates - Liverpool Data Research Associates - Wikipedia

Liverpool Data Research Associates (LDRA)
Soukromá společnost
PrůmyslTestování softwaru
Založený1975
Hlavní sídlo
Poloostrov Wirral, Anglie
Klíčoví lidé
Profesor Michael Hennell, VÝKONNÝ ŘEDITEL
produktyTestovací lože LDRA, TBrun, TBvision a další
webová stránkahttp://www.ldra.com

Liverpool Data Research Associates (LDRA) je poskytovatelem softwarové analýzy a testovacích a sledovacích nástrojů požadavků pro veřejný a soukromý sektor a průkopníkem statické a dynamické softwarové analýzy.

Dějiny

LDRA byla založena v roce 1975 profesorem Michael Hennell komercializovat softwarový testovací stolek vytvořený k provádění hodnocení kvality matematických knihoven, na nichž je jeho Nukleární fyzika výzkum na University of Liverpool záleželo.[1][2]

produkty

Testovací lože LDRA je proprietární softwarový analytický nástroj poskytující statická analýza kódu, a také poskytuje pokrytí kódu analýza, kontrola kódu, kvality a designu. Jedná se o komerční implementaci softwarového testovacího zařízení, které vytvořil Hennell jako součást svého univerzitního výzkumu. Byl to první komerční produkt, který zahrnoval podporu pro Sekvence lineárního kódu a skok metoda softwarové analýzy, která vyplynula ze stejného výzkumu. Používá se především tam, kde je vyžadován spolehlivý, robustní a bezchybný software, například v kriticky důležité letecké elektronice (nebo Avionika ).[3] Používá se také při detekci a odstraňování bezpečnostních chyb zabezpečení.[4] Testovací lože LDRA je součástí sady nástrojů od LDRA, včetně:

  • TBrun - automatizovaný testování jednotky nářadí
  • TBmanager - rozšiřuje TBreq
  • TBevolve - podporuje základní správu softwaru
  • TBsafe - podporuje cíle certifikace: DO-178C, Def Stan 00-55, IEC 61508[5]
  • TBpublish - pro publikování indexů HTML
  • TBaudit - pro Microsoft Word zprávy
  • LDRAcover - nástroj pokrytí[6]
  • LDRArules - shoda s normami[7]
  • TBmisra - doplněk LDRArules k použití MISRA C: 2012 a další související nebo podobné soubory pravidel bezpečnosti a zabezpečení[5]<
  • Balíčky podpory kvalifikace nástrojů - pro pracovní postupy důležité z hlediska bezpečnosti a zabezpečení,[5] např. DO-178C

Služby

V březnu 2012 LDRA oznámila plně vyhovující FAA /EASA certifikační řešení[8] poskytovat podporu a vést žadatele o certifikaci širokou škálou standardů, včetně:

Průmyslové standardy

LDRA přispívá k několika průmyslovým standardům, včetně DO-178C,[9] MISRA C[10] a MISRA C ++.[11] LDRA je navíc průmyslovým partnerem[12] pro CERT C Standard zabezpečeného kódování[13] produkoval Tým pro reakci na nouzové situace v počítači na Carnegie Mellon je Institut softwarového inženýrství.

V únoru 2018 oznámila LDRA[14] najímání Andrew Banks za účelem posílení jejich aktivit v oblasti standardů. Banks je předsedou obou MISRA C Pracovní skupiny a BSI Testování softwaru Pracovní skupina a přispěvatel do řady národních a mezinárodních standardů v EU Softwarové inženýrství a Funkční bezpečnost zejména domén ISO 26262.

Reference

  1. ^ M. A. Hennell, Experimentální testovací stůl pro numerický software. {Já}. {Fortran}, The Computer Journal 21 (4): 333-336, @nov, 1978
  2. ^ M. A. Hennell a D. Hedley, Experimentální testovací stůl pro numerický software. {II}. {ALGOL 68}, The Computer Journal 22 (1): 53-56, @feb, 1979
  3. ^ John Binder, Testovací software: Nová hranice, Aerospace America, červen 2005, s. 30 - 31
  4. ^ Jay-Evan J. Tevis, John A. Hamilton, Metody prevence, zjišťování a odstraňování chyb zabezpečení softwaruSborník 42. výroční regionální konference o jihovýchodě ACM, str. 197-202, Huntsville, Alabama, 2004, ISBN  1-58113-870-9
  5. ^ A b C „LDRA“. Citováno 7. února 2019.
  6. ^ „Nový nástroj pro analýzu kódu vydaný společností LDRA na Design East“. Vojenské vestavěné systémy. Citováno 29. ledna 2013.
  7. ^ „DESIGN East - Kontrola pravidel programování pravidel LDRArules zajišťuje soulad s normami“. Embedded.com. Citováno 29. ledna 2013.
  8. ^ „Design West: LDRA Certification Services zefektivňuje certifikaci FAA / EASA na LDRA Certification Services zefektivňuje certifikaci FAA / EASA za pevnou cenu“. Design západ. Citováno 29. ledna 2013.
  9. ^ Tým certifikačních služeb LDRA vedl k formálnímu uznání ve Washingtonu, D.C. jako klíčového člena výboru RTCA SC-205. 30. dubna 2012 13:00 východního času (http://www.businesswire.com/news/home/20120430005629/en/RTCA-Honors-LCS-Team-Lead-Todd-R.)
  10. ^ MISRA - Asociace spolehlivosti softwaru pro automobilový průmysl - MISRA C, http://www.misra-c2.com/
  11. ^ MISRA - Asociace spolehlivosti softwaru pro automobilový průmysl - MISRA C ++, http://www.misra-cpp.com/
  12. ^ Výroční zpráva CERT Research 2008, SEI Communications, výkonný redaktor Richard Linger
  13. ^ Standard bezpečného kódování CERT, Robert C. Seacord, 14. října 2008, Addison-Wesley Professional, ISBN  0-321-56321-2.
  14. ^ ""LDRA rozšiřuje závazek k dodržování bezpečnosti a zabezpečení prostřednictvím pronájmu šampionů automobilových softwarových standardů"". Aktualizace Thomas Industry. 28. února 2018. Citováno 11. července 2018.