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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beizer, B.: Software Testing Techniques. ITP (1990)
Humphry, W.S.: Managing the Software Process. Addison-Wesley, Reading (1990)
Baranov, S.N., Drobintsev, P.D., Kotlyarov, V.P., Letichevsky, A.A.: The Technology of Automated Verification and Testing in Industrial Projects. In: Proc. IEEE Russia Northwest Section, 110 Anniversary of Radio Invention Conference, pp. 81–90. IEEE Press, St.Petersburg (2005)
Baranov, S., Kotlyarov, V., Letichevsky, A.: An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications. In: Proc. Region 8 Eurocon 2009 Conference, pp. 122–129. IEEE Press, St.Petersburg (2009)
Baranov, S., Kapitonova, J., Letichevsky, A., Volkov, V., Weigert, T.: Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications. Computer Networks 49(5), 661–675 (2005)
Recommendation ITU-T Z.151 User requirements notation (URN) – Language Definition (2008)
Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky, O.O., Volkov, V.V., Baranov, S.N., Weigert, T.: Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications. In: Proc of ISSRE 2004 Workshop on Integrated Reliability Engineering (ISSRE 2004:WITUL), IRISA, Rennes France (2004)
Carel, M.: C0, C1 and C2 Coverage, http://dev-logger.blogspot.com/2008/06/c0-c1-and-c2-coverage.html
Nogueira, S., Sampaio, A., Mota, A.M.: Guided Test Generation from CSP Models. In: Fitzgerald, J.S., Haxthausen, A.E., Yenigun, H. (eds.) ICTAC 2008. LNCS, vol. 5160, pp. 258–273. Springer, Heidelberg (2008)
Potiyenko, S.V.: Methods of Direct and Reverse System Symbolic Modeling with Basic Protocols. Problems of Programming 4, 39–44 (2008) (in Russian)
Amyot, D., Weiss, M., Logrippo, L.: Generation of Test Purposes from Use Case Maps. Computer Networks 49(5), 643–660 (2005)
Hassine, J., Rilling, J., Dssouli, R.: Use Case Maps as a property specification language. Software and Systems Modeling 8(2), 205–220 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baranov, S., Kotlyarov, V., Weigert, T. (2011). Verifiable Coverage Criteria for Automated Testing. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)