Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Holzer, C. Schallhart, M. Tautschnig, H. Veith:
"How did you specify your test suite?";
Vortrag: The 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010),
Antwerpen, Belgien;
20.09.2010
- 24.09.2010; in: "Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)",
Ch. Pecheur, J. Andrews, E. Di Nitto (Hrg.);
ACM,
(2010),
ISBN: 978-1-4503-0116-9;
S. 407
- 416.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/1858996.1859084
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.