Talks and Poster Presentations (with Proceedings-Entry):
A. Holzer, C. Schallhart, M. Tautschnig, H. Veith:
"How did you specify your test suite?";
Talk: The 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010),
Antwerpen, Belgien;
2010-09-20
- 2010-09-24; in: "Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)",
Ch. Pecheur, J. Andrews, E. Di Nitto (ed.);
ACM,
(2010),
ISBN: 978-1-4503-0116-9;
407
- 416.
English abstract:
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and concise in daily use, feature a precise semantics, and of course, it has to facilitate suitable engines to compute test suites and assess the coverage achieved by a test suite.
This paper introduces the language FQL designed to fit these purposes. We achieve the necessary expressive power by a natural extension of regular expressions which matches test suites rather than individual executions. To evaluate the language, we show for a list of informal requirements how to express them in FQL. Moreover, we present a test case generation engine for C programs and perform practical experiments with the sample specifications.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/1858996.1859084
Created from the Publication Database of the Vienna University of Technology.