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

基于CHAM的类测试用例生成

赵艳军  
【摘要】:软件测试在软件开发过程中是一个极其重要的环节,但是软件测试本身却是一个过程复杂、耗时耗力且具有较高重复性的工作。为了提高软件测试的效率人们开发了多种适用于软件生命周期的自动化测试工具。 测试用例是软件测试的基础,测试用例对于软件测试的质量和效率有很重要的影响,因此测试用例的自动生成和测试用例集的精简也就成了软件自动化测试的一个重要研究方向。随着面向对象软件开发技术的广泛应用,面向对象所特有的一些特性诸如:多态性、继承性、封装性等等,对于软件测试提出了新的要求。 本文介绍了当前国内外软件测试的研究现状,简要分析了面向对象的软件开发技术中一些特性对软件测试所产生的影响。详细介绍了目前测试用例的主要生成方法,并对面向对象的测试用例自动生成技术进行了分析。 类的测试用例主要包括测试序列和测试数据,本文详细分析了适用于面向对象测试序列生成的基于形式化规格说明的方法和基于状态的方法,以及结构测试数据生成技术,详细介绍了现代启发式算法在测试数据生成上的应用。 本文提出以化学抽象机为基础的类测试序列生成方法,通过使用化学抽象机来对类的状态进行描述,以化学抽象机的反应规则来表示状态间的交互行为。选择标号迁移系统作为化学抽象机动态行为的表述工具。最后按照状态测试的覆盖标准生成测试序列。在以上分析的基础上本文以ATM状态图为例介绍了CHAM模型的构建、溶液的反应过程以及LTS的建立,在LTS的基础上按照状态和迁移覆盖准则生成了相应的测试序列。本文所涉及到的算法均在VC环境下实现。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李青松;张晔;;基于UML协作图和DFA的测试用例生成方法研究[J];计算机与现代化;2011年08期
2 崔应霞;李龙澍;姚晟;;组合测试用例集的动态生成算法[J];电子科技大学学报;2011年04期
3 刘龙霞;吴军华;;基于UML活动图的Web应用测试用例生成[J];江南大学学报(自然科学版);2011年03期
4 华涛;李红红;李来祥;;一种低代价的图形用户界面回归测试框架[J];计算机工程;2011年14期
5 仲晓敏;赵雪峰;;基于改进禁忌搜索算法的测试用例自动生成[J];计算机工程与设计;2011年06期
6 余波;王昆;;应用代数规约和数据变异策略测试类[J];计算机工程与应用;2011年21期
7 缪淮扣;陈圣波;曾红卫;;基于模型的Web应用测试[J];计算机学报;2011年06期
8 许蕾;陈林;徐宝文;;用户需求驱动的Web服务测试[J];计算机学报;2011年06期
9 梁家安;张伟;;基于OFGA的软件测试用例自动生成[J];计算机工程与设计;2011年07期
10 郭曦;张焕国;;一种基于约束的指针程序路径选择方法[J];武汉大学学报(理学版);2011年05期
11 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
12 杨娟;;飞行控制软件的实时性测试[J];微计算机信息;2011年07期
13 吴云;王鹏;胡小娟;杨华民;;基于遗传-BP算法的煤矿安全监控系统测试研究[J];中国安全生产科学技术;2011年06期
14 靖焱林;唐涛;;基于UML 2.0活动图的车载设备测试用例生成方法研究[J];铁路计算机应用;2011年08期
15 余波;;面向代数规约测试谓词/变迁网[J];小型微型计算机系统;2011年09期
16 张健;徐宝文;;《软件测试》专辑前言[J];计算机学报;2011年06期
17 陈衍铃;赵静;;基于虚拟化技术的动态污点分析[J];计算机应用;2011年09期
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];上海大学;2011年
4 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
5 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
6 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
7 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
8 赵岭忠;基于约束的Prolog语义及其在Prolog程序测试、分析及验证中的应用研究[D];西安电子科技大学;2007年
9 江胜;基于进化测试的用例生成方法研究[D];华中科技大学;2009年
10 王金波;安全关键软件的测试与评估过程模型研究[D];中国科学院研究生院(空间科学与应用研究中心);2008年
中国硕士学位论文全文数据库 前10条
1 赵艳军;基于CHAM的类测试用例生成[D];太原理工大学;2011年
2 冯星星;一种面向对象系统功能的测试用例生成方法研究[D];华中师范大学;2011年
3 靖焱林;基于UML-XML的车载设备测试用例生成方法研究和实现[D];北京交通大学;2011年
4 熊芳;基于CNMARC标准的测试用例生成方法的研究与应用[D];北方工业大学;2010年
5 刘瑞;基于改进PSO算法的测试用例生成方法研究[D];河南大学;2011年
6 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年
7 朱佳;基于MSDN FORUMS项目的软件测试研究与实现[D];西北工业大学;2006年
8 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年
9 赖志权;基于动态污点分析的状态协议实现软件模糊测试方法研究[D];国防科学技术大学;2010年
10 陈小光;航天嵌入式软件任务剖面建模研究[D];中国科学院研究生院(空间科学与应用研究中心);2007年
中国重要报纸全文数据库 前9条
1 贝尔实验室 王庆文;ISG:引领增值业务开发[N];网络世界;2004年
2 邬先来;CAD大考场[N];电脑报;2005年
3 ;网罗欧洲商机[N];国际商报;2000年
4 贝尔实验室高级研究员 王庆文;智能业务网关开创电信增值开发新时代[N];人民邮电;2004年
5 徐昕;带来更健康的视觉效果[N];中国计算机报;2003年
6 贝尔实验室高级研究员 王庆文;智能业务网关ISG 轻松开发增值业务[N];中国计算机报;2004年
7 厉宝骏;新技术领航LCD市场[N];国际商报;2003年
8 毅文;印度外贸管理体制及其运作机制[N];中国国门时报(中国出入境检验疫报);2001年
9 陈雅君;让中国服装创出国际品牌[N];经济参考报;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978