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

摘要

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