<div class="csl-bib-body">
<div class="csl-entry">Holzer, A., Tautschnig, M., Schallhart, C., & Veith, H. (2010). An Introduction to Test Specification in FQL. In S. Barner, J. G. Harris, D. Kroening, & O. Raz (Eds.), <i>Hardware and Software: Verification and Testing</i> (pp. 9–22). Springer. https://doi.org/10.1007/978-3-642-19583-9_5</div>
</div>
-
dc.identifier.isbn
9783642195839
-
dc.identifier.isbn
9783642195822
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/53698
-
dc.description.abstract
In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test
specifications and test generation engines. We believe that establishing a common language for test criteria will have similar benefits to testing as temporal logic had to model checking and SQL had to databases.
The main challenge was to find a specification language which is expressive, simple, and precise. This paper gives an introduction to the test specification language FQL and its tool environment.
en
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
An Introduction to Test Specification in FQL
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Hardware and Software: Verification and Testing
-
dc.relation.isbn
978-3-642-19582-2
-
dc.relation.doi
10.1007/978-3-642-19583-9
-
dc.relation.issn
0302-9743
-
dc.description.startpage
9
-
dc.description.endpage
22
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
6504
-
tuw.booktitle
Hardware and Software: Verification and Testing
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.project.title
FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Distributed and Parallel Systems
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
10
-
tuw.researchTopic.value
20
-
tuw.researchTopic.value
70
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
