Verifiable Coverage Criteria for Automated Testing
Abstract
A key question for system testing of a software product is how to determine that the semantics of its requirements is adequately realized in the given implementation, or alternatively to find a series of concrete counter-examples demonstrating the violation of (a) particular requirement(s). an adequate test suite will aid in this determination. This paper formulates three types of requirements coverage criteria to establish the adequacy of a test suite. the suggested approach to system testing was validated in a number of medium and large size industrial projects. © 2011 Springer-Verlag.
Recommended Citation
S. Baranov et al., "Verifiable Coverage Criteria for Automated Testing," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7083 LNCS, pp. 79 - 89, Springer, Dec 2011.
The definitive version is available at https://doi.org/10.1007/978-3-642-25264-8_8
Department(s)
Computer Science
Keywords and Phrases
integration testing and verification; requirement coverage; Requirements verification
International Standard Book Number (ISBN)
978-364225263-1
International Standard Serial Number (ISSN)
1611-3349; 0302-9743
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Springer, All rights reserved.
Publication Date
23 Dec 2011
