《计算机学报》文章摘要 全文下载 | |
文章题目 | 基于Z规格说明的软件测试用例自动生成 |
作者 | 兰毓华 毛法尧 曹化工 |
作者单位 | (华中理工大学计算机学院 武汉 430074) |
发表年份 | 1999 |
发表月份 | 9期 (页码:963—769) |
文章摘要 | 提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换, 线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成测试用例.同时还介绍了基于Z规格说明的软件测试用例自动生成方法的实现, 并通过一个实例进一步加以说明. 关键词 Z规格说明,线性谓词,区域测试,测试用例的自动生成. |