情境感知自适应软件的失效分析与错误修复技术研究

为支持面向开放环境的情境感知自适应软件的系统构建与质量保障，本项目考察开放环境的动态特性以及开放环境下情境感知软件的自适应特征，建立开放环境上下文一致性与软件自适应模型；而后着重研究开放环境上下文建模技术、上下文一致性维护技术、软件自适应失效分析技术、自适应错误动态修复等支撑技术；并在此基础上研制情境感知自适应软件的失效分析与错误修复支撑平台，为面向开放环境的情境感知自适应软件的运行与维护提供有效支持。.本项目的研究旨在为情境感知自适应软件的模型与技术体系提供较为系统化的关键技术支撑，为软件产业的发展提供创新技术支持。

本项目关注情境感知自适应软件的环境上下文处理和自适应逻辑质量保障，在两方面都获得了较大的进展。在环境上下文处理方面，提出了并发约束检测和自动错误修复技术，并将环境上下文的处理推广至多应用场景和支持软件层面的定制需求。在自适应逻辑质量保障方面，提出了动态分析和静态分析技术来提升软件的错误检出率和降低误报率，针对不确定环境因素进行了基于环境和不确定性约束建模的验证工作，并对运行时错误恢复和非功能性质量保障也进行了深入的研究。研究工作共发表学术论文27篇，其中SCI检索5篇，EI检索20篇，并包括高质量的CCF-A类论文3篇。也申请了三项专利，并获得了包括中创软件人才和ACM SIGSOFT Distinguished Paper Award在内的多项学术奖励。本项目也培养了多名研究生，其中5名硕士生毕业并获得硕士学位。