chapter

Conformance Testing of Distributed Concurrent Systems with Executable Designs

Authors:

Bernhard K. Aichernig,

Andreas Griesmayer,

Einar Broch Johnsen,

Rudolf Schlatte,

Andries StamAuthors Info & Claims

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

August 2009

Pages 61 - 81

https://doi.org/10.1007/978-3-642-04167-9_4

Published: 20 August 2009 Publication History

Abstract

This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modeling language Creol is used both for generating test inputs and as a test oracle. For test case generation, we extend Dynamic Symbolic Execution (also called Concolic Execution) to work with multi-threaded models and use this to generate test inputs that maximize model coverage. For test case execution, we establish a conformance relation based on trace inclusion by recording traces of events in the system under test and replaying them in the model. User input is handled by generating a test driver that supplies the needed stimuli to the model. An industrial case study of the Credo project serves to demonstrate the approach.

Cited By

View all

Aichernig B(2019)A Testing Perspective on Algebraic, Denotational, and Operational SemanticsUnifying Theories of Programming10.1007/978-3-030-31038-7_2(22-38)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-31038-7_2
Melo SSouza SSilva RSouza PVos TEldh SPrasetya W(2015)Concurrent software testing in practice: a catalog of toolsProceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation10.1145/2804322.2804328(31-40)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2804322.2804328
Aichernig BBrandl HJöbstl EKrenn W(2011)UML in actionACM SIGSOFT Software Engineering Notes10.1145/1921532.192155936:1(1-8)Online publication date: 24-Jan-2011
https://dl.acm.org/doi/10.1145/1921532.1921559

Index Terms

Conformance Testing of Distributed Concurrent Systems with Executable Designs
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Index terms have been assigned to the content through auto-classification.

Recommendations

Formal firewall conformance testing: an application of test and proof techniques

Firewalls are an important means to secure critical ICT infrastructures. As configurable off-the-shelf products, the effectiveness of a firewall crucially depends on both the correctness of the implementation itself as well as the correct configuration. ...
Achieving both model and code coverage with automated gray-box testing
A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing

We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. The former provides general guidance for the structure of the tests in the ...
Testing and incremental conformance testing of timed state machines
Abstract
We present methods for testing and incremental testing of systems modeled as finite state machines with timeouts (TFSMs). For testing, we establish an appropriate fault model and show how a complete test suite can be derived for a given TFSM ...
Highlights
- For testing, we propose a fault model and show how test derivation with complete fault coverage can be carried out using traditional FSM based testing methods from an FSM abstraction of a given TFSM specification.
- We defined the ...

Comments

Information & Contributors

Information

Published In

Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

August 2009

297 pages

ISBN:9783642041662

Editors:
Frank S. Boer
Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands 1098
,
Marcello M. Bonsangue
Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands 2300
,
Eric Madelaine
INRIA, Centre Sophia Antipolis, Sophia Antipolis, France 06902

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 August 2009

Author Tags

Qualifiers

Chapter

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aichernig B(2019)A Testing Perspective on Algebraic, Denotational, and Operational SemanticsUnifying Theories of Programming10.1007/978-3-030-31038-7_2(22-38)Online publication date: 8-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-31038-7_2
Melo SSouza SSilva RSouza PVos TEldh SPrasetya W(2015)Concurrent software testing in practice: a catalog of toolsProceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation10.1145/2804322.2804328(31-40)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2804322.2804328
Aichernig BBrandl HJöbstl EKrenn W(2011)UML in actionACM SIGSOFT Software Engineering Notes10.1145/1921532.192155936:1(1-8)Online publication date: 24-Jan-2011
https://dl.acm.org/doi/10.1145/1921532.1921559

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Formal firewall conformance testing: an application of test and proof techniques

Achieving both model and code coverage with automated gray-box testing

Testing and incremental conformance testing of timed state machines

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations