CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn this paper we introduce a new automata based test generation algorithm implemented in SPECPRO, our library for supporting analysis and development of formal requirements in cyber-physical systems. We consider specifications written in Linear Temporal Logic (LTL) from which we extract automatically trap properties representing the expected behaviour of the system under development. With respect to manual generation, the main advantage of SPECPRO is that it frees the developer from the burden of generating tests in order to achieve stated coverage targets. Our goal is to have SPECPRO handle specifications of small-but-critical components in an effective way.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | Automata based test generation with SpecPro | |
| Autori: | ||
| Data di pubblicazione: | 2019 | |
| Handle: | http://hdl.handle.net/11388/239899 | |
| ISBN: | 978-1-7281-2274-8 | |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11388/239899
Copyright © 2021