A Guided Approach to Prioritize Object-Oriented Test Suites Using MC/DC Testing

摘要

Concolic testing is used to prioritize test suites generated from object oriented programs. Various techniques proposed and validated to prioritize test cases at the maintenance phase of software system. But to prioritize test suites generated from object-oriented safety critical programs is a new challenge. MC/DC ('Modified Condition Decision Coverage') testing criteria is a well-known technique for testing safety critical systems. We propose a method to prioritize the given test suites using MC/DC criteria. In this paper, concolic testing is applied on several standard Java programs to generate test suites and recorded their execution time. The generated test suites are used by a coverage analyzer to measure MC/DC%. MC/DC score and time taken for each test suite are formulated to produce weight value for each test suite, which in turn helps to achieve prioritized test suites.