TY - GEN
T1 - Generating test cases for context-aware applications using bigraphs
AU - Yu, Lian
AU - Tsai, Wei Tek
AU - Jiang, Yanbing
AU - Gao, Jerry
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
KW - Bigraphcial Pattern-flow
KW - Bigraphical data model
KW - Bigraphical reaction systems
KW - Context-aware environment modeling
KW - EFSM
KW - Sorting predicate logic
UR - http://www.scopus.com/inward/record.url?scp=84910030655&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84910030655&partnerID=8YFLogxK
U2 - 10.1109/SERE.2014.27
DO - 10.1109/SERE.2014.27
M3 - Conference contribution
AN - SCOPUS:84910030655
T3 - Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014
SP - 137
EP - 146
BT - Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 8th International Conference on Software Security and Reliability, SERE 2014
Y2 - 30 June 2014 through 2 July 2014
ER -