Test Case Set Generation Method on MC/DC Based on Binary Tree

摘要

Exploring efficient, reliable test case design methods has been tester pursuit of the goal. Along with the aerospace software logic complexity of improving and software scale enlarging, this requirement also gets more compelling. Test case design techniques suited for MC/DC improved test case design efficiency, increase the test coverage. It is suitable to test the software that logical relationship is complicated comparatively. Some software test tools provide the function to calculate the test coverage. And it can assess the test cases whether on the MC/DC or not. But the software tester needs the reverse thinking. The paper puts forward that design the test case by Unique-cause and Masking approach. And it proposes automatic generation method of test case on MC/DC. It improved the efficiency and correctness of generation the test case set on DC/DC.