嵌套模式模板在运行时验证中的应用

摘要：

随着信息技术的迅速发展,对于硬件、软件、网络等可靠性的高效检验成为急需解决的一个重要问题.在众多验证方法中,运行时验证由于其反馈及时、轻量级等多种优势正被应用到越来越广泛的领域.然而,现有运行时验证方法仍有两方面的不足:其一,尽管现有运行时验证中对性质的描述采用形式化方法,但现有自然语言向形式化语言的转化过程不能直接完成,这就会极大的影响了运行时验证的推广使用.其二,现有运行时中规约都是常量事件,并具有不可变性,而在实际中大量事件之间的关系是具有共性的.因此,在对现有规约进行统计的基础上,抽象出常用规约组成模式库,这样用户可根据需要,来调用模式库中的模板,从而减少了从自然语言到形式化方法的转化过程中所需的人工干预.

关键词：运行时验证、嵌套模式、模式匹配、嵌套模式自动机

所属期刊栏目：38

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61100034;国家自然科学基金委员会-中国民航局民航联合研究基金项目U1533130;教育部留学回国人员科研启动基金项目2013

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

页数：共5页

页码：489-493