%0 Conference Proceedings
%T Well-Defined Coverage Metrics for the Glass Box Test
%+ University of Stuttgart
%A Schmidberger, Rainer
%Z Part 2: Tools and Frameworks
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 26th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Madrid, Spain
%Y Mercedes G. Merayo
%Y Edgardo Montes Oca
%I Springer
%3 Testing Software and Systems
%V LNCS-8763
%P 113-128
%8 2014-09-23
%D 2014
%R 10.1007/978-3-662-44857-1_8
%K Glass Box Test
%K White Box Test
%K Structural Test
%K coverage testing
%K coverage tools
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X The Glass Box Test (GBT), also known as White Box Test or Structural Test, shows which parts of the program under test have, or have not, been executed. Many GBT tools are available for almost any programming language. Industry standards for safety-critical software require a very high or even complete coverage. At first glance, the GBT seems to be a well-established and mature testing technique that is based on standardized metrics. But on closer inspection, there are several serious shortcomings of the underlying models and metrics which lead to very imprecise, inconsistent coverage results of the various GBT tools. In this paper, a new and precise model for the GBT is presented. This model is used as a reference for the precise definition of all the popular coverage metrics that are around. The tool CodeCover which was developed in the University of Stuttgart is an implementation that strictly follows those definitions.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01405278/document
%2 https://inria.hal.science/hal-01405278/file/978-3-662-44857-1_8_Chapter.pdf
%L hal-01405278
%U https://inria.hal.science/hal-01405278
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8763
%~ IFIP-ICTSS