共 2 条
[1]
线性规划[M]. 高等教育出版社 , 薛嘉庆 编著, 1989
[2]
离散数学及其在计算机中的应用[M]. 人民邮电出版社 , 徐洁磐等 编著, 1988
基于Z规格说明的软件测试用例自动生成
被引：19
作者：
兰毓华
毛法尧
曹化工
机构：
[1] 华中理工大学计算机学院!武汉
来源：
关键词：
Z规格说明;
线性谓词;
区域测试;
测试用例的自动生成;
D O I：
暂无
中图分类号：
TP311.11 [];
学科分类号：
081202 ;
0835 ;
摘要：
提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过线性谓词转换， 线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例．同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实现， 并通过一个实例进一步加以说明
引用
收藏
页码：963 / 969
页数：7
相关论文