Abstract
| Original language | Undefined |
|---|---|
| Publisher | Centre for Telematics and Information Technology (CTIT) |
| Number of pages | 21 |
| Publication status | Published - Dec 1999 |
Publication series
| Name | CTIT Technical Report Series |
|---|---|
| No. | 99-17 |
| ISSN (Print) | 1381-3625 |
Keywords
- EWI-5961
- IR-63137
- METIS-118685
Cite this
}
Automatic Testing with Formal Methods. / Tretmans, G.J.; Belinfante, Axel.
Centre for Telematics and Information Technology (CTIT), 1999. 21 p. (CTIT Technical Report Series; No. 99-17).Research output: Book/Report › Report › Academic
TY - BOOK
T1 - Automatic Testing with Formal Methods
AU - Tretmans, G.J.
AU - Belinfante, Axel
N1 - Imported from CTIT
PY - 1999/12
Y1 - 1999/12
N2 - The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.
AB - The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on formal methods. The theory of formal testing is briefly outlined, a test tool is presented which automates both test derivation and test execution on-the-fly, and an application case study is discussed.
KW - EWI-5961
KW - IR-63137
KW - METIS-118685
M3 - Report
T3 - CTIT Technical Report Series
BT - Automatic Testing with Formal Methods
PB - Centre for Telematics and Information Technology (CTIT)
ER -