Comparison Of Object-Oriented Software And EFSM Specification Testing Coverage Criteria

Software products have been applied to every domain of social lives, and people have attached more and more importance to quality of software products. Software testing is taking more and more shares through the entire development cycle as a primary means to assure the quality of software products, too. With the software testing technology widely used, the number of testing coverage criteria is increasing all the time. It's an urgent problem to be solved that how to choose an appropriate coverage criterion and get a tradeoff between limited testing resources and testing quality.Now, existing research on software testing coverage criteria have mostly started from program code or software specification, and rarely considered the two sides together. Moreover, the object-oriented technology is being widely used in the software development and replacing the traditional procedure-oriented software development technology step by step. Meanwhile, along with promotion and application of formal specification, software testing based on specification is gaining more and more attention in the science field and the industry field. EFSM (Extended Finite State Machine) is a software depiction specification in common use, and can more accurately describe the dynamic behavior of software systems, so it has an expansive application foreground.Thus, this paper starts from object-oriented program code and EFSM specification, analyses and compares the existing testing coverage criteria, gives two new testing coverage criteria:object-oriented program code-based basic MM(Method/Message) path coverage criterion and EFSM specification-based basic transition path coverage criterion, and extends the existing testing coverage criteria. Then this paper does axiomatic assessment of object-oriented program-based and EFSM specification-based testing coverage criteria. Finally, through experiments this paper gets a group of subsumptions, validates the conclusions of axiomatic assessment, gives some corresponding relations among testing coverage criteria based on EFSM specification and testing coverage criteria based on object-oriented program, and gives some instructions on selection of testing criteria to software testers.