非一致上下文的自动修复技术.pdfVIP

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@ Journal of Frontiers of Computer Science and Technology 1673-9418/2012/06(00)-0000-00 Tel: +86-10 DOI: 10.3778/j.issn.1673-9418.2012.00.000 非一致上下文的自动修复技术 1,2 1,2+ 1,2 陈小康 , 许畅 , 江磊 1. 南京大学软件新技术国家重点实验室, 江苏省 南京市 210046 2. 南京大学计算机科学与技术系, 江苏省 南京市 210046 Automated Fixing of Inconsistent Contexts CHEN Xiao-Kang1,2, XU Chang1,2+, JIANG Lei1,2 1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210046, China 2. Department of Computer Science and Technology, Nanjing University, Nanjing 210046, China + Corresponding author: Phn: +86-25 Fax: +86-25 E-mail: changxu@ CHEN Xiao-kang, XU Chang, JIANG Lei. Automated Fixing of Inconsistent Contexts. Journal of Frontiers of Computer Science and Technology, 2012, 6(0): 1−000. Abstract: In pervasive computing, environmental contexts are subject to frequent changes. Context-aware applications need to adapt their behavior accordingly. However, contexts can be easily inconsistent due to many reasons including unpredicted environmental noises and dynamics. Context inconsistency can lead to anomaly or even failure to applications. To address such problems, a novel technique for automatically fixing inconsistent contexts is proposed. It consists of two stages: (1) generating abstract repair cases, and (2) executing them concretely to validate whether context inconsistency has been fixed. The generated repair cases can be complete or sound, depending on actual requirements from users. The experimental results reported that our technique achieved a much higher repairing rate than existing techniques. Key words: pervasive computing; contex