stringtranslate.com

LDRA

LDRA , anteriormente conocida como Liverpool Data Research Associates , es una empresa privada que produce herramientas de análisis, prueba y trazabilidad de requisitos de software para los sectores público y privado. Se dedica al análisis estático y dinámico de software. [1]

Historia

Liverpool Data Research Associates fue fundada en 1975 por el profesor Michael Hennell para comercializar un banco de pruebas de software creado para realizar evaluaciones de calidad en las bibliotecas matemáticas de las que dependía su investigación en física nuclear en la Universidad de Liverpool . [2] [3] Esta investigación incluyó la invención del método de análisis de software Linear Code Sequence and Jump (LCSAJ). [4]

Productos

Conjunto de herramientas LDRA

La suite de herramientas LDRA es una herramienta de análisis de software patentada que proporciona análisis de código estático , además de análisis de cobertura de código , revisión de código, calidad y diseño. Es una implementación comercial del banco de pruebas de software creado por Hennell como parte de su investigación universitaria. [ cita requerida ]

Se utiliza principalmente cuando se requiere que el software sea confiable, resistente y lo más libre de errores posible, como en la electrónica aeroespacial (o aviónica ) crítica para la seguridad. [5] También se ha utilizado en la detección y eliminación de vulnerabilidades de seguridad. [6]

LDRA tool suite es un conjunto integrado de herramientas de software de LDRA, que incluye: [ cita requerida ]

Banco de pruebas LDRA

LDRA Testbed era [ cita requerida ] un conjunto de motores de análisis estático y dinámico tanto para el software host como para el integrado. LDRA Testbed está creado por Liverpool Data Research Associates (LDRA). [10] LDRA Testbed proporciona los medios para hacer cumplir el cumplimiento de los estándares de codificación como MISRA , JSF++ AV, CERT C , CWE y proporciona visibilidad de fallas de software que normalmente podrían pasar por el proceso de compilación y prueba estándar para convertirse en problemas latentes. Además, se proporciona retroalimentación de la efectividad de las pruebas a través de instalaciones de informes de análisis de cobertura estructural, que respaldan los requisitos del estándar DO-178B hasta el Nivel A inclusive . [ cita requerida ]

LDRA Testbed verifica automáticamente el cumplimiento de los estándares de programación con análisis estático. LDRA Testbed informa las violaciones del conjunto de estándares elegido tanto en informes de texto como en forma de anotaciones en pantallas gráficas. Incluye un módulo de análisis de cobertura dinámica. LDRA Testbed tiene un desglose de métricas de calidad de software (por ejemplo, complejidad de Halstead , complejidad ciclomática , métrica de Knots) a partir del análisis estático. [ cita requerida ]

Algunas empresas que utilizan productos LDRA incluyen MathWorks , que ha integrado sus herramientas Simulink , [11] así como IBM Rational Rose [12] y Wind River . [13]

Verificación de la FAA/EASA

En marzo de 2012, LDRA anunció una solución de certificación FAA / EASA totalmente compatible [14] para brindar apoyo y guiar a los solicitantes de certificación a través de una amplia gama de estándares que incluyen:

Polémica por el control del lanzamiento de la Fórmula 1

Tras el Gran Premio de San Marino de 1994 , una carrera de Fórmula 1 , la Federación Internacional del Automóvil (FIA) contrató a LDRA [15] para investigar las acusaciones de trampas. Estas implicaban ayudas a la conducción que habían sido prohibidas a principios de año, como  el control de tracción  y  el control de lanzamiento . Los tres mejores coches de  Michael Schumacher ( Benetton ),  Nicola Larini ( Ferrari ) y  Mika Häkkinen  ( McLaren ) fueron investigados y se pidió a sus equipos que entregaran el código fuente de sus sistemas a la empresa. Ferrari cumplió, pero Benetton y McLaren se negaron, citando razones de derechos de autor. Después de ser multados con 100.000 dólares por la FIA, ambos equipos cumplieron ocho días después de la carrera. LDRA descubrió que McLaren estaba ejecutando un programa que permitía  cambios de marcha automáticos ,  pero el coche fue declarado legal. [16]

Se descubrió que el coche ganador de Benetton-Ford tenía un software de control de lanzamiento en su computadora de gestión del motor, diseñado para regular la velocidad del motor y evitar que las ruedas patinaran. Benetton admitió su presencia, pero afirmó que no se utilizó durante la carrera, afirmando que se agregó para realizar pruebas y se dejó allí debido a las presiones de la carga de trabajo. LDRA concluyó que probablemente el software no se utilizó durante el Gran Premio, lo que llevó a la FIA a no tomar medidas contra Benetton o Schumacher. [17] El incidente subrayó las preocupaciones sobre el software prohibido en la Fórmula 1 y los desafíos de hacer cumplir las regulaciones en el panorama cambiante de la tecnología de gestión del motor. [ cita requerida ]

Estándares de la industria

LDRA contribuye a varios estándares de la industria, incluidos DO-178C , [18] MISRA C [19] y MISRA C++. [20] Además, LDRA es un socio industrial [21] para el estándar de codificación segura CERT C [22] producido por el Equipo de Respuesta a Emergencias Informáticas del Instituto de Ingeniería de Software de Carnegie Mellon . [ cita requerida ]

En septiembre de 2012, la rama estadounidense de LDRA se unió al Consorcio Future Airborne Capability Environment (FACE) de The Open Group como Autoridad de Verificación. [23]

Referencias

  1. ^ "LDRA". Manual de ingeniería de software de la NASA . 13 de julio de 2018.
  2. ^ MA Hennell, Un banco de pruebas experimental para software numérico. {I}. {Fortran} , The Computer Journal 21(4):333--336, @nov, 1978
  3. ^ MA Hennell y D. Hedley, Un banco de pruebas experimental para software numérico. {II}. {ALGOL 68} , The Computer Journal 22(1):53--56, @feb, 1979
  4. ^ MA Hennell, MR Woodward y D. Hedley, "Sobre el análisis de programas", Information Processing Letters, 5(5), págs. 136-140, 1976
  5. ^ John Binder, Pruebas de software: la nueva frontera , Aerospace America, junio de 2005, págs. 30 y 31
  6. ^ Jay-Evan J. Tevis, John A. Hamilton, Métodos para la prevención, detección y eliminación de vulnerabilidades de seguridad del software , Actas de la 42.ª conferencia regional anual del sudeste de la ACM, págs. 197-202, Huntsville, Alabama, 2004, ISBN 1-58113-870-9 
  7. ^ abc "LDRA" . Consultado el 7 de febrero de 2019 .
  8. ^ "Nueva herramienta de análisis de código lanzada por LDRA en Design East". Military Embedded Systems . Consultado el 29 de enero de 2013 .
  9. ^ "DESIGN East - El verificador de reglas de programación LDRArules garantiza el cumplimiento de los estándares". Embedded.com . Consultado el 29 de enero de 2013 .
  10. ^ Hennell, Michael (1978). "Experimental testbed for numerical software" (Banco de pruebas experimental para software numérico). The Computer Journal . Consultado el 16 de octubre de 2011 .[ enlace muerto permanente ]
  11. ^ Hughes, Janice (2011). "LDRA Ltd y MathWorks unen fuerzas para integrar productos con el fin de proporcionar verificación independiente y reducir los costos de desarrollo integrado". LDRA. Archivado desde el original el 18 de enero de 2013. Consultado el 13 de octubre de 2009 .
  12. ^ Mcconnel, Toni (2008). "LDRA integra el conjunto de herramientas con IBM Rational Rose RealTime MDDE". Wirral, Reino Unido: EE Times. Archivado desde el original el 28 de agosto de 2011. Consultado el 12 de noviembre de 2011 .
  13. ^ "LDRA integra el conjunto de herramientas con IBM Rational Rose RealTime MDDE". WindRiver . Consultado el 14 de noviembre de 2011 .
  14. ^ "Design West: LDRA Certification Services agiliza la certificación FAA/EASA en LDRA Certification Services agiliza la certificación FAA/EASA a un precio fijo". Design West . Consultado el 29 de enero de 2013 .
  15. ^ "Que gane el mejor coche". New Scientist . Septiembre de 1994 . Consultado el 7 de mayo de 2024 .
  16. ^ "Benetton Launch Control". Motorsport.com. 25 de marzo de 1995. Consultado el 7 de mayo de 2024 .
  17. ^ "Benetton en el banquillo". Revista Motorsport. 8 de mayo de 1994. Consultado el 7 de mayo de 2024 .
  18. ^ El líder del equipo de Servicios de Certificación LDRA será reconocido formalmente en Washington, DC como miembro clave del Comité SC-205 de RTCA. 30 de abril de 2012 13:00 hora del Este (http://www.businesswire.com/news/home/20120430005629/en/RTCA-Honors-LCS-Team-Lead-Todd-R.)
  19. ^ MISRA - Asociación de confiabilidad del software de la industria automotriz - MISRA C , http://www.misra-c2.com/
  20. ^ MISRA - Asociación de confiabilidad del software de la industria automotriz - MISRA C++ , http://www.misra-cpp.com/
  21. ^ Informe anual de investigación de CERT 2008 , SEI Communications, editor ejecutivo Richard Linger
  22. ^ CERT C Estándar de codificación segura, Robert C. Seacord, 14 de octubre de 2008, Addison-Wesley Professional, ISBN 0-321-56321-2
  23. ^ "Autoridades de verificación aprobadas por FACE". The Open Group . Consultado el 8 de agosto de 2023 .