基于模型检测的软件动态演化一致性保障机制研究

项目名称： 基于模型检测的软件动态演化一致性保障机制研究

项目编号： No.61202002

项目类型： 青年科学基金项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 周宇

作者单位： 南京航空航天大学

项目金额： 23万元

中文摘要： 演化一致性保障技术是开放环境下软件演化研究的热点问题。传统的模型检测方法着力于通用的模型内部状态的表达和处理方式，由于状态空间爆炸问题，难以直接利用该技术来验证较大规模软件一致性。本课题拟针对此问题展开研究，主要包括：1，研究开放环境下软件演化的形态、行为特征，提炼一种新的以体系结构为中心的领域建模机制2，根据领域模型特征，针对性地设计内部状态生成算法，避免那些本质相同但在通用模型检测工具中认为是不同的状态产生；3，研究一致性规约属性的结构特征，将全局属性转换为一系列等价局部属性，利用组合推理技术，并行化分别验证。通过以上研究，在待验证系统的规模和验证效率等方面取得进展与突破，为软件动态演化正确有效地实施提供技术保障。

中文关键词： 软件演化；开放环境；一致性；模型检测；

英文摘要： The consistency assurance mechanism during evolution is an active research topic of software evolution in open environment. Traditional model checking techniques focus on the internal states' representation and manipulation in a general sense. Due to the

英文关键词： software evolution；open environment；consistency；model checking；