其它软件技术

0119723UML statecharts 的测试用例生成方法[刊]/李留英//计算机研究与发展.—2001,38(6).—691～697(E)测试用例生成是软件测试的关键。根据 UMLstatecharts 的层次和并发结构,研究相应的测试用例产生方法。它视复合状态为抽象状态,分别构造主 UMLstatecharts 和复合状态所对应的子 UML statecharts 的测试基,并依据一定的合成规则和 Wp-方法生成整个UML statecharts 的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例。这种改进对大型复杂系统尤其有效,也便于构造自动测试工具。