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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1145/1858996.1859084 | ASE |
Keywords | Field | DocType |
practical experiment,individual execution,daily use,necessary expressive power,c program,test case generation engine,informal requirement,adequate language,test suite,natural extension,expressive power,regular expression,coverage,source code | Test suite,Code coverage,Regular expression,Programming language,Source code,Computer science,Test case,Expressive power,Semantics,Debugging | Conference |
Citations | PageRank | References |
15 | 0.58 | 22 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andreas Holzer | 1 | 197 | 13.62 |
Christian Schallhart | 2 | 1137 | 56.06 |
Michael Tautschnig | 3 | 425 | 25.84 |
Helmut Veith | 4 | 2476 | 140.58 |