标题：基于MC/DC生成测试用例方法研究
作者：曹爽 张育平
作者单位：南京航空航天大学信息科学与技术学院，江苏 南京 210016
关键字：修订的条件/判定覆盖，布尔表达式，真值表
摘要：设计和编写测试用例是软件测试中最重要的步骤。分析机载系统软件需求，系统状态转换或事件触发总是以满足一个或多个条件为前提的。因此在将需求抽象成布尔表达式基础上，依据MC/DC准则，研究了一个布尔运算符替换算法。将该算法实现为工具，用于生成满足MC/DC准则要求的测试用例。最后结合实例验证该工具的实用性。