Comparison of object-oriented software and EFSM specifications for testing coverage criteria
Ruilian Zhao · Journal of Tsinghua University(Science and Technology) · 2011
The testing coverage criteria are important in software testing.Studies in coverage criteria have mostly focused on the program code or specifications,rarely considering both together.Moreover,object-oriented software criteria and extended finite state machine(EFSM) specifications have been more widely used.This paper combined them to develop two testing coverage criteria by extending existing testing coverage criteria.Then,an axiomatic assessment is carried out for the object-oriented program-based and EFSM specification-based testing coverage criteria.The coverage criteria based on the specifications are related to the coverage criteria based on object-oriented programs.Instructions for selecting testing criteria are given for software testers.