We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to deal explicitly with time measures. We describe an interactive tool that has been built to implement these techniques, based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to reduce drastically the size of the test cases that are generated. Experience in the use of the tool on real-life cases is reported.

Generating test cases for real-time systems from logic specification

MORASCA, SANDRO;
1995-01-01

Abstract

We address the problem of automated derivation of functional test cases for real-time systems, by introducing techniques for generating test cases from formal specifications written in TRIO, a language that extends classical temporal logic to deal explicitly with time measures. We describe an interactive tool that has been built to implement these techniques, based on interpretation algorithms of the TRIO language. Several heuristic criteria are suggested to reduce drastically the size of the test cases that are generated. Experience in the use of the tool on real-life cases is reported.
1995
Design; verification; automated tools; first-order logic; formal specifications; functional testing; real-time; software requirements; temporal logic; test case; test oracle
Mandrioli, D.; Morasca, Sandro; Morzenti, A.
File in questo prodotto:
File Dimensione Formato  
TOCS1995MandrioliMorascaMorzenti-p365.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: DRM non definito
Dimensione 2.26 MB
Formato Adobe PDF
2.26 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1759587
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 109
  • ???jsp.display-item.citation.isi??? 74
social impact