This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniques with respect to the previously employed structural coverage based testing
Model based testing and abstract interpretation in the railway signaling context
Fantechi A;Ferrari A;
2010
Abstract
This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniques with respect to the previously employed structural coverage based testingFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_92141-doc_131659.pdf
solo utenti autorizzati
Descrizione: Model based testing and abstract interpretation in the railway signaling context
Tipologia:
Versione Editoriale (PDF)
Dimensione
281.71 kB
Formato
Adobe PDF
|
281.71 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
