基于时序规范的测试预言自动生成技术评述

• 作者: 王戟 王馨 齐治昌
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 测试预言 时序规范 时序逻辑 自动机
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 研究与实现
• 页码范围: 127-130,133
• 页数: 5页
• 分类号: TP311.5
• 字数: 5458字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2006.07.040

摘要

测试预言是一种检验待测系统在特定执行下是否正确运行的方法,是软件测试过程中必不可少的阶段,也是软件测试研究的薄弱环节.针对反应式实时系统,我们使用时序规范来描述系统性质.本文详细阐述了基于时序规范的测试预言自动生成技术的研究现状,并按预言生成的理论基础将预言生成方法分为四类进行介绍.最后,并分析了基于时序规范的测试预言生成面临的困难.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	齐治昌	国防科技大学计算机学院	42	432	12.0	19.0
3	王馨	国防科技大学计算机学院	1	2	1.0	1.0