方略学科导航

搜索结果: 1-1 共查到“计算机系统结构软件测试”相关记录1条 . 查询时间(0.18 秒)

基于Z规格说明的软件测试用例自动生成 Z规格说明线性谓词区域测试测试用例的自动生成 2007/12/27

提出了一种基于Z规格说明的软件测试用例自动生成方法,通过对软件Z规格说明的分析,找出描述软件输入、输出约束的线性谓词,经过线性谓词转换, 线性谓词到线性不等式组的转换,找出区域边界顶点和边界附近的测试点等过程自动生成测试用例.同时还介绍了基于Z规格说明的软件测试用例自动生成方法的实现, 并通过一个实例进一步加以说明.