• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Model-based Testing Using Scenarios and Event-B Refinements

Qaisar A. Malik, Johan Lilius, Linas Laibinis, Model-based Testing Using Scenarios and Event-B Refinements. In: Cliff Jones Alexander Romanovsky Michael Butler, Elena Troubitsyna (Eds.), Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science 5454, 177–195, Springer, 2008.

Abstract:

In this paper, we present a model-based testing approach based on user provided testing scenarios. In this approach, when a soft-ware model is refined to add or modify features, the corresponding testing scenarios are automatically refined to incorporate these changes. The test cases, to be applied on the system under test, are generated from these scenarios. We use the Event-B formalism for software models, while user scenarios are represented as Communicating Sequential Process (CSP) expressions. The presented case study demonstrates how our approach can be used to test different features of a system such as incorporated fault-tolerance mechanisms.

BibTeX entry:

@INBOOK{cMaLiLa08a,
  title = {Model-based Testing Using Scenarios and Event-B Refinements},
  booktitle = {Methods, Models and Tools for Fault Tolerance},
  author = {Malik, Qaisar A. and Lilius, Johan and Laibinis, Linas},
  volume = {5454},
  series = {Lecture Notes in Computer Science},
  editor = {Michael Butler, Cliff Jones Alexander Romanovsky and Elena Troubitsyna},
  publisher = {Springer},
  pages = {177–195},
  year = {2008},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Embedded Systems Laboratory (ESLAB)

Publication Forum rating of this publication: level 2

Edit publication