Name
Abstract | ||
|---|---|---|
Context-aware applications often consist of a middleware and a collection of services, which run autonomously adaptive to the changing environments, where a variety of sensors are installed in physical facilities, with end-users moving around. Testing such context-aware applications is challenging due to the complex interactions among the components, especially for the complicated environment modeling. This paper extends a bigraphical sorting predicate logic as constraints to create a meta-model, builds a data model based on the bigraphical meta-model, and proposes to use the sorted bigraphical reaction system (BRS) to model the context-aware environments. Tracing the interactions between the BRS model and the middleware model generates the test cases to verify the interactions between the context-aware environments and the middleware together with the domain services. To decrease the number of test cases, this paper proposes a bigraphical pattern flow testing strategy. An example airport is demonstrated to show fault detection capabilities and reductions of test cases. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/SERE.2014.27 | SERE |
Keywords | Field | DocType |
sorted bigraphical reaction system,efsm,bigraphcial pattern-flow,bigraphical sorting predicate logic,physical facilities,ubiquitous computing,sorting,data model,meta-model,graph theory,middleware,sorting predicate logic,context-aware environments,context-aware environment modeling, bigraphical reaction systems, sorting predicate logic, bigraphical data model, efsm, bigraphcial pattern-flow,bigraphical reaction systems,context-aware environment modeling,bigraphical data model | Middleware,Bigraph,Computer science,Fault detection and isolation,Extended finite-state machine,Test case,Predicate logic,Data model,Tracing,Distributed computing | Conference |
ISSN | Citations | PageRank |
2378-3877 | 2 | 0.35 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Lian Yu | 1 | 6 | 1.81 |
| Wei-Tek Tsai | 2 | 3601 | 610.30 |
| Yanbing Jiang | 3 | 2 | 0.69 |
| Jerry Gao | 4 | 168 | 20.38 |