LDRA

Liverpool Data Research Associates (LDRA)
Logotipo da LDRA
Logotipo da LDRA.
Criação 1975
Fundadores Professor Michael Hennell
A sede Liverpool Reino Unido
 
Direção Professor Michael Hennell, CEO
Atividade Qualidade de software
Produtos LDRA
Local na rede Internet ldra.com

Liverpool Data Research Associates ( LDRA ) é uma empresa inglesa e designer de um pacote de mesmo nome de ferramentas de assistência ao desenvolvimento de software, permitindo a análise de código-fonte estática e dinâmica , rastreabilidade e automação de requisitos de teste de unidade e integração .

História

A LDRA foi fundada em 1975 pelo professor da Universidade de Liverpool , Michael Hennell . O objetivo era criar um teste de software (um "  test bench  " de software "  test-bed  " em inglês, que se tornou o nome da principal ferramenta) para avaliar a qualidade da matemática das bibliotecas que utilizou durante sua pesquisa em física nuclear no University of Liverpool .

Produtos

LDRA Testbed é uma ferramenta de análise de software para análise estática e dinâmica de código-fonte, bem como revisões de código , revisões de qualidade e design e cobertura de código . É o primeiro produto a ter incluído o " LCSAJ  " (Linear Código Sequence e Jump) método de análise  , criado pelo professor Hennell durante sua pesquisa, e usado para requisitos de alta confiabilidade e robustez, como em equipamentos eletrônicos crítica. Os aviônicos . Também tem sido usado na detecção e remediação de vulnerabilidades de software. LDRA Testbed é parte do conjunto de ferramentas LDRA que contém:

Normas e padrões industriais

A LDRA participa da elaboração de diversos padrões ou padrões de qualidade de software, como DO-178C , MISRA C e MISRA C ++. A LDRA também é um parceiro industrial para o desenvolvimento seguro do padrão CERT C produzido pela Equipe de Resposta a Emergências de Computadores do Software Engineering Institute da Carnegie Mellon University .

Referências

  1. (in) MA Hennell, "  An Experimental testbed for numerical software. {EU}. {Fortran}  ” , The Computer Journal , vol.  21, n o  4,Novembro de 1978, p.  333--336 ( DOI  10.1093 / comjnl / 21.4.333 )
  2. (em) MA Hennell e D. Hedley, "  An Experimental testbed for numerical software. {II}. {ALGOL 68}  ” , The Computer Journal , vol.  22, n o  1,Fevereiro de 1979, p.  53--56 ( DOI  10.1093 / comjnl / 22.1.53 )
  3. John Binder, Software de teste: The new frontier , Aerospace America, junho de 2005, p.  30 - 31.
  4. Jay-Evan J. Tevis, John A. Hamilton, Métodos para a prevenção, detecção e remoção de vulnerabilidades de segurança de software , Proceedings of the 42nd ACM Annual Southeast Regional Conference, p.  197 - 202, Huntsville, Alabama, 2004, ( ISBN  1-58113-870-9 ) .
  5. Atas (em) da 11ª Reunião Conjunta, Grupo de Trabalho Conjunto EUROCAE 71 e Comitê Especial RTCA 205, SOFTWARE CONSIDERATIONS IN AERONAUTICAL SYSTEMS "cópia arquivada" (versão de 22 de julho de 2018 no Arquivo da Internet ) , Hartford (Connecticut) 22 de junho 2009 a 26 de junho de 2009.
  6. MISRA - Associação de confiabilidade de software da indústria de motores - MISRA C , http://www.misra-c2.com .
  7. MISRA - Associação de confiabilidade de software da indústria de motores - MISRA C ++ , http://www.misra-cpp.org .
  8. Relatório Anual de Pesquisa CERT 2008 , SEI Communications, Editor Executivo Richard Linger.
  9. CERT C Secure Coding Standard, The , Robert C. Seacord, 14 de outubro de 2008, Addison-Wesley Professional , ( ISBN  0-321-56321-2 ) .

Veja também

Artigos relacionados

Link externo