论文部分内容阅读
测试用例生成是软件测试的关键.根据UML statecharts的层次和并发结构,研究相应的测试用例产生方法.它视复合状态为抽象状态,分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基,并依据一定的合成规则和Wp-方法生成整个UML statecharts的测试用例.这种方法能够支持递增式测试用例的生成.理论和实验结果说明,如果满足测试条件,它们保证全故障覆盖,且产生较少的测试用例.这种改进对大型复杂系统尤其有效,也便于构造自动测试工具.