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

10 Citations (Scopus)

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 (Print)9781479942961
DOIs
StatePublished - 2014
Event8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, United States
Duration: Jun 30 2014Jul 2 2014

Other

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

Fingerprint

Middleware
Testing
Fault detection
Airports
Sorting
Flow patterns
Data structures
Sensors

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

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] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERE.2014.27

Generating test cases for context-aware applications using bigraphs. / Yu, Lian; Tsai, Wei Tek; Jiang, Yanbing; Gao, Jerry.

Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 137-146 6895424.

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

Yu, L, Tsai, WT, 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., 6895424, Institute of Electrical and Electronics Engineers Inc., pp. 137-146, 8th International Conference on Software Security and Reliability, SERE 2014, San Francisco, United States, 6/30/14. https://doi.org/10.1109/SERE.2014.27
Yu L, Tsai WT, Jiang Y, Gao J. Generating test cases for context-aware applications using bigraphs. In Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 137-146. 6895424 https://doi.org/10.1109/SERE.2014.27
Yu, Lian ; Tsai, Wei Tek ; Jiang, Yanbing ; Gao, Jerry. / Generating test cases for context-aware applications using bigraphs. Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 137-146
@inproceedings{5e9aeff9422d4bfa84a1bd35b287b4ca,
title = "Generating test cases for context-aware applications using bigraphs",
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.",
keywords = "Bigraphcial Pattern-flow, Bigraphical data model, Bigraphical reaction systems, Context-aware environment modeling, EFSM, Sorting predicate logic",
author = "Lian Yu and Tsai, {Wei Tek} and Yanbing Jiang and Jerry Gao",
year = "2014",
doi = "10.1109/SERE.2014.27",
language = "English (US)",
isbn = "9781479942961",
pages = "137--146",
booktitle = "Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

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

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

SN - 9781479942961

SP - 137

EP - 146

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -