| 从测试规格说明到测试用例的自动生成方法 |
| |
| 引用本文： | 胡芸,缪淮扣,刘玲.从测试规格说明到测试用例的自动生成方法[J].同济大学学报(自然科学版),2002,30(10):1226-1231. |
| |
| 作者姓名： | 胡芸 缪淮扣 刘玲 |
| |
| 作者单位： | 上海大学,计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 6 0 1730 30 ) |
| |
| 摘 要： | 讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .
|
| 关 键 词： | 形式化规格说明 测试规格说明 域测试 1×1域测试策略 |
| 文章编号： | 0253-374X(2002)10-1226-06 |
| 修稿时间： | 2002年5月30日 |
Approach to Automatically Generating Test Cases from Test Speci fication |
| |
| HU Yun,MIAO Huai-kou,LIU Ling.Approach to Automatically Generating Test Cases from Test Speci fication[J].Journal of Tongji University(Natural Science),2002,30(10):1226-1231. |
| |
| Authors: | HU Yun MIAO Huai-kou LIU Ling |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
