UML statecharts的测试用例生成方法
A TEST CASES GENERATION METHOD FOR UML STATECHARTS
-
摘要: 测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 ,也便于构造自动测试工具Abstract: Test cases generation is a key technique of software testing. In this paper, a test cases generation method for UML statecharts is described according to its hierarchy and concurrency. It begins with the generation of test cases bases of main UML statecharts and sub UML statecharts considering all composite states as basic ones, and then generates the test cases of the whole UML statecharts according to some merging rules and Wp-method. This method supports the incremental test cases generation. Theory and experiments show that the cases suites guarantee full coverage and the methods generate less test cases if it satisfies some assumptions. The improvement is very useful to large systems and to building automatic test tools.
下载: