.png){kind=icon}
.png){kind=icon}
Return
Testing Context-Aware Applications Based on Bigraphical Modeling
.png){kind=icon}
PRE
AI
DOI：10.1109/TR.2016.2575444.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Context-aware applications often consist of a middleware and a collection of services, and run autonomously adaptive to changing environments with sensors installed in physical facilities and end-users moving around. Testing such applications is challenging due to the complex interactions with the environments. This paper proposes a model-based testing approach that extends a bigraphical sorting predicate logic to specify constraints and create a meta-model, then builds a domain-specific model with static structures and dynamic behaviors based on the bigraphical meta-model, and uses the domain-specific model to describe the environments. Tracing the interactions between the environment model and the application model generates test cases to verify the interactions between the environments and applications. To decrease the number of test cases, this paper proposes a bigraphical pattern-flow testing and a backward-derivation testing. A case study of airport applications demonstrates the fault detection capabilities and reductions of test cases by comparing with other test strategies.
Keywords:
Backward derivation
model-driven testing
modeling the environment of context-aware applications
pattern-flow testing
simulation
testing with bigraphs
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
5.7
Papers:
2.7K
Citations:
8.5K
View more organizations