Abstract
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.
Original language | English |
---|---|
Title of host publication | EuroSTAR'99: 7th European International Conference on Software Testing, Analysis & Review |
Place of Publication | Galway, Ireland |
Publisher | EuroStar Conferences |
Number of pages | 21 |
Publication status | Published - 1999 |
Event | 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999 - Barcelona, Spain Duration: 8 Nov 1999 → 12 Nov 1999 Conference number: 7 |
Conference
Conference | 7th European International Conference on Software Testing, Analysis & Review, EuroSTAR 1999 |
---|---|
Abbreviated title | EuroSTAR |
Country/Territory | Spain |
City | Barcelona |
Period | 8/11/99 → 12/11/99 |
Keywords
- FMT-TESTING