| 基于Z规格说明的软件测试用例自动生成 |
| |
| 引用本文： | 兰毓华,毛法尧,曹化工.基于Z规格说明的软件测试用例自动生成[J].计算机学报,1999,22(9):963-969. |
| |
| 作者姓名： | 兰毓华 毛法尧 曹化工 |
| |
| 作者单位： | 华中理工大学计算机学院,武汉,430074 |
| |
| 摘 要： | 提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过经性谓词转换，线性谓词到线性不等式组的转换，找出区域边界顶点和边界附近的测试点等过程自动生成测试用例。同时还介绍了基于Ｚ规格说明的软件测试用例自动生成方法的实例，并通过一个实例进一步加以说明。
|
| 关 键 词： | Z规格说明 线性谓词 区域测试 测试用例的自动生成 |
| 修稿时间： | 1998年5月18日 |
AUTOMATED TEST CASE GENERATION FROM Z SPECIFICATION |
| |
| LAN Yu-Hua,MAO Fa-Yao,CAO Hua-Gong.AUTOMATED TEST CASE GENERATION FROM Z SPECIFICATION[J].Chinese Journal of Computers,1999,22(9):963-969. |
| |
| Authors: | LAN Yu-Hua MAO Fa-Yao CAO Hua-Gong |
| |
| Abstract: | This paper proposes a kind of method of automatically generating test case from Z specification. Test case can automatically be generated by analyzing Z specification of the software, finding linear predicates of describing input/output constraint, transforming linear predicates into linear inequalities, finding the vertices and near points of the input and output domain boundary and other process. Moreover, it describes a method and an example of automatically generating test case from Z specification. |
| |
| Keywords: | Z specification linear predicates domain test automated test case generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
