Context-aware adaptive applications: fault patterns and their automated identification
Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rosenblum, David S. and Wang, Zhimin
(2010)
Context-aware adaptive applications: fault patterns and their automated identification.
IEEE Transactions on Software Engineering, 36
(5)
.
pp. 644-661.
ISSN 0098-5589
[Article]
(doi:10.1109/TSE.2010.35)
Abstract
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 configurations are not easily exposed by existing validation techniques, thereby leading to new analysis and testing challenges. In this paper, we address some of these challenges by defining and applying a new model of adaptive behavior called an Adaptation Finite-State Machine (A-FSM) to enable the detection of faults caused by both erroneous adaptation logic and asynchronous updating of context information, with the latter leading 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. Finally, we describe three classes of algorithms to detect such faults automatically via analysis of the A-FSM. We evaluate our approach and the trade-offs between the classes of algorithms on a set of synthetically generated Context-Aware Adaptive Applications (CAAAs) and on a simple but realistic application in which a cell phone's configuration profile changes automatically as a result of changes to the user's location, speed, and surrounding environment. Our evaluation describes the faults our algorithms are able to detect and compares the algorithms in terms of their performance and storage requirements.
Item Type: | Article |
---|---|
Keywords (uncontrolled): | Adaptation context-awareness fault detection mobile computing model checking model-based analysis ordered binary decision diagrams symbolic verification ubiquitous computing. |
Research Areas: | A. > School of Science and Technology > Computer Science A. > School of Science and Technology > Computer Science > Foundations of Computing group A. > School of Science and Technology > Computer Science > SensoLab group A. > School of Science and Technology > Computer Science > Artificial Intelligence group A. > School of Science and Technology > Computer Science > Intelligent Environments group |
Item ID: | 12057 |
Useful Links: | |
Depositing User: | Users 3197 not found. |
Date Deposited: | 26 Sep 2013 13:35 |
Last Modified: | 13 Oct 2016 14:28 |
URI: | https://eprints.mdx.ac.uk/id/eprint/12057 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.