Testing pervasive software in the presence of context inconsistency resolution services

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 61-70

  Lu, Heng ^a   Chan, W K ^b   Tse, T H ^a  

^a UNIVERSITY OF HONG KONG   (Hong Kong)

^b CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Context inconsistency resolution; Pervasive computing; Test adequacy

Indexed keywords

APPLICATIONS; DATA FLOW ANALYSIS; SOFTWARE ENGINEERING; UBIQUITOUS COMPUTING; SOFTWARE TESTING;

CONTEXT INCONSISTENCY RESOLUTION; CONTEXT-AWARE APPLICATIONS; DATA FLOWS; INCONSISTENT CONTEXTS; PERVASIVE COMPUTING; PERVASIVE COMPUTING ENVIRONMENTS; POTENTIAL IMPACTS; TEST ADEQUACY; TEST ADEQUACY CRITERION;

SOFTWARE TESTING; UBIQUITOUS COMPUTING;

CONTEXT AWARE APPLICATIONS; CONTEXT INCONSISTENCY RESOLUTION; DATA FLOW; INCONSISTENCY RESOLUTION; INCONSISTENT CONTEXT; PERVASIVE COMPUTING; PERVASIVE COMPUTING ENVIRONMENT; POTENTIAL IMPACTS; TEST ADEQUACY; TEST ADEQUACY CRITERIA;

EID: 57349160449     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368098     Document Type: Conference Paper

References (25)

1. L. Capra, W. Emmerich, and C. Mascolo. CARISMA: context-aware reflective middleware system for mobile applications. IEEE TSE, 29(10):929-944, 2003.
2. 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.
3. P. G. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In Proceedings of SIGSOFT '98/FSE-6, pages 153-162, 1998.
4. 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.
5. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE TSE, 14(10):1483-1498, 1988.
6. 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.
7. M. J. Harrold and M. L. Soffa. Efficient computation of interprocedural definition-use chains. ACM TOSEM, 16(2):175-204, 1994.
8. M. S. Hecht. Flow Analysis of Computer Programs. Elsevier, 1977.
9. 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.
10. S. R. Jeffery, M. Garofalakis, and M. J. Franklin. Adaptive cleaning for RFID data streams. In Proceedings of VLDB 2006, pages 163-174.2006.
11. Z. Jin and A. J. Offutt. Coupling-based criteria for integration testing. Software Testing, Verification and Reliability, 8(3): 133-154, 1998.
12. C. Julien and G.-C. Roman. EgoSpaces: facilitating rapid development of context-aware mobile applications. IEEE TSE, 32(5):281-298, 2006.
13. H. Lu. A context-oriented framework for software testing in pervasive environment. In Doctoral Symposium, Proceedings of ICSE 2007, pages 77-78. 2007.
14. 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.
15. 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.
16. 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.
17. S. C. Ntafos. On required element testing. IEEE TSE, SE-10 (6):795-803, 1984.
18. 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.
19. P. Tarr and L. A. Clarke. Consistency management for complex applications. In Proceedings of ICSE '98, pages 230 - 239. 1998.
20. 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.
21. Z. Wang, S. G. Elbaum, and D. S. Rosenblum. Automated generation of context-aware tests. In Proceedings of ICSE 2007, pages 406-415.2007.
22. R. Want, A. Hopper, V. Falcao, and J. Gibbons. The active badge location system. ACM TOIS, 10(1):91-102, 1992.
23. C. Xu, S. C. Cheung, and W. K. Chan. Incremental consistency checking for pervasive context. In Proceedings of ICSE 2006, pages 292-301.2006.
24. 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.
25. 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.