Testing elastic systems with surrogate models

Gambi, Alessio; Hummer, Waldemar; Dustdar, Schahram

doi:10.1109/cmsbse.2013.6604429

Cited by 6 publications

(8 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We define formally a bigraph F modelling a front-end of a cloud elastic system by all q-nodes are atomic Φ 4 In a c-node, one port is always linked to an r-name and the other may be linked to one or more s-nodes of the back-end bigraph b Φ 5 all children of a 1-region have sort 1, where 1 ∈ {b, e, v, t, s, r, i, q} Φ 6 all children of a b-node have sort q of the front-end bigraph f Φ 7 all children of an e-node have sort v tri Φ 8 all children of an v-node have sort ŝ ri Φ 9 all children of an s-node have sort q Φ 10 all b evts-nodes are active Φ 11 all r i-nodes are atomic Φ 12 In a b-node, one port is always linked to an r-name, the second port may be linked to e-nodes and the last port may be linked to i-nodes Φ 13 In an e-node, one port may be linked to b-nodes, the second port may be linked to v-nodes and the last port may be linked to r i-nodes Φ 14 In a v-node, one port may be linked to e-nodes, the second port may be linked to s-nodes and the last port may be linked to r i-nodes Φ 15 In a s-node, one port may be linked to v-nodes, the second port may be linked to i-nodes and the last port may be linked to one or more c-nodes of the front-end bigraph f Φ 16 an r-node may be linked to ê vt-nodes Φ 17 i-node may be linked to one or more b evts-nodes Φ 18 all children of a 2-region have sort 2, where 2 ∈ {o, m, f} Φ 19 all ô mf-nodes are atomic Φ 20 an m-node is always linked to an i-name Φ 21 an f-node is always linked to an a-name Φ 22 an o-node may be linked to m f-nodes Φ 23 an m-node may be linked to ô f-nodes Φ 24 an f-node may be linked to ôm-nodes Downloaded by [University of Sussex Library] at 01:35 01 June 2016…”

Section: The Front-end Bigraphmentioning

confidence: 99%

See 1 more Smart Citation

A bigraphical model for specifying cloud-based elastic systems and their behaviour

Sahli

Hameurlain

Belala

2016

International Journal of Parallel, Emergent and Distributed Sys

View full text Add to dashboard Cite

a lIre laboratory, Constantine 2 university-abdelhamid mehri, Constantine, algeria; b lIuPPa laboratory, university of Pau, Pau, france ABSTRACTThe few recent years have witnessed the appearance of a new kind of selfadaptive systems called cloud based-elastic systems. These systems are particularly appealing for their ability to maintain a decent quality of service and reduce a system's operating cost at the same time. They achieve this by dynamically adjusting resources allocation in terms of elasticity. Meanwhile, complexity of structural and behavioural aspects related to cloud-based elastic systems increase the difficulty of designing and developing such systems. In this paper, we address this challenge by proposing a formal approach based on bigraphical reactive systems for modelling both structural and behavioural aspects of cloud-based elastic systems. In particular, we represent their behaviour in terms of client/application interactions and elasticity methods at different levels using bigraphical reaction rules. The feasibility of the proposed approach is illustrated through a motivating example running on the top of an Amazon Elastic Compute Cloud (EC2) infrastructure.Modelling cloud-based elastic systems using bigraphical reactive systems

show abstract

Section: The Front-end Bigraphmentioning

confidence: 99%

“…A related formalization approach to automatically generate test cases for cloud-based elastic systems is given in [16]. This approach relies on a simple model for cloud elastic systems behaviour build on searchbased software engineering methods and surrogate models.…”

Section: Related Workmentioning

confidence: 99%

A bigraphical model for specifying cloud-based elastic systems and their behaviour

Sahli

Hameurlain

Belala

2016

International Journal of Parallel, Emergent and Distributed Sys

View full text Add to dashboard Cite

show abstract

“…The single most related paper by the authors is [12] where they propose an automatic test case generation for elastic systems based on Genetic Algorithms and introduce the idea of parametric workloads for the compact representation of test cases that we used here. In this paper, authors propose an alternative approach for generating test cases that builds an informative model of the system behavior and tries to speed up the generation process following a formally grounded heuristic instead of (pseudo-)randomized search.…”

Section: Related Workmentioning

confidence: 99%

“…For example, in [12] a parametric sine function has been used to test the response of the system to oscillatory loads. A workload profile is uniquely characterized within its parametric class by an assignmentw of the function parameters.…”

Section: The Approachmentioning

confidence: 99%

Iterative test suites refinement for elastic computing systems

Gambi

Filieri

Dustdar

2013

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Self Cite

View full text Add to dashboard Cite

Elastic computing systems can dynamically scale to continuously and cost-effectively provide their required Quality of Service in face of time-varying workloads, and they are usually implemented in the cloud. Despite their wide-spread adoption by industry, a formal definition of elasticity and suitable procedures for its assessment and verification are still missing. Both academia and industry are trying to adapt established testing procedures for functional and nonfunctional properties, with limited effectiveness with respect to elasticity. In this paper we propose a new methodology to automatically generate test-suites for testing the elastic properties of systems. Elasticity, plasticity, and oscillations are first formalized through a convenient behavioral abstraction of the elastic system and then used to drive an iterative test suite refinement process. The outcomes of our approach are a test suite tailored to the violation of elasticity properties and a human-readable abstraction of the system behavior to further support diagnosis and fix.

show abstract

“…The elastic behavior causes the ES to switch between elasticity states (denoted elastic transition) under certain conditions. A series of such transitions (e.g., a scale-out followed by a scalein) has been termed elastic transition sequence [8] …”

Section: Introductionmentioning

confidence: 99%

Automated testing of cloud-based elastic systems with AUToCLES

Gambi

Hummer

Dustdar

2013

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Self Cite

View full text Add to dashboard Cite

Abstract-Cloud-based elastic computing systems dynamically change their resources allocation to provide consistent quality of service and minimal usage of resources in the face of workload fluctuations. As elastic systems are increasingly adopted to implement business critical functions in a cost-efficient way, their reliability is becoming a key concern for developers. Without proper testing, cloud-based systems might fail to provide the required functionalities with the expected service level and costs. Using system testing techniques, developers can expose problems that escaped the previous quality assurance activities and have a last chance to fix bugs before releasing the system in production.System testing of cloud-based systems accounts for a series of complex and time demanding activities, from the deployment and configuration of the elastic system, to the execution of synthetic clients, and the collection and persistence of execution data. Furthermore, clouds enable parallel executions of the same elastic system that can reduce the overall test execution time. However, manually managing the concurrent testing of multiple system instances might quickly overwhelm developers' capabilities, and automatic support for test generation, system test execution, and management of execution data is needed.In this demo we showcase AUToCLES, our tool for automatic testing of cloud-based elastic systems. Given specifications of the test suite and the system under test, AUToCLES implements testing as a service (TaaS): It automatically instantiates the SUT, configures the testing scaffoldings, and automatically executes test suites. If required, AUToCLES can generate new test inputs. Designers can inspect executions both during and after the tests.

show abstract

Testing elastic systems with surrogate models

Cited by 6 publications

References 25 publications

A bigraphical model for specifying cloud-based elastic systems and their behaviour

A bigraphical model for specifying cloud-based elastic systems and their behaviour

Iterative test suites refinement for elastic computing systems

Automated testing of cloud-based elastic systems with AUToCLES

Contact Info

Product

Resources

About