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]
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]
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 ]
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]
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:
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 ]
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]