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.

-- Daniel Amyot - 15 Feb 2012


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

Form For Virtual Library edit

Title Test Automation with Verifiable Coverage Criteria
Authors S. Baranov, V. Kotlyarov, and T. Weigert
Type Conference
Conference/Journal Title SDL 2011: Integrating System and Software Modeling
Volume/Number LNCS 7083
Editors I. Ober and I. Ober
Publisher Springer-Verlag
Month July
Year 2011
Pages 79-89
DOI 10.1007/978-3-642-25264-8_8
Keywords Requirements verification, requirement coverage, integration testing and verification, UCM
Topic revision: r1 - 15 Feb 2012 - 07:58:37 - Daniel Amyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback