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.