收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于划分分析方法的测试用例生成

罗清胜  黎升洪  
【摘要】:从基于模型的规格说明中,应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例,本文阐述了一种产生此测试数据的方法,同时也说明了如何使类的方法的划分分析自动进行,以及如何建立起给定方法的类的序列且该序列覆盖了所有必需的测试。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李青松;张晔;;基于UML协作图和DFA的测试用例生成方法研究[J];计算机与现代化;2011年08期
2 崔应霞;李龙澍;姚晟;;组合测试用例集的动态生成算法[J];电子科技大学学报;2011年04期
3 华涛;李红红;李来祥;;一种低代价的图形用户界面回归测试框架[J];计算机工程;2011年14期
4 仲晓敏;赵雪峰;;基于改进禁忌搜索算法的测试用例自动生成[J];计算机工程与设计;2011年06期
5 余波;王昆;;应用代数规约和数据变异策略测试类[J];计算机工程与应用;2011年21期
6 梁家安;张伟;;基于OFGA的软件测试用例自动生成[J];计算机工程与设计;2011年07期
7 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
8 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
9 张健;徐宝文;;《软件测试》专辑前言[J];计算机学报;2011年06期
10 陈衍铃;赵静;;基于虚拟化技术的动态污点分析[J];计算机应用;2011年09期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
3 侯晨光;汪启华;;基于UML分层模型的机载软件可靠性测试用例生成技术探讨[A];探索 创新 交流(第4集)——第四届中国航空学会青年科技论坛文集[C];2010年
4 贲可荣;米磊;;一种基于UML活动图的软件可靠性测试用例生成方法[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(下册)[C];2006年
5 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 曹文静;徐胜红;;基于数据流图的测试用例生成技术研究[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
7 黄萍;戴志华;;指控系统软件测评技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
8 高建华;陈茹;;基于多层次功能模型的代价分析回归测试技术研究[A];第三届中国测试学术会议论文集[C];2004年
9 张威;张博刚;廖飞雄;陈月宁;;基于软件运行记录的交互测试研究[A];第六届中国测试学术会议论文集[C];2010年
10 陈振华;王峰;;操作剖面与软件可靠性[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
2 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
3 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
4 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
5 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
6 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
7 赵岭忠;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究[D];西安电子科技大学;2007年
8 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
9 王金波;安全关键软件的测试与评估过程模型研究[D];中国科学院研究生院(空间科学与应用研究中心);2008年
10 马良荔;基于元数据的构件集成测试技术研究[D];华中科技大学;2006年
中国硕士学位论文全文数据库 前10条
1 冯星星;一种面向对象系统功能的测试用例生成方法研究[D];华中师范大学;2011年
2 熊芳;基于CNMARC标准的测试用例生成方法的研究与应用[D];北方工业大学;2010年
3 赵艳军;基于CHAM的类测试用例生成[D];太原理工大学;2011年
4 刘瑞;基于改进PSO算法的测试用例生成方法研究[D];河南大学;2011年
5 朱佳;基于MSDN FORUMS项目的软件测试研究与实现[D];西北工业大学;2006年
6 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
7 赖志权;基于动态污点分析的状态协议实现软件模糊测试方法研究[D];国防科学技术大学;2010年
8 陈小光;航天嵌入式软件任务剖面建模研究[D];中国科学院研究生院(空间科学与应用研究中心);2007年
9 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年
10 朱丹枫;一种用于测试编译优化的程序控制结构生成算法[D];中国科学院研究生院(软件研究所);2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978