Holzer, A., Tautschnig, M., Schallhart, C., & Veith, H. (2010). An Introduction to Test Specification in FQL. In S. Barner, J. G. Harris, D. Kroening, & O. Raz (Eds.), Hardware and Software: Verification and Testing (pp. 9–22). Springer. https://doi.org/10.1007/978-3-642-19583-9_5
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.
en
Projekttitel:
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
-
Forschungsschwerpunkte:
Distributed and Parallel Systems: 10% Computer Engineering and Software-Intensive Systems: 20% Logic and Computation: 70%