Where academic tradition
meets the exciting future

From Nondeterministic UML Protocol Statemachines to Class Contractss

Ivan Porres, Irum Rauf, From Nondeterministic UML Protocol Statemachines to Class Contractss. In: Marie-Claude Gaudel, Ana Rosa Cavalli, Sudipto Ghosh (Eds.), Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation, 107–116 , IEEE Computer Society Washington, DC, USA , 2010.

Abstract:

A UML protocol state machine describes a behavioral interface for a class as a number of states and transitions between states triggered by method calls. In this paper, we present an approach to generate behavioral class interfaces in the form of class contracts from UML protocol state machines. The generated contracts can be used for documentation, test case generation, test case oracle, and as run-time assertions and thus help to test and validate the implementation of a class against its interface. We formalize protocol state machines with its structure and semantics for generating class contracts. The state invariants of the source and target states are considered along with the pre- and post-conditions of the transitions. Different types of transitions like simple, join, fork, high-level, and self transitions are supported, as well as non-deterministic behavior. The approach is supported by a tool to generate automatically the contracts from UML models.

BibTeX entry:

@INPROCEEDINGS{inpPoRa10a,
  title = { From Nondeterministic UML Protocol Statemachines to Class Contractss},
  booktitle = {Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation},
  author = {Porres, Ivan and Rauf, Irum},
  editor = {Gaudel, Marie-Claude and Cavalli, Ana Rosa and Ghosh, Sudipto},
  publisher = {IEEE Computer Society Washington, DC, USA },
  pages = {107–116 },
  year = {2010},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication