10.11896/j.issn.1002-137X.2014.09.015
PSC2GS:一个基于属性序列图的监控器生成工具
在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效.基于监控器的软件运行时验证技术已经成为开放环境下侦测软件失效行为的基本方法,该工具采用了一种基于博弈论的从Property Sequence Charts(属性序列图)中自动生成监控器的方法.监控器被赋予多值语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控以及违例.监控器可以提供足够的信息用来预测系统失效.正文中将描述一个名为“PSC2GS”的工具,该工具具有设计属性序列图、基于属性序列图生成博弈结构、基于博弈结构生成Aspect Oriented Programming(面向方面编程)代码(监控器)等一系列功能.PSC2GS提供的完全图形化的前端接口使软件设计者可以不用处理任何特殊的文本或者逻辑公式.
运行时验证、监控器、属性序列图、面向方面编程
41
TP315.69(计算技术、计算机技术)
国家自然科学基金61202097,61202136;中国博士后基金2012T50489,2011M500897;教育部博士点专项基金20120094120009
2014-11-03(万方平台首次上网日期,不代表论文的发表时间)
共4页
84-87