收藏本站
《计算机应用》 2003年12期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

从Rose的规约文件自动生成测试用例

张毅坤  施凤鸣  
【摘要】:对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 宋瑾钰;魏仰苏;;基于UML状态图的模型信息自动提取技术研究[J];计算机工程与设计;2007年20期
中国硕士学位论文全文数据库 前10条
1 杨晶;基于UML状态图的自动化测试框架研究与实现[D];华东理工大学;2011年
2 王倩倩;CTCS-3级列控系统测试案例优化生成方法研究[D];北京交通大学;2011年
3 程萃;面向对象测试方法在空管系统中的应用研究[D];四川大学;2004年
4 李文锋;基于TC正交数组的簇级测试用例设计研究[D];汕头大学;2005年
5 刁华丽;基于UML的集成测试用例生成方法的研究与应用[D];大连理工大学;2006年
6 朱玉业;基于UML的面向对象的软件测试技术研究与应用[D];山东科技大学;2006年
7 黎利;基于MVC的测试驱动开发研究[D];南华大学;2007年
8 张术梅;基于UML的软件测试用例自动生成技术的研究[D];大连交通大学;2007年
9 李强;一种基于UML的集成测试线索生成方法[D];重庆大学;2008年
10 康维;基于UML模型的类簇级测试用例生成方法研究[D];中南大学;2009年
【同被引文献】
中国期刊全文数据库 前10条
1 刘超,金茂忠;软件测试过程的基本模型POCERM[J];北京航空航天大学学报;1997年01期
2 邹静,陈英,姜波;多用户界面应用程序代码自动生成机制研究[J];北京理工大学学报;2003年05期
3 王林章,李宣东,郑国梁;一个基于UML协作图的集成测试用例生成方法[J];电子学报;2004年08期
4 林宏,曾一;基于UML的面向对象软件测试框架[J];重庆大学学报(自然科学版);2003年08期
5 赵良,叶俊民,罗景,陈利;一种面向对象类级状态测试的形式化方法研究[J];海军工程大学学报;2004年05期
6 李留英,王戟,齐治昌;UML statecharts的测试用例生成方法[J];计算机研究与发展;2001年06期
7 黄文奇,赵孝武;求解正交数组问题的拟物拟人算法[J];计算机研究与发展;2002年02期
8 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
9 袁洁松;王林章;李宣东;郑国梁;;UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具[J];计算机研究与发展;2006年01期
10 金凌紫;面向对象软件测试技术进展[J];计算机研究与发展;1998年01期
中国博士学位论文全文数据库 前1条
1 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
中国硕士学位论文全文数据库 前10条
1 季丽丽;基于UML状态图的测试用例自动生成研究[D];南京航空航天大学;2004年
2 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年
3 鲍红杰;计算机联锁软件测试平台关键技术的研究与设计[D];合肥工业大学;2006年
4 杨小艳;基于Z语言与状态图的测试用例自动生成研究[D];华中师范大学;2006年
5 罗清胜;OCL约束验证与实现方法研究[D];江西财经大学;2006年
6 陈灏;基于UML模型的测试用例生成方法研究与工具实现[D];昆明理工大学;2007年
7 李秀华;基于UML模型的软件可靠性测试技术的研究与实现[D];电子科技大学;2007年
8 张利武;基于UML活动图的并发软件测试方法研究[D];重庆大学;2007年
9 章慧;CTCS3级列控系统车载设备测试方法研究[D];北京交通大学;2007年
10 王春花;无线闭塞中心的测试方法研究[D];北京交通大学;2008年
【二级引证文献】
中国期刊全文数据库 前3条
1 汪斌;;基于ASP.NET的MVC框架的应用研究[J];电脑知识与技术;2009年07期
2 徐俊;舒挺;贾宇波;宋瑾钰;;EFSM模型动态解释技术的研究[J];工业控制计算机;2012年02期
3 齐玉华;郭天杰;陶政德;程春华;;形式化可测性约束在软件模型实现过程中的研究[J];舰船电子工程;2009年09期
中国硕士学位论文全文数据库 前10条
1 靖焱林;基于UML-XML的车载设备测试用例生成方法研究和实现[D];北京交通大学;2011年
2 王锋;面向对象的类状态测试方法研究[D];武汉理工大学;2009年
3 浦晓斌;专利异构信息资源互操作的研究与实现[D];南京理工大学;2009年
4 邢冠男;UML活动图到PNML转换的研究与实现[D];内蒙古大学;2009年
5 薛娟娟;基于UML的软件设计与测试研究[D];南昌大学;2009年
6 习媛媛;基于面向对象测试技术的软件质量控制研究与应用[D];长春理工大学;2010年
7 柴艳欣;基于OCL约束的状态图测试方法的研究[D];重庆大学;2010年
8 朱贤友;基于UML的公共选修课程管理系统的研究与实现[D];湖南大学;2010年
9 蒋林超;UML与类状态测试技术研究[D];湖南大学;2010年
10 巩菁菁;基于Scrum的敏捷框架在软件企业中的应用研究[D];大连海事大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 黄山;陈昱松;王建伟;韩柯;;一种基于UML与SDL融合建模的组件系统测试方法[J];计算机应用与软件;2011年07期
2 张勇;夏树发;钟昌乐;;基于UML的网络课程CMS系统设计与实现[J];信息技术;2011年06期
3 陈雪梅;;基于工作流技术的实验室管理系统开发[J];科技信息;2011年21期
4 刘若冰;;基于UML的助学贷款管理系统的设计[J];经营管理者;2011年12期
5 文敏;;基于UML的图书馆应用系统的设计[J];福建电脑;2011年06期
6 杜博;;高校实验室管理系统的设计与实现[J];电子设计工程;2011年15期
7 魏红娟;;基于UML的“用况驱动”在软件开发过程中的作用分析[J];新乡学院学报(自然科学版);2011年03期
8 闻立民;;一种基于统一建模语言的系统测试方法[J];科技传播;2011年15期
9 陈志刚;许锦洲;韦晓萍;;基于UML的舰艇编队防空作战视图描述[J];舰船电子工程;2011年08期
10 秦乐阳;;基于UML的网络课堂教学系统设计[J];软件;2011年05期
中国重要会议论文全文数据库 前10条
1 唐剑文;;基于UML嵌套活动图的回归测试用例选择[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
2 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
3 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
7 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
8 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国重要报纸全文数据库 前10条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
2 阿航;UML面向对象分析[N];中华读书报;2002年
3 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
4 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
5 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
6 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
7 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
8 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
9 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
10 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 单黎君;图形化模型的一致性检查[D];国防科学技术大学;2008年
6 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
8 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
9 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
10 杨静;UML模型的语义模型[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 施凤鸣;基于UML状态图的类测试用例自动生成方法研究[D];西安理工大学;2003年
2 杨华;医疗保险定点医院信息系统的设计与实现[D];山东大学;2008年
3 蒋志龙;基于UML序列图的测试方法研究与工具实现[D];华中科技大学;2007年
4 王谱新;数字音像内容管理系统的测试例自动生成技术研究[D];内蒙古大学;2008年
5 邓晔;基于UML构造软件使用模型的研究与实现[D];国防科学技术大学;2005年
6 秦静;基于UML的软件可靠性测试技术研究[D];国防科学技术大学;2006年
7 李富雄;基于INTERNET的统一支付平台[D];广东工业大学;2005年
8 王鹏;基于.net的网络评审系统的设计与实现[D];山东大学;2005年
9 杨正益;基于建模工具的通用类生成器的研究[D];重庆大学;2005年
10 冯海东;2D游戏图形引擎开发及UML建模实现[D];四川大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026