Hybrid-Fixing:上下文一致性错误的正确修复

来源：计算机研究与发展杂志2015年第6期北京时间：

作者：陈小康,许畅,江磊,

摘要：在普适计算中，上下文持续快速变化，上下文感知应用根据上下文变化自动调整自身的行为以作出适应.然而，由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响，环境上下文会发生一致性错误，从而导致应用表现异常甚至失效.为了解决这些问题，上下文一致性错误需要被自动并正确地修复，现基于已有工作提出了一项新的修复技术hybrid-fixing，它结合了对一致性约束的静态分析和修复动作的动态产生，即使一致性约束内部存在复杂依赖关系，也能确保所生成的修复用例必然正确.实验结果表明，这项修复技术大幅提高了一致性约束内部存在复杂依赖关系下一致性错误修复的成功率，并只花费了很小的时间开销.

关键词：普适计算, 上下文, 一致性错误, 自动修复, 正确修复,