Testing Context-Aware Applications Based on Bigraphical Modeling

Yu, Lian; Tsai, Wei‐Tek; Perrone, Gian

doi:10.1109/tr.2016.2575444

Cited by 16 publications

(9 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, in recent prior research [41], we characterized specific faults for ASs and CASs based on a subset of 11 studies [19,29,[42][43][44][45][46][47][48][49][50] selected for the SLR we report in this article. As a result, we concluded that more attention in some characteristics (e.g.…”

Section: Related Workmentioning

confidence: 99%

“…[104], Yu et al [50] and Mehmood et al [105]; in our prior paper [1], SC-30 28 was linked to the study of Yu and Gao [49], which was subsumed by the study of Yu et al [50], as shown in Table 6.…”

Section: [104]mentioning

confidence: 99%

“…To automatically generate test cases, Yu et al [50] explored model-based and structural techniques (using graphs to define the test model). More specifically, their approach uses structural criteria to support to analysis of associations between data flow and control flow of programs.…”

Section: • Test Case Generation (5-b) and Usage Of Data Flow-based Testing (5-e)mentioning

confidence: 99%

“…C-11 -How to automatically generate test cases for a changing environment: for ⋆ Yu et al [50], ⋆ Mehmood et al [105] and ⋆ Ma et al [104], it is hard to automatically generate test cases for these types of systems (SC-30), for which changing (i.e. reconfigurable) structure and executing environment are inherent properties.…”

Section: Generic Challenges For Adaptive System or Context-aware System Testingmentioning

confidence: 99%

See 3 more Smart Citations

Testing of adaptive and context‐aware systems: approaches and challenges

Siqueira

Ferrari

Souza

et al. 2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

Adaptive systems (ASs) and context-aware systems (CASs) are able to evaluate their own behaviour and to adapt it when the system fails to accomplish its goals or when better functionality or performance is possible. Ensuring the reliability of ASs and CASs is demanding because failures might have undesirable consequences. Testing ASs and CASs effectively is not trivial because of the inherent characteristics of these systems. The literature lacks a comprehensive review that provides a broad picture of the area; current reviews are outdated and incomplete. The objectives of this study are characterizing the state of the art in AS and CAS testing and discussing approaches, challenges, observed trends, and research limitations and directions. We performed a systematic literature review (SLR) and a thematic analysis of studies, reporting up-to-date, refined and extended results when compared with existing reviews. Based on 102 selected studies, we (i) characterized testing approaches by grouping techniques for ASs and CASs; (ii) updated and refined a characterization of testing challenges for ASs and CASs; and (iii) analysed and discussed research trends and implications for AS and CAS testing. There are recurring research concerns regarding AS and CAS testing. Examples are the generation of test cases and built-in tests. Moreover, we also identified recurring testing challenges such as context monitoring and runtime decisions. Moreover, there are some trends such as model-based testing and hybrid techniques and some little investigated issues like uncertainty and prediction of changes. All in all, our results may provide guidance for developers and researchers with respect to the practice and the future research on AS and CAS testing.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: [104]mentioning

confidence: 99%

Section: • Test Case Generation (5-b) and Usage Of Data Flow-based Testing (5-e)mentioning

confidence: 99%

Section: Generic Challenges For Adaptive System or Context-aware System Testingmentioning

confidence: 99%

See 2 more Smart Citations

Testing of adaptive and context‐aware systems: approaches and challenges

Siqueira

Ferrari

Souza

et al. 2021

Software Testing Verif & Rel

View full text Add to dashboard Cite

show abstract

“…This combination yields bigraphical reactive systems. Although in its infancy, BRSs have shown their successful adoption in many different domains such as cyber-physical systems [24,25], context-aware systems [26,27], wireless networks [28,29], and cloud computing [30,31].…”

Section: Introductionmentioning

confidence: 99%

SLA-Driven modeling and verifying cloud systems: A Bigraphical reactive systems-based approach

Kamel¹,

Chaoui

D́ıaz

et al. 2021

Computer Standards & Interfaces

View full text Add to dashboard Cite

We propose a formal approach based on Bigraphical Reactive Systems (BRSs) and model checking techniques for modeling and verifying the interaction behaviours of SLA-based cloud computing systems. In the first phase of this approach, we address the modeling of the static structure and the dynamic behavior of cloud systems using BRSs. We show how bigraphs enable the description of the different cloud entities, including cloud actors, cloud services, service level agreements (SLAs), the diversity of their properties, and the complex interactions and dependencies among them. Furthermore, we propose a four-stages SLA lifecycle, and define a set of bigraphical reaction rules to abstract these stages and model the dynamic nature of the cloud. The second phase of this approach verifies that the behavior of services and cloud actors will cope with the agreed SLA terms during the lifecycle of the SLA. We map the proposed bigraphical models into SMV descriptions. Then, we express the interaction behaviors as a set of liveness and safety properties using Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) formulas, and we use the NuSMV model checker to verify them. Finally, we define a case study on which we illustrate the application of our proposed approach.

show abstract