基于形式规约的软件测试用例自动生成技术研究.pdf

第 卷 第 期 湖 南 大 学 学 报 （自然 科 学 版 ） ， 31 3 Vol . 31 No. 3 年 月 （ ） 2 0 0 4 6 Journal of ~unan University Natural Sciences Jun . 2 0 0 4 文章编号： （ ） 1000-2472 2004 03-0081-05 基于形式规约的软件测试用例自动生成技术研究! ， 1 2 1 1 2 邹北骥 ，张保国 ，李军义 ，孙家广 （ 湖南大学 计算机与通信学院，湖南 长沙 ； 1. 410082 2 . 清华大学 计算机科学与技术系，北京 100084 ） 摘 要：在 提出的一种基于 语言软件自动测试方法的基础上进行了拓展 该 ~ierons Z . 方法基于软件的Z 语言规约；以~ierons 提出的推理规则为基础，提出了分裂树的算法，将 操作模式的约束条件转换为形如 的析取范式；然后根据析取范式将 语言描述的 ## Z ! ! ! 操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状 态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状 态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则. 关键词：自动化测试；软件测试；语言；测试用例生成；状态转换 Z 中图分类号： 文献标识码： TP311 . 5 A Research on Automatic Test Case Generation Based on Form S ecif ication p ， 1 2