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

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

作　　者：朱义毅[1] 缪淮扣[1,2] 唐新香[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]上海市计算机软件评测重点实验室,上海201112

出　　处：《上海大学学报（自然科学版）》2009年第1期60-65,共6页Journal of Shanghai University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60673115);国家重点基础研究发展计划(973计划)资助项目(2007CB310800);上海市重点学科建设资助项目(J50103);上海市教委基金资助项目(07ZZ06)

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

关 键 词：规格说明 集成测试 Object—Z模型 测试用例 组件 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]