D-MINT

Objetivos del proyecto

El proyecto D-MINT pretende combinar durante la generación de las pruebas, varios aspectos y modelos del sistema, potencialmente heterogéneos. La integración de dichos aspectos y modelos es especialmente importante en sistemas en los que unas partes se han desarrollado en software y otras en hardware, o para sistemas que han sido desarrollados por diferentes proveedores con componentes estándares comerciales.

Llamaremos a este nuevo enfoque “architecture driven model-based testing”.

SQS proporciona su experiencia en soluciones y servicios para el aseguramiento de la calidad del software, y verificación y validación de sistemas, reflejado a través de su participación en el proyecto y su interés en la creación de soluciones de soporte al desarrollo de software embebido.

¿Por qué es necesario D-MINT?

 

El término model-based testing (métodos de pruebas basados en modelos) se refiere a las pruebas de software donde los casos de prueba se derivan, completamente o en parte, de un modelo que describe aspectos seleccionados, a menudo estructurales y funcionales, y en algunos casos no funcionales, del sistema que se prueba. Además, las propias pruebas pueden ser modeladas, analizadas, validadas y cuantificadas con respecto a tus capacidades de detección de errores, la cobertura del sistema, y aspectos similares.

En la actualidad, los enfoques existentes en métodos de pruebas basados en modelos no son válidos a escala industrial y están limitados a unos cuantos aspectos seleccionados del modelo del sistema, como modelos estructurales o de comportamiento, modelos de sistemas homogéneos, por ejemplo, únicamente modelos UML o MATLAB/Simulink.

Sin embargo, un sistema de software intensivo, habitualmente está desarrollado como una composición de varios componentes software, componentes eléctricos y/o componentes mecánicos, y cada uno de ellos utiliza técnicas de modelación diferentes. Además, los requisitos individuales de cada componente del sistema deben ser consistentes entre todos ellos y el resultado final de la integración de todos debe cumplir los requisitos generales del sistema.

Consorcio del proyecto

  • Logica
  • Improve
  • LaQuSo
  • CWI
  • Alstom
  • Pro Rail
  • Movares
  • ETSI
  • Datapixel
  • Trimek
  • Ideko
  • Asociación Innovalia
  • Soraluce
  • SQS
  • Nokia
  • VTT
  • NetHawk
  • Conformiq
  • Daimler Chrysler
  • Piketec
  • ABB
  • Testing Technologies
  • Fraunhofer
  • Inspire
  • iXtronics
  • IESE
Certificaciones

UNE-EN ISO/IEC 17025

ISO 9001

ISO 20000

ISO/IEC 27001

Suscríbete a nuestro Newsletter
Síguenos

Aviso Legal | Política de Cookies | Contacto
© 2022 Software Quality Systems S.A. | SQS is a member company of Innovalia