Using UML sequence diagrams as basis for a formal test description language

Simon Pickin 1 Jean-Marc Jézéquel 2
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : A formal yet user-friendly test description language could increase the possibilities for automation in the testing phase while at the same time gaining widespread acceptance Scenario languages are currently one of the most popular formats for describing interactions between possibly distributed components The question of giving a solid formal basis to scenario languages such as MSC has also received a lot of attention In this article we discuss using one of the most widely-known scenario languages UML sequence diagrams as the basis for a formal test description language for use in the distributed system context .
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00795028
Contributor : Jean-Marc Jézéquel <>
Submitted on : Wednesday, February 27, 2013 - 9:51:51 AM
Last modification on : Friday, November 16, 2018 - 1:24:44 AM
Long-term archiving on : Sunday, April 2, 2017 - 5:59:14 AM

File

Pickin04a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00795028, version 1

Citation

Simon Pickin, Jean-Marc Jézéquel. Using UML sequence diagrams as basis for a formal test description language. Proc. of Fourth International Conference on Integrated Formal Methods IFM2004, Apr 2004, Canterbury, United Kingdom. ⟨hal-00795028⟩

Share

Metrics

Record views

359

Files downloads

448