System Test Synthesis from UML Models of Distributed Software
S. Pickin, C. Jard, Y. Traon, T. Jéron, J. Jézéquel, and A. Guennec. FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..
Abstract
The object-oriented software development process is increasingly
used for the construction of both centralised and distributed systems. As yet,
however, formal V&V techniques have not found much use in the object-oriented
context, in spite of the fact that some are now mature enough to be exercised in
real world applications. In this paper, we investigate the use of formal validation
in a UML-based development process. We present a method and a tool for
automated synthesis of test cases from generic test scenarios and a design model
of the application, remaining entirely within the UML framework. The
underlying ön the fly" test synthesis algorithms are based on the input/output
labelled transition formalism, which is particularly appropriate for modelling
applications which may involve asynchronous communication. We illustrate the
system test synthesis process using an Air Traffic Control software case study.
MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006.
%0 Conference Paper
%1 Pickin2002
%A Pickin, Simon
%A Jard, Claude
%A Traon, Yves Le
%A Jéron, Thierry
%A Jézéquel, Jean-Marc
%A Guennec, Alain Le
%B FORTE
%D 2002
%K IOLTS TGV UML UMLAUT Use-Cases black-box synthesis systemtest
%P 97-113
%T System Test Synthesis from UML Models of Distributed Software
%X The object-oriented software development process is increasingly
used for the construction of both centralised and distributed systems. As yet,
however, formal V&V techniques have not found much use in the object-oriented
context, in spite of the fact that some are now mature enough to be exercised in
real world applications. In this paper, we investigate the use of formal validation
in a UML-based development process. We present a method and a tool for
automated synthesis of test cases from generic test scenarios and a design model
of the application, remaining entirely within the UML framework. The
underlying ön the fly" test synthesis algorithms are based on the input/output
labelled transition formalism, which is particularly appropriate for modelling
applications which may involve asynchronous communication. We illustrate the
system test synthesis process using an Air Traffic Control software case study.
@inproceedings{Pickin2002,
abstract = {The object-oriented software development process is increasingly
used for the construction of both centralised and distributed systems. As yet,
however, formal V&V techniques have not found much use in the object-oriented
context, in spite of the fact that some are now mature enough to be exercised in
real world applications. In this paper, we investigate the use of formal validation
in a UML-based development process. We present a method and a tool for
automated synthesis of test cases from generic test scenarios and a design model
of the application, remaining entirely within the UML framework. The
underlying "on the fly" test synthesis algorithms are based on the input/output
labelled transition formalism, which is particularly appropriate for modelling
applications which may involve asynchronous communication. We illustrate the
system test synthesis process using an Air Traffic Control software case study.},
added-at = {2008-09-03T09:53:56.000+0200},
author = {Pickin, Simon and Jard, Claude and Traon, Yves Le and J{\'e}ron, Thierry and J{\'e}z{\'e}quel, Jean-Marc and Guennec, Alain Le},
bibsource = {DBLP, http://dblp.uni-trier.de},
biburl = {https://www.bibsonomy.org/bibtex/231629a4f1770606740524edb5700b853/ist_spl},
booktitle = {FORTE},
crossref = {DBLP:conf/forte/2002},
ee = {http://link.springer.de/link/service/series/0558/bibs/2529/25290097.htm},
interhash = {cfb367fc37de80bd91da0bc38c2eb9e8},
intrahash = {31629a4f1770606740524edb5700b853},
keywords = {IOLTS TGV UML UMLAUT Use-Cases black-box synthesis systemtest},
note = {MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet.
Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld [Nebut2002][Nebut2003][Nebut2006].
},
pages = {97-113},
timestamp = {2008-09-03T09:53:57.000+0200},
title = {System Test Synthesis from UML Models of Distributed Software},
year = 2002
}