| UML statecharts的测试用例生成方法 |
| |
| 引用本文： | 李留英,王戟,齐治昌.UML statecharts的测试用例生成方法[J].计算机研究与发展,2001,38(6):691-697. |
| |
| 作者姓名： | 李留英 王戟 齐治昌 |
| |
| 作者单位： | 1. 国防科学技术大学计算机学院
2. 国防科学技术大学计算机学院 武汉大学 |
| |
| 基金项目： | 国家自然科学基金项目! (69973 0 5 1)，国家“八六三”高技术研究发展计划基金项目! (863 -3 0 6-ZT0 6-0 4-1)，武汉大学软件工程国 |
| |
| 摘 要： | 测试用例生成是软件测试的关键。根据UML statecharts的层次和并发结构，研究相应的测试用例产生方法。它视复合状态为抽象状态，分别构造主UML statecharts和复合状态所对应的子UML statecharts的测试基，并依据一定的合成规则和Wp－方法生成整个UML statecharts的测试用例。这种方法能够支持递增式测试用例的生成。理论和实验结果说明，如果满足测试条件，它们保证全故障覆盖，且产生较好的测试用例。这种改进对大型复杂系统尤其有效，也便于构造自动测试工具。
|
| 关 键 词： | 测试用例产生 软件测试 面向对象 软件开发 UML statecharts |
A TEST CASES GENERATION METHOD FOR UML STATECHARTS |
| |
| LI Liu-Ying.A TEST CASES GENERATION METHOD FOR UML STATECHARTS[J].Journal of Computer Research and Development,2001,38(6):691-697. |
| |
| Authors: | LI Liu-Ying |
| |
| 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. |
| |
| Keywords: | UML statecharts hierarchy currency test cases generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
