Michele Sama
David S. Rosenblum
ABSTRACT
Applications running on mobile devices are heavily context-aware and adaptive, leading to new analysis and testing challenges as streams of context values drive these applications to undesired configurations that are not easily exposed by existing validation techniques. We address this challenge by employing a finite-state model of adaptive behavior to enable the detection of faults caused by (1) erroneous adaptation logic, and (2) asynchronous updating of context information, which leads to inconsistencies between the external physical context and its internal representation within an application. We identify a number of adaptation fault patterns, each describing a class of faulty behaviors that we detect automatically by analyzing the system's adaptation model. We illustrate our approach on a simple but realistic application in which a cellphone's configuration profile is changed automatically based on the user's location, speed and surrounding environment.
- R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183--235, April 1994. Google Scholar
Digital Library
- V. Barr. Applications of rule-base coverage measures to expert system evaluation. In Proc. National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, pages 411--416, July 1997. Google ScholarDigital Library
- G. Biegel and V. Cahill. A framework for developing mobile, context-aware applications. In Proc. Second IEEE Annual Conference on Pervasive Computing and Communications, pages 361--365, March 2004. Google ScholarDigital Library
- R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293--318, 1992. Google ScholarDigital Library
- L. Capra, W. Emmerich, and C. Mascolo. Carisma: Context-aware reflective middleware system for mobile applications. IEEE Transactions on Software Engineering, 29(10):929--945, October 2003. Google ScholarDigital Library
- E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programmming Languages and Systems, 8(2):244--263, 1986. Google ScholarDigital Library
- A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-method: Testing real-time systems. IEEE Transactions on Software Engineering, 28(11):1023--1038, November 2002. Google ScholarDigital Library
- P. Fahy and S. Clarke. CASS---Middleware for mobile context-aware applications. In Proc. MobiSys Workshop on Context Awareness, pages 304--308, June 2004.Google Scholar
- J. Floch. Theory of adaptation. Deliverable D2.2, MADAM Project, available from http://www.ist-music.eu/MUSIC/madam-project/madam-deliverables/techreportreference. 2007-04-13.0451108510, 2006. Last accessed 7 March 2008.Google Scholar
- T. Gu, H. K. Pung, and D. Q. Zhang. A middleware for building context-aware mobile services. In Proc. IEEE Vehicular Technology Conference, pages 2656--2660, May 2004.Google Scholar
- U. G. Gupta. Automatic tools for testing expert systems. Communications of the ACM, 5:179--184, May 1998. Google ScholarDigital Library
- S. Hauck. Asynchronous design methodologies: An overview. Proceedings of the IEEE, 83:69--93, January 1995.Google ScholarCross Ref
- M. P. Heimdahl and N. G. Leveson. Completeness and consistency in hierarchical state-based requirements. IEEE Transactions on Software Engineering, 22(6):363--377, June 1996. Google ScholarDigital Library
- C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231--261, 1996. Google ScholarDigital Library
- T. Higashino, A. Nakata, K. Taniguchi, and A. R. Cavalli. Generating test cases for a timed I/O automaton model. In Proc. International Workshop on Testing Communicating Systems: Method and Applications, pages 197--214, September 1999. Google ScholarDigital Library
- M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In Proc. 11th International SPIN Workshop, pages 109--126, April 2004.Google ScholarCross Ref
- 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 Proc. International Symposium on Foundations of Software Engineering, pages 242--252, November 2006. Google ScholarDigital Library
- B. Nielsen and A. Skou. Automated test generation from timed automata. International Journal on Software Tools for Technology Transfer, 5(1):59--77, November 2003.Google ScholarDigital Library
- R. Nilsson and J. Offutt. Automated testing of timeliness: A case study. In Proc. International Workshop on Automation of Software Test, page 11, May 2007. Google ScholarDigital Library
- A. Ranganathan and R. H. Campbell. A middleware for context-aware agents in ubiquitous computing environments. In Proc. ACM/IFIP/USENIX International Middleware Conference, pages 143--161, June 2003. Google ScholarDigital Library
- G.-C. Roman, P. J. McCann, and J. Y. Plun. Mobile UNITY: Reasoning and specification in mobile computing. ACM Transactions on Software Engineering and Methodology, 6(3):250--282, July 1997. Google ScholarDigital Library
- M. Sama and D. Rosenblum. ContextNotifier. http://code.google.com/p/contextnotifier/. Last accessed 7 March 2008.Google Scholar
- M. Sama and D. Rosenblum. TestingEmulator. http://code.google.com/p/testingemulator/. Last accessed 7 March 2008.Google Scholar
- M. Sama, D. S. Rosenblum, Z. Wang, and S. Elbaum. Multi-layer faults in the architectures of mobile, context-aware adaptive applications: A position paper (Short Paper). In Proc. ICSE 2008 International Workshop on Software Architectures and Mobility, pages 47--50, May 2008. Google ScholarDigital Library
- T. Tse, S. Yau, W. Chan, H. Lu, and T. Chen. Testing context-sensitive middleware-based software applications. In Proc. International Computer Software and Applications Conference, pages 458--465, September 2004. Google ScholarDigital Library
- S. H. Unger. Hazards, critical races, and metastability. IEEE Transactions on Computers, 44(6):754--768, June 1995. Google ScholarDigital Library
- Z. Wang, S. Elbaum, and D. S. Rosenblum. Automated generation of context-aware tests. In Proc. International Conference on Software Engineering, pages 406--415, May 2007. Google ScholarDigital Library
- G. Wassermann, C. Gould, Z. Su, and P. Devanbu. Static checking of dynamically generated queries in database applications. ACM Transactions on Software Engineering and Methodology, 16(4):article 14, 2007. Google ScholarDigital Library
- C. Xu and S. C. Cheung. Inconsistency detection and resolution for context-aware middleware support. In Proc. Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 336--345, September 2005. Google ScholarDigital Library
- C. Xu, S. C. Cheung, and W. K. Chan. Incremental consistency checking for pervasive context. In Proc. International Conference on Software Engineering, pages 292--301, May 2006. Google ScholarDigital Library
Index Terms
- Model-based fault detection in context-aware adaptive applications
Recommendations
Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification
Applications running on mobile devices are intensely context-aware and adaptive. Streams of context values continuously drive these applications, making them very powerful but, at the same time, susceptible to undesired configurations. Such ...
Multi-layer faults in the architectures of mobile, context-aware adaptive applications: a position paper
SAM '08: Proceedings of the 1st international workshop on Software architectures and mobilityFive cellphones are sold every second, and there are four times more cellphones than computers, meaning there are some billions of mobile handheld devices in existence. Modern cellphones are equipped with multiple context sensors used by increasingly ...
Multi-layer faults in the architectures of mobile, context-aware adaptive applications
Modern hand-held devices are equipped with multiple context sensors exploited by increasingly sophisticated software applications, called Context-Aware Adaptive Applications (CAAAs), that adapt automatically to changes in the surrounding environment, ...
Comments