Abstract | ||
---|---|---|
In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test specifications and test generation engines. We believe that establishing a common language for test criteria will have similar benefits to testing as temporal logic had to model checking and SQL had to databases. The main challenge was to find a specification language which is expressive, simple, and precise. This paper gives an introduction to the test specification language FQL and its tool environment. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-19583-9_5 | Haifa Verification Conference |
Keywords | Field | DocType |
test specification,common language,model checking,specification language,new framework,test generation engine,test criterion,main challenge,white-box testing,test specification language fql,separation of concern,temporal logic | Test suite,SQL,Specification language,Model checking,Programming language specification,Programming language,Computer science,Separation of concerns,Language Of Temporal Ordering Specification,Temporal logic | Conference |
Volume | ISSN | Citations |
6504 | 0302-9743 | 6 |
PageRank | References | Authors |
0.44 | 29 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andreas Holzer | 1 | 197 | 13.62 |
Michael Tautschnig | 2 | 425 | 25.84 |
Christian Schallhart | 3 | 1137 | 56.06 |
Helmut Veith | 4 | 2476 | 140.58 |