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