Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Holzer, C. Schallhart, M. Tautschnig, H. Veith:
"An Introduction to Test Specification in FQL";
Vortrag: Haifa Verification Conference,
Haifa, Israel;
05.10.2010
- 07.10.2010; in: "Lecture Notes in Computer Science",
S. Barner, J.G. Harris, D. Kroening, O. Raz (Hrg.);
Springer,
6504
(2010),
ISSN: 0302-9743;
S. 9
- 22.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-19583-9
Zugeordnete Projekte:
Projektleitung Helmut Veith:
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.