全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

程序时序属性的自动测试

Keywords: 测试预言线性时序逻辑fsaltl状态自动机反应式系统

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133