Research on the MC/DC Test on Civil Aircraft Software Robust Requirements Based on DO-178C

The stability of aviation software is critical, and there is a potential risk in the MC/DC test method. This paper introduces the use of MC/DC test method in robust requirements testing, aims to expose the defects of MC/DC test method, and gives a method for code review as a supplementary verification method. This paper introduces the requirements-based testing method, analyzes the advantages and disadvantages of MC/DC testing, and gives special cases of MC/DC defects through the projects experience. The experience has proved that MC/DC testing combined with code review can reduce the workload and ensure the reliability of the software.