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. Keywords: pervasive computing, context inconsistency resolution, test adequacy

1. This research is supported in part by grants of the Research Grants Council of Hong Kong (project nos. 111107, 716507, 717506). 2. The University of Hong Kong, Pokfulam, Hong Kong. 3. City University of Hong Kong, Tat Chee Avenue, Hong Kong. 4. (Corresponding author.) The University of Hong Kong, Pokfulam, Hong Kong. Email:

EVERY VISITOR COUNTS: