| 一种基于Object-Z规格说明的集成测试用例生成方法 |
| |
| 引用本文： | 朱义毅,缪淮扣,唐新香. 一种基于Object-Z规格说明的集成测试用例生成方法[J]. 上海大学学报(自然科学版), 2009, 15(1): 60-65 |
| |
| 作者姓名： | 朱义毅 缪淮扣 唐新香 |
| |
| 作者单位： | 1. 上海大学,计算机工程与科学学院,上海,200072
2. 上海大学,计算机工程与科学学院,上海,200072;上海市计算机软件评测重点实验室,上海,201112 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展规划(973计划)，上海市重点学科建设项目，上海市教育委员会资助项目 |
| |
| 摘 要： | 形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述，同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例，提出一种使用Object-Z模式描述组件模型的方法，并且针对模型提出测试准则,产生测试场景，然后根据得到的测试场景产生测试用例.
|
| 关 键 词： | 规格说明 集成测试 Object-Z模型 测试用例；组件 |
| 收稿时间： | 2007-11-01 |
An Approach to Generating Integration Test Case Based on Object-Z Specification |
| |
| ZHU Yi-yi,MIAO Huai-kou,TANG Xin-xiang. An Approach to Generating Integration Test Case Based on Object-Z Specification[J]. Journal of Shanghai University(Natural Science), 2009, 15(1): 60-65 |
| |
| Authors: | ZHU Yi-yi MIAO Huai-kou TANG Xin-xiang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《上海大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《上海大学学报(自然科学版)》下载免费的PDF全文 |
