基于MC/DC生成测试用例方法研究

设计和编写测试用例是软件测试中最重要的步骤。分析机载系统软件需求,系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上,依据MC/DC准则,研究了一个布尔运算符替换算法。将该算法实现为工具,用于生成满足MC/DC准则要求的测试用例。最后结合实例验证该工具的实用性。