Behaviour Abstraction Coverage as Black-Box Adequacy Criteria

Hernan Czemerinski, Victor Braberman, Sebastian Uchitel
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their intended protocols is an important and challenging problem. In this paper we propose and study experimentally conformance testing adequacy criteria based on covering an abstraction of the intended
more » ... the intended behavior's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence the results may be of use to black box conformance testing approaches in general. Experimental results show that the criterion is a good predictor for conformance failure detection and for classical structural coverage criteria such as code and branch coverage.
doi:10.1109/icst.2013.22 dblp:conf/icst/CzemerinskiBU13 fatcat:2pw7t2vj7zhmnlvk2hnosepa3a