中国优秀硕士学位论文全文数据库
  关闭
基于用例规约与Z语言的测试用例生成方法研究  
   在线阅读 整本下载 分章下载 分页下载本系统暂不支持迅雷或FlashGet等下载工具
【作者】 刘金朋;
【导师】 魏长江;
【学位授予单位】 青岛大学;
【学科专业名称】 计算机软件与理论
【学位年度】 2008
【论文级别】 硕士
【网络出版投稿人】 青岛大学
【网络出版投稿时间】 2009-01-05
【关键词】 用例规约; Z语言; 形式化方法; 测试用例;
【英文关键词】 use case specification; Z notation; formal method; test case;
【中文摘要】 软件测试是软件生命周期中一个重要环节,直接关系到软件的质量高低,充分的测试是项目成功的重要保障,测试用例的产生是软件测试的关键步骤,因而,软件测试的质量和效率很大程度上决定于测试用例的优劣;完全由人工生成测试用例会耗费较大的人力和财力,并且一般说来项目还有较为严格的时间限制,因此自动生成测试用例就显得十分重要,它可以更加准确且省时的生成测试用例;所以,本文开展自动生成高质量测试用例的研究对于软件测试具有十分重要的理论意义和应用价值。 本文首先对国内外在测试用例自动生成领域的研究进行了分析,在此基础上提出了一种自动生成高质量测试用例的方法,研究了如何从用例规格说明来生成Z语言形式规格说明的方法。为了更为准确的描述系统需求本文提出了对用例规约进行精化的方法,精化的用例规约能够在一定程度上减少自然语言描述用例带来的模糊、不精确性。基于精化的用例规约,应用活动图来描述用例,抽象活动图得到有向图,通过遍历有向图的方式获得了所有的用例场景,基于这些用例场景来得到Z语言的形式规格说明。本方法在提高生成形式规格说明的自动化程度方面有所创新。为了便于书写Z规格说明,本文还编写了一个Z规格说明的编辑及类型检...
【英文摘要】 Software testing is a very important phase in the lifecycle of software; it can impact the quality of the software greatly. To a large extent, adequate testing can guarantee the success of the software. Test cases generation, which is the key of software testing, will affect the quality and efficiency of testing. Generating test cases manually will spend a lot of effort and money, and the situation will be more serious when the development time is very limited. So, it is very important to research on...
【更新日期】 2009-02-10

【相同导师文献】

导师:魏长江    导师单位:青岛大学    学位授予单位:青岛大学
[1] 刘凤陵.基于提升小波的地震勘探数据压缩研究[D]. 青岛大学,2012
[2] 石水勇.基于提升小波变换的地震勘探数据有损压缩研究[D]. 青岛大学,2011
[3] 陈宁.基于小波变换的初至拾取研究[D]. 青岛大学,2011
[4] 刘金朋.基于用例规约与Z语言的测试用例生成方法研究[D]. 青岛大学,2008
[5] 胡阔见.基于构件的领域工程方法和应用研究[D]. 青岛大学,2008
[6] 罗世平.访问控制模型的构件化研究[D]. 青岛大学,2008
[7] 王晓静.关于GIS的烟草物流配送线路的研究[D]. 青岛大学,2008
[8] 吴鸿.RAM模型对测试用例设计适用性的实验研究[D]. 青岛大学,2009
[9] 张铁军.基于UML的人力资源系统分析与设计[D]. 青岛大学,2009
[10] 马磊.基于活动的用例元模型研究[D]. 青岛大学,2009

xxx
【读者推荐文章】中国期刊全文数据库 中国博士学位论文全文数据库 中国优秀硕士学位论文全文数据库 中国重要会议论文全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者,可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献,使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献,从上层导航可以浏览更多相关领域的文献。

工业技术
  自动化技术、计算机技术
   计算技术、计算机技术
    计算机软件
     程序设计、软件工程
      软件工程
       软件开发
  
 
  CNKI系列数据库编辑出版及版权所有:中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有:清华同方知网(北京)技术有限公司
其它数据库版权所有:各数据库编辑出版单位(见各库版权信息)
京ICP证040431号    互联网出版许可证 新出网证(京)字008号