An Introduction to Test Specification in FQL.

Journal article

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. © 2011 Springer-Verlag Berlin Heidelberg.

Authors: Holzer, A; Tautschnig, M; Schallhart, C; Veith, H

• Publisher: Springer
• Journal: Haifa Verification Conference
• Volume: 6504
• Pages: 9-22
• Publication date: 2010-01-01
• DOI: 10.1007/978-3-642-19583-9_5
• EISSN: 1611-3349
• ISSN: 0302-9743
• Language: English