一种基于Object-Z规格说明的集成测试用例生成方法

上海大学学报(自然科学版) ›› 2009, Vol. 15 ›› Issue (1): 60-65.

一种基于Object-Z规格说明的集成测试用例生成方法

朱义毅1,缪淮扣1,2,唐新香1

1.上海大学计算机工程与科学学院，上海 200072; 2.上海市计算机软件评测重点实验室，上海 201112

收稿日期:2007-11-01 出版日期:2009-02-21 发布日期:2009-02-21
通讯作者: 缪淮扣(1953～)，男，教授，博士生导师，研究方向为软件形式化方法、软件工程.
作者简介:缪淮扣(1953～)，男，教授，博士生导师，研究方向为软件形式化方法、软件工程.
基金资助:
国家自然科学基金资助项目（60673115）；国家重点基础研究发展计划（973计划）资助项目(2007CB310800)；上海市重点学科建设资助项目（J50103）；上海市教委基金资助项目（07ZZ06）

n Approach to Generating Integration Test Case Based on Object-Z Specification

1. School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China;
2. Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China

Received:2007-11-01 Online:2009-02-21 Published:2009-02-21

摘要/Abstract

摘要：

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述，同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例，提出一种使用Object-Z模式描述组件模型的方法，并且针对模型提出测试准则,产生测试场景，然后根据得到的测试场景产生测试用例.

关键词: 规格说明;集成测试;Object-Z模型;测试用例；组件

Abstract:

Formal methods have precise description and high-level abstraction capability. Written specification in a formal method avoids consideration of data structures and algorithms in detail at the demand analysis stage. Meanwhile, it can reduce uncertainty and ambiguity in system modeling. This paper proposes a method for describing component models by using Object-Z schema and criteria to generate test a scenario, generating test cases for integrated testing on component systems.

Key words: specification; integration testing; Object-Z model; test case; component

中图分类号:

TP 311

朱义毅1,缪淮扣1,2,唐新香1. 一种基于Object-Z规格说明的集成测试用例生成方法[J]. 上海大学学报(自然科学版), 2009, 15(1): 60-65.

ZHU Yi-yi1,MIAO Huai-kou1,2,TANG Xin-xiang1. n Approach to Generating Integration Test Case Based on Object-Z Specification[J]. Journal of Shanghai University（Natural Science Edition）, 2009, 15(1): 60-65.

[1]	高桓1,2, 金翊1,2, 宋凯1,2,3. 针对三值光学计算机的C 语言扩展[J]. 上海大学学报(自然科学版), 2013, 19(3): 280-285.
[2]	杜春业1,2, 张博锋1, 蔡立志2. 面向应用领域的软件质量特性分析[J]. 上海大学学报(自然科学版), 2013, 19(3): 286-292.
[3]	晏霞敏，曾红卫，刘攀，贺斌. 一种Web应用测试生成与约简方法[J]. 上海大学学报(自然科学版), 2012, 18(2): 163-169.