程序时序属性的自动测试

• 作者: 王戟 董威 马晓东 齐治昌
• 来源期刊: 计算机科学
• 关键词: 测试预言 线性时序逻辑 FSA
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 132-134,179
• 页数: 4页
• 字数: 6102字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.06.037

摘要

测试预言是一种用来检测被测系统的测试执行是否正确的方法.文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法.首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线性时序逻辑性质有关的状态序列.最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科学技术大学计算机学院	44	1257	17.0	35.0
2	董威	国防科学技术大学计算机学院	32	402	10.0	19.0
3	齐治昌	国防科学技术大学计算机学院	38	881	15.0	29.0
4	马晓东	国防科学技术大学计算机学院	2	4	2.0	2.0