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

Synthesis of Scenario Based Test Cases from B Models

Manoranjan Satpathy, Qaisar A. Malik, Johan Lilius, Synthesis of Scenario Based Test Cases from B Models. In: Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (Eds.), Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers, Lecture Notes in Computer Science 4262, 133–147, Springer, 2006.

Abstract:

When models are formal, model based testing approaches usually construct a coverage graph through symbolic execution and derive test cases in the form of paths in the coverage graph. Thereafter consistency between the model and the implementation is verified in relation to the test cases. Existing approaches, especially when dealing with model oriented languages like B, partition the input space of each operation in the model to create operation instances, and then animate the model in relation to these instances. The paths or the test cases are now a sequence of operation instances. However, in this approach, there is no guarantee that we test the user scenarios. In this paper, we first define scenario based test cases in relation to the initial specification. When this specification passes through a succession of refinements, we derive scenario based test cases for each refinement and show that all these test cases are equivalent to the test cases of the original specification.

BibTeX entry:

@INPROCEEDINGS{inpSaMaLi06a,
  title = {Synthesis of Scenario Based Test Cases from B Models},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops FATES 2006 and RV 2006 Seattle, WA, USA, August 15-16, 2006 Revised Selected Papers},
  author = {Satpathy, Manoranjan and Malik, Qaisar A. and Lilius, Johan},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  editor = {Havelund, Klaus and Núñez, Manuel and Rosu, Grigore and Wolff, Burkhart},
  publisher = {Springer},
  pages = {133–147},
  year = {2006},
  keywords = {Model Based Testing; Scenarios; B-Method},
}

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

Publication Forum rating of this publication: level 1

Edit publication