文献检索-宁波市创意产业特色资源库

限定检索结果

程序时序属性的自动测试: 收藏
分享
引用; 《计算机科学》2004年第6期31卷 132-134,179页; 作者：马晓东董威王戟齐治昌国防科学技术大学计算机学院长沙410073; 测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线...; 测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线性时序逻辑性质有关的状态序列。最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。; 来源：详细信息评论

限定检索结果