Hispanopedia Wiki
Articulo de referencia

LDRA

LDRA , anteriormente conocida como Liverpool Data Research Associates , era una empresa privada hasta que fue adquirida por TASKING en 2025 [ 1 ] . Producía herramientas de anál...

Hispanopedia WikiContenido en espanolLectura gratuita

LDRA , anteriormente conocida como Liverpool Data Research Associates , era una empresa privada hasta que fue adquirida por TASKING en 2025 [ 1 ] . Producía herramientas de análisis de software, pruebas y trazabilidad de requisitos para los sectores público y privado para realizar análisis de software estáticos y dinámicos . [ 2 ]

Historia

Liverpool Data Research Associates fue fundada en 1975 por el profesor Michael Hennell para comercializar una plataforma de pruebas de software creada 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 . [ 3 ] [ 4 ] Esta investigación incluyó la invención del método de análisis de software Secuencia de Código Lineal y Salto (LCSAJ). [ 5 ]

Productos

Conjunto de herramientas LDRA

El conjunto de herramientas LDRA es una herramienta de análisis de software propietaria que proporciona análisis de código estático , así como análisis de cobertura de código y revisiones de código, calidad y diseño. Se trata de una implementación comercial de la plataforma de pruebas de software creada por Hennell como parte de su investigación universitaria.

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

Banco de pruebas LDRA

LDRA Testbed era un conjunto de motores de análisis estático y dinámico básicos para software tanto de host como embebido. LDRA Testbed es desarrollado por Liverpool Data Research Associates (LDRA). [ 8 ] LDRA Testbed proporciona los medios para garantizar el cumplimiento de estándares de codificación como MISRA , JSF++ AV, CERT C , CWE y ofrece visibilidad de fallos de software que normalmente podrían pasar desapercibidos en el proceso estándar de compilación y prueba, convirtiéndose en problemas latentes. Además, se proporciona retroalimentación sobre la efectividad de las pruebas mediante herramientas de informes de análisis de cobertura estructural, que cumplen con los requisitos del estándar DO-178B hasta el Nivel A inclusive.

LDRA Testbed verifica automáticamente el cumplimiento de los estándares de programación mediante análisis estático. LDRA Testbed informa sobre las infracciones del conjunto de estándares seleccionado tanto en informes de texto como en anotaciones a las representaciones gráficas. Incluye un módulo de análisis de cobertura dinámica. LDRA Testbed ofrece un desglose de las métricas de calidad del software (por ejemplo, complejidad de Halstead , complejidad ciclomática , métrica de Knots) a partir del análisis estático.

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

Verificación FAA/EASA

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

Controversia sobre el control de lanzamiento en la Fórmula Uno

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 [ 13 ] para investigar las acusaciones de trampas. Estas involucraban ayudas a la conducción que habían sido prohibidas al comienzo del año, como el control de tracción y el control de lanzamiento . Los tres primeros coches de Michael Schumacher ( Benetton ), Nicola Larini ( Ferrari ) y Mika Häkkinen ( McLaren ) fueron investigados y se les pidió a sus equipos que entregaran el código fuente de sus sistemas a la empresa. Ferrari accedió, pero Benetton y McLaren se negaron, alegando motivos de derechos de autor. Después de ser multados con 100.000 dólares por la FIA, ambos equipos accedieron ocho días después de la carrera. LDRA descubrió que McLaren estaba utilizando un programa que permitía cambios de marcha automáticos, pero el coche fue declarado legal. [ 14 ]

Se descubrió que el coche ganador Benetton-Ford tenía un software de control de lanzamiento en su ordenador de gestión del motor, diseñado para regular la velocidad del motor y evitar el patinaje de las ruedas. Benetton admitió su presencia, pero afirmó que no se utilizó durante la carrera, alegando que se añadió para realizar pruebas y se dejó allí debido a la presión de la carga de trabajo. La LDRA concluyó que probablemente el software no se utilizó durante el Gran Premio, por lo que la FIA no tomó ninguna medida contra Benetton ni contra Schumacher. [ 15 ]

Estándares de la industria

LDRA es un contribuyente a varios estándares de la industria, incluidos DO-178C , [ 16 ] MISRA C [ 17 ] y MISRA C++. [ 18 ] Además, LDRA es un socio de la industria [ 19 ] para el estándar de codificación segura CERT C [ 20 ] producido por el Computer Emergency Response Team en el Software Engineering Institute de Carnegie Mellon .

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. [ 21 ]

Referencias

  1. ↑ "TASKING adquiere LDRA" . 12 de febrero de 2025.
  2. ↑ "LDRA" . Manual de ingeniería de software de la NASA . 13 de julio de 2018.
  3. ↑ MA Hennell, Un banco de pruebas experimental para software numérico. {I}. {Fortran} , The Computer Journal 21(4):333--336, @nov, 1978
  4. ↑ 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
  5. ↑ MA Hennell, MRWoodward y D.Hedley, "Sobre el análisis de programas", Information Processing Letters, 5(5), pp. 136 – 140, 1976
  6. ↑ John Binder, Pruebas de software: La nueva frontera , Aerospace America, junio de 2005, págs. 30-31
  7. ↑ Jay-Evan J. Tevis, John A. Hamilton, Métodos para la prevención, detección y eliminación de vulnerabilidades de seguridad de software , Actas de la 42.ª conferencia regional anual del sureste de la ACM, págs. 197-202, Huntsville, Alabama, 2004, ISBN 1-58113-870-9
  8. ↑ Hennell, Michael (1978). "Banco de pruebas experimental para software numérico" . The Computer Journal . Recuperado el 16 de octubre de 2011 .{{cite web}}: CS1 maint: servicio de archivado obsoleto ( enlace )
  9. ↑ Hughes, Janice (2011). "LDRA Ltd y MathWorks unen fuerzas para integrar productos que proporcionen verificación independiente y reduzcan los costos de desarrollo de sistemas embebidos" . LDRA . Consultado el 13 de octubre de 2009 .{{cite web}}: CS1 maint: servicio de archivado obsoleto ( enlace )
  10. ↑ Mcconnel, Toni (2008). "LDRA integra el conjunto de herramientas con IBM Rational Rose RealTime MDDE" . Wirral, Reino Unido: EE Times. Archivado del original el 28 de agosto de 2011. Recuperado el 12 de noviembre de 2011 .
  11. ↑ "LDRA integra su conjunto de herramientas con IBM Rational Rose RealTime MDDE" . WindRiver . Consultado el 14 de noviembre de 2011 .
  12. ↑ "Design West: LDRA Certification Services simplifica la certificación FAA/EASA a un precio fijo" . Design West . Consultado el 29 de enero de 2013 .
  13. ↑ "Que gane el mejor coche" . New Scientist . Septiembre de 1994. Consultado el 7 de mayo de 2024 .
  14. ↑ "Benetton Launch Control" . Motorsport.com. 25 de marzo de 1995. Consultado el 7 de mayo de 2024 .
  15. ↑ "Benetton en el banquillo" . Motorsport Magazine. 8 de mayo de 1994. Consultado el 7 de mayo de 2024 .
  16. ↑ El líder del equipo de Servicios de Certificación de LDRA será reconocido formalmente en Washington, D.C. como miembro clave del Comité RTCA SC-205. 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 ).
  17. ↑ MISRA - La Asociación de Confiabilidad del Software de la Industria Automotriz - MISRA C , http://www.misra-c2.com/
  18. ↑ MISRA - La Asociación de Confiabilidad de Software de la Industria Automotriz - MISRA C++ , http://www.misra-cpp.com/
  19. ↑ Informe anual de investigación de CERT 2008 , SEI Communications, editor ejecutivo Richard Linger
  20. ↑ CERT C Secure Coding Standard, The , Robert C. Seacord, 14 de octubre de 2008, Addison-Wesley Professional, ISBN 0-321-56321-2.
  21. ↑ "Autoridades de verificación aprobadas por FACE" . The Open Group . Consultado el 8 de agosto de 2023 .