位置：立项数据库 > 立项详情页
基于模型检测的软件动态演化一致性保障机制研究
  • 项目名称：基于模型检测的软件动态演化一致性保障机制研究
  • 项目类别：青年科学基金项目
  • 批准号：61202002
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2013-01-01-2015-12-31
  • 项目负责人：周宇
  • 依托单位：南京航空航天大学
  • 批准年度：2012
中文摘要：

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

中文主题词： 软件演化；开放环境；一致性；模型检测；
结论摘要：

英文主题词software evolution；open environment；consistency；model checking；

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 9
  • 9
  • 0
  • 0
  • 0
期刊论文
Verifying specifications with associated attributes in graph transformation systems
Model Based Verification of Dynamically Evolvable Service Oriented Systems
A middleware platform for the dynamic evolution of distributed component-based systems
Verification of real-time models with hierarchical extensions
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
一种开放环境下软件在线演化一致性验证方法
一种基于Token Log的符合性检查方法
一种Java API文档对异常描述不一致的自动检测方法
会议论文
Hierarchical Timed Automata Based Verification of Dynamic Evolution Process in Open Environments
Combining Text Mining and Data Mining for Bug Report Classification
Towards A Novel Approachfor Defect Localization Based on Part-of-Speech and Invocation
Minimal Cut Sequence Generation for State/Event Fault Trees
Towards Fine-Grained Verification of Application Mobility
Model Checking Partial Software Product LineDesigns
Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking
Hierarchical Eventual Leader Election for Dynamic Systems
A Novel QoS Monitoring Approach Sensitive to Environmental Factors
相关项目
品牌忠诚动态形成过程及其影响因素—一项跨文化研究
期刊论文 4 会议论文 5
通讯约束下随机自适应控制的信息论方法
期刊论文 19 会议论文 8
多Agent社会法则建模及其自动合成问题的研究
期刊论文 8 会议论文 24
面向网络存储的集群系统的体系结构
期刊论文 10
通讯受限下多智能体网络系统的一致性分析与综合
期刊论文 54 会议论文 7 获奖 10
包封法及推理系统的可判定性
期刊论文 7 会议论文 2 著作 2
基于Agent的软件自适应动态集成演化方法研究
期刊论文 19 会议论文 17
面向云计算的拜占庭故障诊断与容错关键技术研究
期刊论文 20 会议论文 7
切换系统的分析与综合
期刊论文 15 会议论文 11
周宇的项目