收藏本站
《计算机研究与发展》 2001年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

UML statecharts的测试用例生成方法

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

【引证文献】
中国期刊全文数据库 前5条
1 白晓清,蓝秋萍,李怀忠;面向组件的软件测试技术[J];广西科学院学报;2004年02期
2 徐兴华;刘嘉;;基于UML状态图的测试技术研究[J];计算机时代;2006年04期
3 方木云;戴小平;;基于UML的集成化CASE平台的研究和实现[J];微机发展;2006年02期
4 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
5 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期
中国博士学位论文全文数据库 前3条
1 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
2 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
3 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
中国硕士学位论文全文数据库 前10条
1 吴佳明;信息系统的容变模型设计与快速开发[D];上海交通大学;2008年
2 张术梅;基于UML的软件测试用例自动生成技术的研究[D];大连交通大学;2007年
3 李寰;单元测试用例自动生成分析与设计[D];太原理工大学;2007年
4 张峻;基于UML2.0动态视图的Web服务模型测试方法及其应用[D];苏州大学;2007年
5 逄瑞娟;基于UML顺序图的场景测试用例生成研究[D];青岛大学;2007年
6 王纪立;基于UML顺序图的测试方法的研究与实现[D];南京航空航天大学;2007年
7 左咏露;面向对象软件测试及其方法研究[D];西安理工大学;2003年
8 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
9 赖祥伟;基于UML的形式化面向对象软件测试用例辅助生成技术[D];西南师范大学;2003年
10 陈健;基于RUP的智能车辆调度系统开发研究[D];西南交通大学;2004年
【参考文献】
中国博士学位论文全文数据库 前1条
1 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
【共引文献】
中国期刊全文数据库 前3条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
3 占学德;缪淮扣;;基于UML Statecharts面向对象软件的测试框架[J];应用科学学报;2006年05期
中国博士学位论文全文数据库 前2条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
中国硕士学位论文全文数据库 前4条
1 张峻;基于UML2.0动态视图的Web服务模型测试方法及其应用[D];苏州大学;2007年
2 郭瑛;基于UML的运动控制软件设计及其在电脑绗缝机中的应用研究[D];青岛科技大学;2007年
3 王璐珍;UML顺序图的自动分析技术研究[D];中国人民解放军国防科学技术大学;2002年
4 杨小艳;基于Z语言与状态图的测试用例自动生成研究[D];华中师范大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 杨劲涛;郭荷清;;一种精简测试用例方法的研究[J];计算机科学;2005年05期
2 洪运国,程睿夫;面向对象分析在软件测试中的应用[J];辽宁税务高等专科学校学报;2005年05期
3 张南平,陈小倩;软件测试技术[J];微机发展;2005年07期
4 李勇;软件测试方法及测试工具应用[J];襄樊职业技术学院学报;2005年03期
5 荚伟,奚红宇,高仲仪;遗传算法在软件测试数据生成中的应用[J];北京航空航天大学学报;1998年04期
6 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
7 李必信,郑国梁,王云峰,李宣东;一种分析和理解程序的方法──程序切片[J];计算机研究与发展;2000年03期
8 傅博;基于模拟退火遗传算法的软件测试数据自动生成[J];计算机工程与应用;2005年12期
9 伦立军;丁雪梅;李英梅;;基于遗传算法的测试数据生成研究[J];计算机工程;2005年23期
10 单锦辉,王戟,齐治昌,马晓东,单黎君;面向路径的测试数据自动生成工具的设计与实现[J];计算机工程与科学;2002年01期
中国重要会议论文全文数据库 前1条
1 王萍;蔡雨阳;黄丽华;;面向对象的建模方法——上海卷烟厂计调系统分析与设计[A];面向复杂系统的管理理论与信息系统技术学术会议专辑[C];2000年
中国博士学位论文全文数据库 前4条
1 赵瑞莲;软件测试方法研究[D];中国科学院研究生院(计算技术研究所);2001年
2 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
3 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
4 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
中国硕士学位论文全文数据库 前6条
1 赖祥伟;基于UML的形式化面向对象软件测试用例辅助生成技术[D];西南师范大学;2003年
2 李力峰;基于UML动态视图的测试模型及应用[D];苏州大学;2006年
3 周彦晖;基于面向对象模型的形式化规约和FDOOM开发方法[D];西南师范大学;2002年
4 施凤鸣;基于UML状态图的类测试用例自动生成方法研究[D];西安理工大学;2003年
5 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年
6 刘轶欧;嵌入式实时系统测试的充分性研究与实践[D];电子科技大学;2004年
【二级引证文献】
中国期刊全文数据库 前1条
1 陈兴;程吉林;蒋晓红;;基于GIS灌区决策支持系统的研究[J];扬州大学学报(自然科学版);2006年02期
中国博士学位论文全文数据库 前1条
1 王珉;大型CAD系统软件架构及其开发方法研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘烁;基于UML的CPN模型在软件测试中的应用[D];太原理工大学;2007年
2 程梁;基于UML的联锁软件建模与仿真研究[D];北京交通大学;2008年
3 逄瑞娟;基于UML顺序图的场景测试用例生成研究[D];青岛大学;2007年
4 王纪立;基于UML顺序图的测试方法的研究与实现[D];南京航空航天大学;2007年
5 李娇;自动测试平台Aegis的研究与实现[D];电子科技大学;2007年
6 吕振华;嵌入式可视化开发环境的研究与实现[D];华东师范大学;2006年
7 张年林;面向GUI软件测试的自动化工具研究与实现[D];西安理工大学;2007年
8 肖瑶;基于DWFC模型的面向对象类内聚度量研究[D];西南大学;2007年
9 谢一;基于CMM/CMMI的软件项目跟踪与监控方法研究[D];西南大学;2007年
10 黄柯;九寨沟核心景区内公路交通环境承载力研究[D];西南交通大学;2007年
【相似文献】
中国期刊全文数据库 前1条
1 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026