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 regu...Expand abstract
- Publisher copy:
- Copyright date:
How did you specify your test suite.
If you are the owner of this record, you can report an update to it here: Report update to this record