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

• Autores: José Díaz Gaspar, Paula Muñoz, Antonio Vallecido
• Localización: Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla, Maider Azanza Sese, Miguel Rodríguez Luaces, M. M. Roldán García, Dolores Burgueño Caballero, José Raúl Romero Salguero, José Antonio Parejo Maestre, José Francisco Chicano García, Marcela Genero, Óscar Díaz García, José González Enríquez, María Carmen Penades Gramage; Silvia Mara Abrahao Gonzales (col.), 2021
• Idioma: español
• Enlaces
  • Texto completo
• Resumen

  • 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.