程序时序属性的自动测试

作     者：马晓东 董威 王戟 齐治昌 MA XlAO-Dong DONG Wei WANG Ji QI Zhi-Chang (College of Computer Sicence, National University of Defense Technolgy, Changsha 410073)

作者机构：国防科学技术大学计算机学院长沙410073 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2004年第31卷第6期

页      码：132-134,179页

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

主 题 词：测试预言 线性时序逻辑 FSA LTL 状态自动机 反应式系统 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2004.06.037

馆 藏 号：203325616...