计算机科学 ›› 2014, Vol. 41 ›› Issue (11): 40-45.doi: 10.11896/j.issn.1002-137X.2014.11.009

• 2013’全国软件与应用学术会议 • 上一篇    下一篇

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

江磊,许畅,陈小康   

  1. 南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023;南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023;南京大学计算机软件新技术国家重点实验室 南京210023 南京大学计算机科学与技术系 南京210023
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家863计划(2012AA011205),国家自然科学基金(青年基金项目)(61100038),国家自然科学基金(中美软件合作研究项目)(61361120097),国家基金委可信集成项目(91318301),国家自然科学基金(创新群体)(61321491),教育部新世纪优秀人才支持计划(NCET-10-0486)资助

Search-based Automated Resolution of Context Inconsistency

JIANG Lei,XU Chang and CHEN Xiao-kang   

  • Online:2018-11-14 Published:2018-11-14

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

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

Abstract: In recent years,with the popularization of intelligent equipment and the development of sensor technologies,context-aware applications keep emerging.However,contexts available for applications are prone to inconsistency due to unpredictable and uncontrollable environmental noises.There have been many techniques proposed for resolving such inconsistency.However,they largely overlook two aspects.First,inconsistency resolution for one constraint may lead to violation of another constraint (i.e.,constraint interfering).Second,inconsis tency resolution may affect application functionality or quality (i.e.,side effect).So a novel search-based automated resolution technique for context inconsis -tency was proposed to address these two aspects.Efforts were paid to run the inconsistency resolution efficiently via incremental computing.Experiments show that the newtechnique can produce satisfactory resolution results with negligible time cost.

Key words: Search-based software engineering,Context inconsistency,Constraint interfering,Side effect,Pervasive computing

[1] Bu Y,Gu T,Tao X,et al.Managing quality of context in pervasive computing[C]∥Sixth International Conference on Quality Software,2006.QSIC 2006.IEEE,2006:193-200
[2] Chen C,Ye C,Jacobsen H A.Hybrid context inconsistency resolution for context-aware services[C]∥2011 IEEE International Conference on Pervasive Computing and Communications (PerCom).IEEE,2011:10-19
[3] Demsky B,Rinard M C.Goal-directed reasoning for specifica-tion-based data structure repair[J].IEEE Transactions on Software Engineering,2006,32(12):931-951
[4] Harman M,Mansouri S A,Zhang Y.Search based software engineering:A comprehensive analysis and review of trends techniques and applications[R].Tech.Rep.TR-09-03.Department of Computer Science,King’s College London,2009
[5] Julien C,Roman G C.Egospaces:Facilitating rapid development of context-aware mobile applications[J].IEEE Transactions on Software Engineering,2006,32(5):281-298
[6] Nentwich C,Capra L,Emmerich W,et al.xlinkit:A consistency checking and smart link generation service[J].ACM Transactions on Internet Technology (TOIT),2002,2(2):151-185
[7] Nentwich C,Emmerich W,Finkelstein A.Consistency management with repair actions[C]∥Proceedings.25th International Conference on Software Engineering,2003.IEEE,2003:455-464
[8] Sullivan L.RFID implementation challenges persist,all this time later[J].Information Week,2005,1059:34-40
[9] Xiong Y,Hubaux A,She S,et al.Generating range fixes forsoftware configuration[C]∥2012 34th International Conference on Software Engineering (ICSE).IEEE,2012:58-68
[10] Xu C,Cheung S C,Chan W K,et al.Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications[C]∥28th International Conference on Distributed Computing Systems,2008(ICDCS’08).IEEE,2008:713-721
[11] Xu C,Cheung S C,Chan W K,et al.Partial constraint checking for context consistency in pervasive computing[J].ACM Tran-sactions on Software Engineering and Methodology (TOSEM),2010,19(3):9
[12] Xu C,Ma X,Cao C,et al.Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing[M]∥Mobile and Ubiquitous Systems:Computing,Networking,and Services.Springer Berlin Heidelberg,2012:285-297

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!