TY - GEN
T1 - Testing pervasive software in the presence of context inconsistency resolution services
AU - Lu, Heng
AU - Chan, W. K.
AU - Tse, T. H.
PY - 2008
Y1 - 2008
N2 - 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. Copyright 2008 ACM.
AB - 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. Copyright 2008 ACM.
KW - Context inconsistency resolution
KW - Pervasive computing
KW - Test adequacy
UR - http://www.scopus.com/inward/record.url?scp=57349160449&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-57349160449&origin=recordpage
U2 - 10.1145/1368088.1368098
DO - 10.1145/1368088.1368098
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 9781605580791
SP - 61
EP - 70
BT - Proceedings - International Conference on Software Engineering
T2 - 30th International Conference on Software Engineering 2008, ICSE'08
Y2 - 10 May 2008 through 18 May 2008
ER -