| 基于形式规约的软件测试用例自动生成技术研究 |
| |
| 引用本文： | 邹北骥,张保国,李军义,孙家广.基于形式规约的软件测试用例自动生成技术研究[J].湖南大学学报(自然科学版),2004,31(3):81-85. |
| |
| 作者姓名： | 邹北骥 张保国 李军义 孙家广 |
| |
| 作者单位： | 湖南大学,计算机与通信学院,湖南,长沙,410082;清华大学,计算机科学与技术系,北京,100084;湖南大学,计算机与通信学院,湖南,长沙,410082;清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家863基础研究类项目(No.2002AA411510)，中国科学院软件所计算机科学重点实验室课题(No.SYSKF0307) |
| |
| 摘 要： | 在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约；以HierOns提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如ViPi∧Qi的析取范式；然后根据析取范式将Z语言描述的操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．
|
| 关 键 词： | 自动化测试 软件测试 Z语言 测试用例生成 状态转换 |
| 文章编号： | 1000-2472(2004)03-0081-05 |
Research on Automatic Test Case Generation Based on Form Specification |
| |
| ZOU Bei-ji.Research on Automatic Test Case Generation Based on Form Specification[J].Journal of Hunan University(Naturnal Science),2004,31(3):81-85. |
| |
| Authors: | ZOU Bei-ji |
| |
| Institution: | ZOU Bei-ji~ |
| |
| Abstract: | |
| |
| Keywords: | automatic testing software testing Z notation test case generation state transition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《湖南大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南大学学报(自然科学版)》下载免费的PDF全文 |
