一种开放环境下软件在线演化一致性验证方法

来源：软件学报杂志2015年第4期北京时间：

作者：周宇,黄延凯,黄志球,吴维刚

单位：周宇，南京航空航天大学 计算机科学与技术学院, 江苏 南京 210016;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21009311,黄延凯，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21001602,黄志球，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21001603,吴维刚，中山大学 信息科学与技术学院, 广东 广州 51000604

摘要：一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.

关键词：在线演化;时间自动机;一致性;模型检验

基金资助：国家自然科学基金(61202002, 61272083, 61379157); 江苏省软件新技术与产业化协同创新中心计划