Academic
Publications
How did you specify your test suite

How did you specify your test suite,10.1145/1858996.1859084,Andreas Holzer,Christian Schallhart,Michael Tautschnig,Helmut Veith

How did you specify your test suite   (Citations: 6)
BibTex | RIS | RefWorks Download
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.
Conference: Automated Software Engineering - ASE , pp. 407-416, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: