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.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{jisbd:2021:041,
title={{Generaci{\'o}n autom{\'a}tica de pruebas exhaustivas a partir modelos con contratos}},
author={Jos{\'e} D{\'i}az Gaspar and Paula Mu{\~n}oz and Antonio Vallecillo},
url={http://hdl.handle.net/11705/JISBD/2021/041},
booktitle={JISBD2021},
year={2021},
publisher={SISTEDES},
crossref={jisbd2021malaga}
}
@proceedings{jisbd2021malaga,
title={{Actas de las XXV Jornadas de Ingenier{\'i}a del Software y Bases de Datos (JISBD 2021)}},
editor={Abrahão Gonzales, S. },
booktitle={JISBD2021},
year={2021},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar
