基于搜索的上下文一致性错误处理

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

来源：计算机科学, 2014, 41(11): 40-45.

• 基于搜索的软件工程
• 上下文一致性错误
• 约束间干扰
• 副作用
• 普适计算

近年来,随着智能设备的普及和传感技术的发展,上下文感知程序的应用越来越广泛。但是由于环境噪声难以预测和控制,程序所获得的上下文经常存在一致性错误。处理这类错误的方法很多,但大都忽视了两方面的问题:1)不同一致性约束之间存在相互干扰;2)处理这类错误的操作本身可能对程序的正常运行造成负面影响。以处理这两方面的问题为目标,提出了一种新的基于搜索的上下文一致性错误处理方法,亦即既设计出一个搜索空间来查找避免约束间相互干扰和对程序产生负面影响的解,又采用了一种增量式评估方案来加速搜索的效率。经实验评估,新方法能够在很短的时间内达到非常接近最优解的效果。

• 单位
  计算机软件新技术国家重点实验室; 南京大学