ABSTRACT
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pervasive computing environment to context-aware applications. A faulty context-aware application may, however, mistakenly mix up inconsistent contexts and resolved ones, causing incorrect results. This paper studies how such faulty context-aware applications may be affected by these services. We model how programs should handle contexts that are continually checked and resolved by context inconsistency resolution, develop novel sets of data flow equations to analyze the potential impacts, and thus formulate a new family of test adequacy criteria for testing these applications. Experimentation shows that our approach is promising.
- L. Capra, W. Emmerich, and C. Mascolo. CARISMA: context-aware reflective middleware system for mobile applications. IEEE TSE, 29 (10): 929--944, 2003. Google ScholarDigital Library
- A. K. Dey, D. Salber, and G. D. Abowd. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Computer Interaction Journal, 16 (2-4): 97--166, 2001. Google ScholarDigital Library
- P. G. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In Proceedings of SIGSOFT '98/FSE-6, pages 153--162, 1998. Google ScholarDigital Library
- P. G. Frankl and S. N. Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE TSE, 19 (8): 774--787, 1993. Google ScholarDigital Library
- P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE TSE, 14 (10): 1483--1498, 1988. Google ScholarDigital Library
- D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: a holistic approach to networked embedded systems. In Proceedings of PLDI 2003, pages 1--11. 2003. Google ScholarDigital Library
- M. J. Harrold and M. L. Soffa. Efficient computation of interprocedural definition--use chains. ACM TOSEM, 16 (2): 175--204, 1994. Google ScholarDigital Library
- M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, 1977. Google ScholarDigital Library
- M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of ICSE '94, pages 191--200, 1994. Google ScholarDigital Library
- S. R. Jeffery, M. Garofalakis, and M. J. Franklin. Adaptive cleaning for RFID data streams. In Proceedings of VLDB 2006, pages 163--174. 2006. Google ScholarDigital Library
- Z. Jin and A. J. Offutt. Coupling-based criteria for integration testing. Software Testing, Verification and Reliability, 8 (3): 133--154, 1998.Google ScholarCross Ref
- C. Julien and G.-C. Roman. EgoSpaces: facilitating rapid development of context-aware mobile applications. IEEE TSE, 32 (5): 281--298, 2006. Google ScholarDigital Library
- H. Lu. A context-oriented framework for software testing in pervasive environment. In Doctoral Symposium, Proceedings of ICSE 2007, pages 77--78. 2007. Google ScholarDigital Library
- H. Lu, W. K. Chan, and T. H. Tse. Testing context-aware middleware-centric programs: a data flow approach and an RFID--based experimentation. In Proceedings of SIGSOFT 2006/FSE-14, pages 242--252. 2006. Google ScholarDigital Library
- A. L. Murphy, G. P. Picco, and G.-C. Roman. LIME: a coordination model and middleware supporting mobility of hosts and agents. ACM TOSEM, 15 (3): 279--328, 2006. Google ScholarDigital Library
- L. M. Ni, Y. Liu, Y. C. Lau, and A. P. Patil. LANDMARC: indoor location sensing using active RFID. ACM Wireless Networks, 10 (6): 701--710, 2004. Google ScholarDigital Library
- S. C. Ntafos. On required element testing. IEEE TSE, SE-10 (6): 795--803, 1984.Google ScholarDigital Library
- J. Rao, S. Doraiswamy, H. Thakkar, and L. S. Colby. A deferred cleansing method for RFID data analytics. In Proceedings of VLDB 2006, pages 175--186. 2006. Google ScholarDigital Library
- P. Tarr and L. A. Clarke. Consistency management for complex applications. In Proceedings of ICSE '98, pages 230--239. 1998. Google ScholarDigital Library
- T. H. Tse, S. S. Yau, W. K. Chan, H. Lu, and T. Y. Chen. Testing context-sensitive middleware-based software applications. In Proceedings of COMPSAC 2004, volume 1, pages 458--465. 2004. Google ScholarDigital Library
- Z. Wang, S. G. Elbaum, and D. S. Rosenblum. Automated generation of context-aware tests. In Proceedings of ICSE 2007, pages 406--415. 2007. Google ScholarDigital Library
- R. Want, A. Hopper, V. Falcao, and J. Gibbons. The active badge location system. ACM TOIS, 10 (1): 91--102, 1992. Google ScholarDigital Library
- C. Xu, S. C. Cheung, and W. K. Chan. Incremental consistency checking for pervasive context. In Proceedings of ICSE 2006, pages 292--301. 2006. Google ScholarDigital Library
- C. Xu, S. C. Cheung, W. K. Chan, and C. Ye. Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications. In Proceedings of ICDCS 2008. 2008. Google ScholarDigital Library
- S. S. Yau and F. Karim. An adaptive middleware for context-sensitive communications for real-time applications in ubiquitous computing environments. Journal of Real-Time Systems, 26 (1): 29--61, 2004. Google ScholarDigital Library
Index Terms
- Testing pervasive software in the presence of context inconsistency resolution services
Recommendations
Inconsistency detection and resolution for context-aware middleware support
Context-awareness is a key feature of pervasive computing whose environments keep evolving. The support of context-awareness requires comprehensive management including detection and resolution of context inconsistency, which occurs naturally in ...
On impact-oriented automatic resolution of pervasive context inconsistency
ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineeringContext-awareness is a capability that allows applications in pervasive computing to adapt themselves continuously to changing contexts of their environments. However, contexts from physical environments may be inconsistent. It affects the correctness ...
On impact-oriented automatic resolution of pervasive context inconsistency
ESEC-FSE companion '07: The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papersContext-awareness is a capability that allows applications in pervasive computing to adapt themselves continuously to changing contexts of their environments. However, contexts from physical environments may be inconsistent. It affects the correctness ...
Comments