Generating test cases for context-aware applications using bigraphs

Lian Yu, Wei Tek Tsai, Yanbing Jiang, Jerry Gao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - 8th International Conference on Software Security and Reliability, SERE 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages137-146
Number of pages10
ISBN (Electronic)9781479942961
DOIs
StatePublished - Jan 1 2014
Event8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, United States
Duration: Jun 30 2014Jul 2 2014

Publication series

NameProceedings - 8th International Conference on Software Security and Reliability, SERE 2014

Other

Other8th International Conference on Software Security and Reliability, SERE 2014
CountryUnited States
CitySan Francisco
Period6/30/147/2/14

Keywords

  • Bigraphcial Pattern-flow
  • Bigraphical data model
  • Bigraphical reaction systems
  • Context-aware environment modeling
  • EFSM
  • Sorting predicate logic

ASJC Scopus subject areas

  • Safety, Risk, Reliability and Quality
  • Software

Fingerprint Dive into the research topics of 'Generating test cases for context-aware applications using bigraphs'. Together they form a unique fingerprint.

  • Cite this

    Yu, L., Tsai, W. T., Jiang, Y., & Gao, J. (2014). Generating test cases for context-aware applications using bigraphs. In Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014 (pp. 137-146). [6895424] (Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERE.2014.27