一种修正条件判定覆盖测试的路径选取方法

MC/DC (Modified Condition/Decision Coverage) testing is a practical testing criterion for software structural coverage. It has been widely applied in the testing process to verify the Boolean expression. This paper give the concept of modified condition decision coverage firstly, then introduces a method to extract atomic predicates and the independent effect couple based on the abstract syntax tree and puts forward a method to choose the value vector that will be tested and the paths based on the program control flow graph, finally the method's availability was validated with instances and the test results show that the system is effective in generating MC/DC test paths.