程序时序属性的自动测试

摘要：

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

关键词：测试预言、线性时序逻辑、FSA

所属期刊栏目：31

分类号：TP3;TP1

在线出版日期：2004-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：132-134,179