收藏本站

基于面向对象形式规格说明的测试用例生成技术

【摘要】:随着信息技术的发展,软件的规模不断扩大,如何保证和提高软件质量成为软件界最为关心的问题之一。软件测试作为保证软件质量的关键技术之一,能够有效地发现软件中的故障。据统计,在软件开发成本中,软件测试的工作量往往占软件开发总工作量的40%以上。对于某些安全关键的软件,其测试费用甚至高达所有其它软件工程阶段费用总和的三到五倍。因而,提高软件测试的有效性和测试效率、降低软件开发成本已成为软件工程师迫切需要解决的任务之一。 软件测试的核心问题是测试用例的产生。根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。基于程序代码的测试是指测试者根据程序的内部结构和与路径相关的数据特性设计测试用例。基于规格说明的测试是指测试者不需了解程序的内部结构,直接根据程序的需求规格说明来确定测试用例,推断测试结果的正确性。这种测试可以验证程序实现是否符合系统需求,从而实现软件测试的目的。同时,由于测试用例的开发是以系统规格说明为依据,测试用例的设计过程可以和程序开发过程同时进行,缩短了软件开发周期,提高了软件开发的效率。 形式化的软件规格说明具有精确的符号表示和清晰的语义,能够进行推理和证明,同时也便于工具的处理。因此,用形式化的规格说明作为测试用例的来源将会使得测试用例的自动构造成为可能。但目前基于形式规格说明构造测试用例的研究主要集中在利用黑盒测试准则(如:范畴划分测试准则,基于状态图的测试准则)从不同形式的规格说明(如:Z模式、UML状态图)中构造测试用例。但是对于基于模型的面向对象形式规格说明(如:Obiect-Z、VDM++规格说明)应用这些构造测试用例的技术非常困难。因为,这些基于模型的面向对象规格说明没有提供状态图,也很难将范畴划分测试准则应用到这些规格说明中用于定义输入空间的复杂谓词上。 本文提出了一系列用于从基于模型的面向对象形式规格说明推导测试用例的方法和技术。这些方法和技术分别探讨了在类测试层次以及类问测试层次上如何从基于模型的形式规格说明构造测试用例。在类测试层次上,本文定义了一个公理化系统对现有的可应用于方法内测试的逻辑覆盖准则进行评估,为测试人员从这组准则中选择某个准则提供了依据。此外,在这一层次的测试过程中,本文还提出了一组用于产生测试类的方法间交互的类内部测试准则。这组准则利用方法内测试用例来构造类内部测试用例,避免了以往的研究中采用基于状态图的测试准则构造测试用例时需要的抽取类的状态图的工作,使得机械化地构造类测试用例成为可能。在类间测试层次,本文给出了一系列用于测试类间的多态关系的 上海大学工学博士学位论文 测试准则,改变了以往对多态关系的测试主要集中于基于程序代码的方法。应用 本文提出的这些用于测试类间多态关系的测试准则,测试人员可以从形式规格说 明中推导出用于测试多态对象的测试用例,这些测试用例可以最终检测出程序代 码中的多态关系的实现与规格说明中的定义是否一致。 除了给出若干个用于从基于模型的面向对象形式规格说明构造测试用例的 测试准则之外,本文还提出了一个用于描述这种测试用例推导过程的测试框架。 我们用形式规格说明语言objeet-Z来定义本文提出的测试框架。这样,测试框架 的描述与规格说明的描述所采用的形式规格说明语言一致,从而避免了用另一种 描述语言给读者带来的额外负担。本文对测试框架的阐述包括两个部分。第一部 分是类测试框架。它用来描述类测试用例的推导过程,其中包括方法内测试用例、 类内部测试用例、方法内测试用例的产生过程以及类内部测试用例推导过程的定 义。第二部分包括如何利用类层次结构在子类中重用父类的类测试框架。利用本 文提出的这个测试框架,测试用例生成系统在构造测试用例的同时可以自动记录 测试用例生成过程,从而为测试用例的管理和追踪提供了方便。 最后,本文给出了一种应用求解线性规划和非线性不等式组对测试测试规格 说明中定义的测试输入进行求解得到可以运行的具体的测试数据的方法,并且介 绍一个实现了上述提出的测试技术的系统原型。

下载App查看全文

(如何获取全文? 欢迎:、、)

支持CAJ、PDF文件格式


【相似文献】
中国期刊全文数据库 前20条
1 缪淮扣;陈圣波;曾红卫;;基于模型的Web应用测试[J];计算机学报;2011年06期
2 刘攀;缪淮扣;曾红卫;刘阳;;基于FSM的测试理论、方法及评估[J];计算机学报;2011年06期
3 张毅;;浅析需求分析在软件工程中的作用[J];技术与市场;2011年08期
4 徐士华;吕莉媛;赵磊;;基于扩展CHAM的SA级路径覆盖方法[J];微电子学与计算机;2011年09期
5 刘龙霞;吴军华;;基于UML活动图的Web应用测试用例生成[J];江南大学学报(自然科学版);2011年03期
6 赵智超;吴铁峰;王斌;;编译器优化测试方法研究[J];电脑知识与技术;2011年24期
7 陈涵;;关于黑盒测试用例设计方法的研究[J];电脑知识与技术;2011年26期
8 王腾翔;;基于可靠性分析的电力软件测试研究[J];机电信息;2011年24期
9 雷鸿;汪海;;基于嵌入式处理器的研究[J];软件导刊;2011年08期
10 刘龙霞;吴军华;;基于分类树和贪心算法的测试数据自动生成方法[J];计算机工程与设计;2011年08期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 王云山;曾庆岳;戴立;;药品说明书与标签规格说明[A];《医药导报》第八届编委会成立大会暨2009年度全国医药学术交流会和临床药学与药学服务研究进展培训班论文集[C];2009年
2 李怀瑶;;新型食用铁剂在果胶软糖中的应用与功能[A];中国营养学会第四届全国学术会议论文摘要汇编[C];1984年
3 曲长征;张波;陈玉波;高鲁;;可执行规格说明ExSpect应用及功能拓展[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
4 蔡磊明;;OECD GLP与GLP检查员/审查员培训[A];中国毒理学会第四届全国学术会议论文(摘要)集[C];2005年
5 姚彦忠;;二维初始分布辅助生成系统IDAD的设计和实现[A];中国工程物理研究院科技年报(2001)[C];2001年
6 朱学锋;俞士汶;李峰;;汉语语素库的构造及其同语法信息词典的集成[A];世纪之交的中国应用语言学研究——第二届全国语言文字应用学术研讨会论文集[C];1998年
7 徐智晨;郭孝洪;钱家骅;;FSA/KB:一个支持软件自动化的面向对象的知识库系统[A];第十届全国数据库学术会议论文集[C];1992年
8 赵洪彪;景利;李刚;;软件测试文档规范化[A];第三届中国测试学术会议论文集[C];2004年
9 谢小权;吴锋;;CASE与系统安全性设计[A];第六次全国计算机安全技术交流会论文集[C];1991年
10 李晓乐;董荣胜;吴光伟;;基于组合设计方法的安全支付协议的设计与验证[A];广西计算机学会2007年年会论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
2 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
3 朱彬;基于用户界面规格说明的Web应用建模与测试用例生成[D];上海大学;2011年
4 陈怡海;面向对象软件规格说明的构造及确认技术研究[D];上海大学;2007年
5 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年
6 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
7 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
8 吴洋;基于布尔可满足性的电路设计错误诊断[D];复旦大学;2006年
9 孙军梅;基于形式方法面向服务的Web软件开发技术研究[D];上海大学;2008年
10 曾红卫;Web应用的验证与测试方法研究[D];上海大学;2008年
中国硕士学位论文全文数据库 前10条
1 杜秀娟;基于UML状态图的软件测试用例生成方法研究[D];长安大学;2008年
2 汤炜;软件工程理论在指纹识别项目开发中的应用[D];武汉大学;2004年
3 苏北;Z规格说明中幂集算子自动求精的研究与实现[D];沈阳工业大学;2006年
4 张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年
5 王震;软件测试用例自动生成系统研究开发[D];西安理工大学;2005年
6 黄兴华;面向用户的软件组件测试研究与实现[D];上海交通大学;2008年
7 程胜来;一种基于使用模型和可执行规格说明的软件测试框架[D];合肥工业大学;2009年
8 王凯;基于组件的软件系统的测试研究[D];重庆大学;2003年
9 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
10 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
中国重要报纸全文数据库 前10条
1 戴金龙;[N];计算机世界;2005年
2 王建;[N];国际商报;2003年
3 本报记者 孙小羽;[N];计算机世界;2001年
4 本报记者 朱晔;[N];计算机世界;2004年
5 本报记者 吴斌斌;[N];中国航空报;2011年
6 谢敏 沈雪芳 戴金龙;[N];计算机世界;2005年
7 谷辽海;[N];中国财经报;2007年
8 中科院数学与系统科学研究院 金芝;[N];计算机世界;2001年
9 金清华;[N];中国计算机报;2006年
10 刘景江;[N];国际商报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978


{bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bcksports}| {bck体育下载}| {bckbet}| {bcksports}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bck官网}| {bck体育下载}| {bckbet}| {bcksports}| {bck官网}| {bck体育app}| {bck体育}| {bcksports}| {bck官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck官网}| {bck体育}| {bcksports}| {bck官网}| {bck体育官网}| {bck体育下载}| {bck体育}| {bckbet}| {bcksports}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bck体育}| {bckbet}| {bck官网}| {bck}| {bck体育官网}| {bck体育下载}| {bck体育app}| {bcksports}| {bck官网}| {bck}| {bck体育官网}| {bcksports}| {bck体育下载}| {bck体育app}| {bckbet}|
{uc8}| {uc8体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐城}| {uc8彩票}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8老虎机}| {UC8娱乐}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8老虎机}| {uc8彩票}| {uc8}| {uc8体育}| {UC体育}| {uc8官网}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {uc8彩票}| {uc8}| {uc体育}| {UC体育}| {UC8娱乐城}| {uc8}| {UC体育}| {uc8官网}| {uc8老虎机}| {uc8}| {uc体育}| {uc8体育}| {UC体育}| {uc8官网}| {uc8老虎机}| {UC8娱乐}| {UC8娱乐城}|