I+D - D_Mint
Objetivos del proyecto:
El proyecto D-MINT pretende combinar durante la generación de las pruebas varios aspectos
del sistema y varios modelos del sistema, potencialmente heterogéneos. La integración de diferentes aspectos y modelos del sistema 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, reflejando 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 en todo 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 sus 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 validos 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:
Enlaces
Persona de contact en el proyecto: Rubén Rodríguez- rrodriguez@sqs.es
Más información acerca del proyecto:www.d-mint.org/
- Copyright © 2010 Software Quality Systems S.A.
- SQS S.A. forma parte de Innovalia - www.innovalia.com
