一种基于Z 规格说明的测试用例复用机制

《一种基于Z 规格说明的测试用例复用机制》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第２６卷第１２期计算机应用与软件Ｖｏｌ２６Ｎｏ．１２２００９年１２月ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅＤｅｃ．２００９一种基于Ｚ规格说明的测试用例复用机制肖寒顾春华（华东理工大学计算机科学与工程系上海２００２３７）摘要测试用例的复用对于提高测试工作的效率极为重要。提出一种测试用例复用机制，减少测试用例对环境的依赖，提高复用的程度。用Ｚ规格说明对用户需求进行描述，实例化后生成测试用例，然后对测试用例进行可复用描述，得到形式统一的可复用测试用例。建立测试用例库系统存储和管理用例，实现多种方式的复用。关键词测试用例测试复用刻面　Ｚ规格说明ＡＲＥＵＳＩＮＧＭＥＣＨＡＮＩＳ

2、ＭＯＦＴＥＳＴＣＡＳＥＳＢＡＳＥＤＯＮＺＳＰＥＣＩＦＩＣＡＴＩＯＮＳＸｉａｏＨａｎ　ＧｕＣｈｕｎｈｕａ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＥａｓｔＣｈｉｎａＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｓｈａｎｇｈａｉ２００２３７，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ　　Ｉｔｉｓｉｍｐｏｒｔａｎｔｔｏｒｅｕｓｅｔｅｓｔｃａｓｅｓｆｏｒｔｅｓｔｉｎｇｅｆｆｉｃｉｅｎｔｌｙ．Ｉｎｔｈｅｐａｐｅｒ，ａｒｅｕｓｅｍｅｃｈａｎｉｓｍｉｓｐｒｏｐｏｓｅｄｔｏｒｅｄｕｃｅｔｈｅｄｅｐｅｎｄｅｎｃｅｏｆｔｅｓｔｃａｓｅｓｏｎｅｎｖｉｒｏｎｍｅｎｔ，

3、ａｎｄｔｏｉｍｐｒｏｖｅｔｈｅｌｅｖｅｌｏｆｔｅｓｔｃａｓｅｒｅｕｓｅ．ＴｅｓｔｃａｓｅｓａｒｅｇｅｎｅｒａｔｅｄｆｒｏｍｔｈｅｉｎｓｔａｎｃｅｓｏｆｕｓｅｒｒｅｑｕｉｒｅｍｅｎｔｍｏｄｅｌｗｈｉｃｈｉｓｅｘｐｒｅｓｓｅｄｂｙＺｓｐｅｃｉｆｉｃａｔｉｏｎ．ＴｈｅｎＸＭＬｉｓｕｓｅｄａｓａｕｎｉｆｉｅｄｆｏｒｍａｔｔｏｄｅｓｃｒｉｂｅｔｈｅｒｅｕｓａｂｉｌｉｔｙｏｆｔｅｓｔｃａｓｅｓ．Ｆｉｎａｌｌｙ，ａｌｉｂｒａｒｙｉｓｃｒｅａｔｅｄｔｏｓｔｏｒｅａｎｄｍａｎａｇｅｔｅｓｔｃａｓｅｓａｎｄｔｏａｃｈｉｅｖｅｍｉｘｅｄｒｅｕｓｅｖｉａｔｈｅｆｕｎｃｔｉｏｎｐｒｏｖｉｄｅｄｂｙｔｈｅｌｉｂｒａｒｙ

4、．Ｋｅｙｗｏｒｄｓ　　Ｔｅｓｔｃａｓｅ　Ｔｅｓｔｒｅｕｓｅ　Ｆａｃｅｔ　Ｚｓｐｅｃｉｆｉｃａｔｉｏｎ利于提高测试用例的查全率和查准率。０　引言１　Ｚ语言建模及测试用例生成软件测试作为保证软件质量的主要手段，是软件开发过程中的重要环节。随着软件质量意识的提高，在整个软件工程中，Ｚ语言是７０年代末至８０年代初由英国Ｏｘｆｏｒｄ大学程序研软件测试费用的比重越来越高。复用软件测试用例，是降低软究组ＰＲＧ（ＰｒｏｇｒａｍｍｉｎｇＲｅｓｅａｒｃｈＧｒｏｕｐ）设计的。它是基于一阶件测试的费用和提高测试质量的一个重要途径。国内外对于测谓词逻辑和集合论的形式规格说明语言。Ｚ语言的关键思想是试知识资产的共享复用，

5、大部分仅限于组织内部，甚至仅限于一把软件开发中的需求规格说明阶段和软件设计阶段分开，在需个项目内部。探索独立于开发项目的测试用例共享机制，是产求规格说明阶段精确地描述软件“做什么”，而不涉及“怎么业界和学术界共同努力的方向。［５］做”。资源的共享和复用是当今产业发展的趋势。２０００年６月１．１　Ｚ语言建模Ｒａｔｉｏｎａｌ提出了可复用的资产规约ＲＡＳ（ＲｅｕｓａｂｌｅＡｓｓｅｔＳｐｅｃｉｆｉ下面以一个例子说明Ｚ语言对软件需求的精确描述。考虑ｃａｔｉｏｎ），它定义了一种标准的方法来描述资产并将可复用的软这样一个测试：检测一个８位连续数字是否为一个合法的日期。件资产打包。文献［２］阐述了通过领域分

6、析、领域建模来提高比如：２００８０５０７表示２００８年５月７日，它是一个合法日期；测试用例的复用。文献［３，４］描述了可复用的测试用例库的基本思想，介绍了用例库的基本功能，提出了通过对用例库的管理２００８０５３２表示２００８年５月３２日，它是一个不合法的日期。实现复用的方法。当前测试用例复用的方法中，大部分都是通对于这样的需求，用Ｚ语言描述的规格说明如图１所示。Ｚ过对已有用例的分类、整理以及管理来实现。这种方法对编程语言具有一种特殊的图形方式，类似“Ｅ”形的框称为模式框架。语言、运行环境等依赖性比较强，对用例库的查找算法要求比顶部的标识符ＴｅｓｔＤａｔｅＳｐｅｃ称为模式名称。中间横线上面是声较

7、高。明部分，下面是谓词部分。谓词就是带有参数的命题。ｙｅａｒ？，本文提出一种测试用例复用的机制，以实现测试用例的复ｍｏｎｔｈ？，ｄａｙ？等３个标识符分别表示年，月，日的值，其中？表用。首先使用Ｚ语言规格说明对用户需求进行描述并建立模明该标识符是一输入值。操作符＃可以得到标识符的长度。根型，模型实例化后得到测试用例；接着对测试用例进行可复用描据年份与月份数值的不同，使用谓词定义了每个月日期的取值述，