同济大学学报(自然科学版)

2002, (10) 1226-1231

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

从测试规格说明到测试用例的自动生成方法
Approach to Automatically Generating Test Cases from Test Specification

胡芸,缪淮扣,刘玲

摘要(Abstract):

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .

关键词(KeyWords): 形式化规格说明;测试规格说明;域测试;1×1域测试策略

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金资助项目 ( 6 0 1730 30 )

作者(Author): 胡芸,缪淮扣,刘玲

Email:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享