Automated Generation of Context-Aware Tests

Wang, Zhimin; Elbaum, Sebastian; Rosenblum, David S.

doi:10.1109/icse.2007.18

Cited by 66 publications

(59 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…They also describe the system architecture and hierarchical rule structure model for smart-homes. Wang et al [126], provide an approach for automating the generation of tests for context-aware pervasive applications. They provide an integrated solution to identify when context changes may be relevant, and a control mechanism to guide the execution of tests into potentially interesting contextual scenarios as defined by a coverage criterion that is context-cognizant.…”

Section: Design Evaluationmentioning

confidence: 99%

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

181

137

View full text Add to dashboard Cite

Context-awareness is an essential component of systems developed in areas like Intelligent Environments, Pervasive & Ubiquitous Computing and Ambient Intelligence. In these emerging fields, there is a need for computerized systems to have a higher understanding of the situations in which to provide services or functionalities, to adapt accordingly. The literature shows that researchers modify existing engineering methods in order to better fit the needs of context-aware computing. These efforts are typically disconnected from each other and generally focus on solving specific development issues. We encourage the creation of a more holistic and unified engineering process that is tailored for the demands of these systems. For this purpose, we study the state-of-the-art in the development of context-aware systems, focusing on: A) Methodologies for developing context-aware systems, analysing the reasons behind their lack of adoption and features that the community wish they can use; B) Context-aware system engineering challenges and techniques applied during the most common development stages; C) Context-aware systems conceptualization.

show abstract

Section: Design Evaluationmentioning

confidence: 99%

Engineering context-aware systems and applications: A survey

Alegre

Augusto

Clark

2016

Journal of Systems and Software

181

137

View full text Add to dashboard Cite

show abstract

“…Validation of CAAAs has been the target of other researches [20,28,29]. However our approach differs from other techniques because it applies model checking to adaptation models, while other works focus on test case selection and runtime analysis.…”

Section: Related Workmentioning

confidence: 99%

Algorithms for efficient symbolic detection of faults in context-aware applications

Sama

Raimondi

Rosenblum

et al. 2008

2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Workshops

View full text Add to dashboard Cite

Context-aware and adaptive applications running on mobile devices pose new challenges for the verification community. Current verification techniques are tailored for different domains (mostly hardware) and the kind of faults that are typical of applications running on mobile devices are difficult (or impossible) to encode using the patterns of "traditional" verification domains [9].In this paper we present how techniques similar to the ones used in symbolic model checking can be applied to the verification of context-aware and adaptive applications. More in detail, we show how a model of a context-aware application can be encoded by means of Ordered Binary Decision Diagrams and we introduce symbolic algorithms for the verification of a number of properties.

show abstract

“…Wang et al [55] presented an approach to enhance the test suites of context-aware applications. The focus of the contribution is on identifying when context changes may be relevant, and a control mechanism to guide the execution of given tests in a way which is meaningful to the contexts considered.…”

Section: Simulation Testing and Validationmentioning

confidence: 99%

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Augusto

Coronato

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

As envisioned by Weiser, computing is in the process of being everywhere and becoming invisible. As Milner noticed, the question now is whether we shall understand this ubiquitous computer we are building. This is especially true as designers are more and more using complex techniques for every component of the system and building systems which are made of increasingly heterogenous parts. With this extended editorial, we embark on an exploration journey into the exciting new area of "reliable intelligent environments" (RIEs). Taking the perspective of an RIE engineer, we present a selection of approaches that have been put forward to design, verify, and operate IEs in a manner so that users can rely on Intelligent Environment systems. We outline crucial challenges: the situatedness which exposes IE to challenges similar to those known from robotics and control systems, the embedding of human users and the safety, privacy, and usability requirements thus entailed, and the amounts of data produced by sensors and actuators, which require advanced reasoning and learning mechanisms to handle them in a reliable way in real-time. We also sketch the opportunities reliable IEs provide to developing new markets and products.

show abstract

Automated Generation of Context-Aware Tests

Abstract: Abstract

Cited by 66 publications

References 21 publications

Engineering context-aware systems and applications: A survey

Engineering context-aware systems and applications: A survey

Algorithms for efficient symbolic detection of faults in context-aware applications

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Contact Info

Product

Resources

About