Liverpool Data Research Associates

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Liverpool Data Research Associates (LDRA)
Privately held company
Industry Software testing
Founded 1975
Headquarters Wirral Peninsula, England
Key people
Professor Michael Hennell, CEO
Products LDRA Testbed, TBrun, TBreq, TBvision, & others
Website http://www.ldra.com

Liverpool Data Research Associates (LDRA) is a provider of software analysis,a test and requirements traceability tools for the Public and Private sectors and a pioneer in static and dynamic software analysis.

History[edit]

LDRA was founded in 1975 by Professor Michael Hennell to commercialize a software test-bed created to perform quality assessments on the mathematical libraries on which his Nuclear physics research at the University of Liverpool depended.[1][2]

Products[edit]

LDRA Testbed is a proprietary software analysis tool providing static code analysis, and also provides code coverage analysis, code, quality, and design reviews. It is a commercial implementation of the software test-bed created by Hennell as part of his university research. It was the first commercial product to include support for the Linear Code Sequence and Jump software analysis method, which resulted from the same research. It is used primarily where software is required to be reliable, rugged, and as error free as possible, such as in safety critical aerospace electronics (or Avionics).[3] It has also been used in the detection and removal of security vulnerabilities.[4] LDRA Testbed is a part of a tool suite from LDRA, including:

  • TBrun - an automated unit testing tool
  • TBreq - a requirements traceability tool
  • TBmanager - extends TBreq
  • TBevolve - supports software baseline management
  • TBsafe - for DO-178B certification
  • TBpublish - for publishing HTML indexes
  • TBaudit - for Microsoft Word reports
  • LDRAcover - coverage tool[5]
  • LDRArules - standards compliance[6]
  • DO-178B and DO-178C Tool Qualification

Services[edit]

In March 2012, LDRA announced a fully compliant FAA/EASA certification solution[7] to provide support and guide certification applicants through a wide range of standards including:

Industry Standards[edit]

LDRA is a contributor to several industry standards, including DO-178C,[8] MISRA C[9] and MISRA C++.[10] Additionally, LDRA is an Industry Partner[11] for the CERT C Secure Coding Standard[12] produced by the Computer Emergency Response Team at Carnegie Mellon's Software Engineering Institute.

References[edit]

  1. ^ M. A. Hennell, An experimental testbed for numerical software. {I}. {Fortran}, The Computer Journal 21(4):333--336, @nov, 1978
  2. ^ M. A. Hennell and D. Hedley, An experimental testbed for numerical software. {II}. {ALGOL 68}, The Computer Journal 22(1):53--56, @feb, 1979
  3. ^ John Binder, Testing software: The new frontier, Aerospace America, June 2005, pp 30 - 31
  4. ^ Jay-Evan J. Tevis, John A. Hamilton, Methods for the prevention, detection and removal of software security vulnerabilities, Proceedings of the 42nd ACM annual Southeast regional conference, pp 197 - 202, Huntsville, Alabama, 2004, ISBN 1-58113-870-9
  5. ^ "New code analysis tool released by LDRA at Design East". Military Embedded Systems. Retrieved 29 January 2013. 
  6. ^ "DESIGN East - LDRArules programming rule checker assures standards compliance". Embedded.com. Retrieved 29 January 2013. 
  7. ^ "Design West: LDRA Certification Services streamlines FAA/EASA certification at LDRA Certification Services streamlines FAA/EASA certification at a fixed price". Design West. Retrieved 29 January 2013. 
  8. ^ LDRA Certification Services team lead to be formally recognized in Washington, D.C. as a key member of the RTCA SC-205 Committee. April 30, 2012 01:00 PM Eastern Time (http://www.businesswire.com/news/home/20120430005629/en/RTCA-Honors-LCS-Team-Lead-Todd-R.)
  9. ^ MISRA - The Motor Industry Software Reliability Association - MISRA C, http://www.misra-c2.com/
  10. ^ MISRA - The Motor Industry Software Reliability Association - MISRA C ++, http://www.misra-cpp.com/
  11. ^ CERT Research Annual Report 2008, SEI Communications, Executive Editor Richard Linger
  12. ^ CERT C Secure Coding Standard, The, Robert C. Seacord, Oct 14, 2008, Addison-Wesley Professional, ISBN 0-321-56321-2.