共 1 条
[1]
UML测试技术的研究与实现.[D].李留英.中国人民解放军国防科学技术大学.2000, 01
UML statecharts的测试用例生成方法
被引：23
作者：
李留英
王戟
齐治昌
机构：
[1] 国防科学技术大学计算机学院!长沙,国防科学技术大学计算机学院!长沙,武汉大学软件工程国家重点实验室,武汉,国防科学技术大学计算机学院!长沙
来源：
关键词：
UMLstatecharts;
层次;
并发;
测试用例产生;
D O I：
暂无
中图分类号：
TP311.51 [];
学科分类号：
081202 ;
0835 ;
摘要：
测试用例生成是软件测试的关键 .根据 U ML statecharts的层次和并发结构 ,研究相应的测试用例产生方法 .它视复合状态为抽象状态 ,分别构造主 UML statecharts和复合状态所对应的子 UML statecharts的测试基 ,并依据一定的合成规则和 Wp-方法生成整个 U ML statecharts的测试用例 .这种方法能够支持递增式测试用例的生成 .理论和实验结果说明 ,如果满足测试条件 ,它们保证全故障覆盖 ,且产生较少的测试用例 .这种改进对大型复杂系统尤其有效 ,也便于构造自动测试工具
引用
收藏
页码：691 / 697
页数：7
相关论文