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

• 作者: 孙家广 张保国 李军义 邹北骥
• 来源期刊: 湖南大学学报（自认科学版）
• 关键词: 自动化测试 软件测试 Z语言 测试用例生成 状态转换
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 81-85
• 页数: 5页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3321/j.issn:1000-2472.2004.03.019

摘要

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons 提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙家广	清华大学计算机科学与技术系	99	2729	26.0	50.0
2	李军义	湖南大学计算机与通信学院	35	264	8.0	15.0
3	邹北骥	湖南大学计算机与通信学院	37	503	14.0	21.0
7	张保国	湖南大学计算机与通信学院	1	13	1.0	1.0