Resumen de Generación automática de pruebas exhaustivas a partir modelos con contratos

José Díaz Gaspar, Paula Muñoz, Antonio Vallecido

• La complejidad de los sistemas ciberfísicos hacen necesario mejores sistemas de prueba, y en particular su automatización. Este articulo propone el uso de las Pruebas basadas en modelos para la generación automática de pruebas exhaustivas a partir de las pre- y postcondiciones de las operaciones, y de sus invariantes.