Claude Jard, Thierry Jeron  Home/Search
Context
Related
| irisa.fr/triskell/publis/...Jard02c.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: irisa.fr/triskell/bib2002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents the TGV tool allowing the automatic synthesis of conformance test cases from a formal specification of a reactive system. TGV has been developped by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhnes-Alpes. The paper describes the main elements of the underlying testing theory, based on a model of transitions system which distinguishes inputs, outputs and internal actions, and based on the concept of conformance relation. The principles of... (Update)
Active bibliography (related documents): More All
0.8: Principles of Distributed Test Synthesis based on - True-Concurrency Models Claude (2002) (Correct)
0.6: On-the-Fly Formal Testing of a Smart Card Applet - van Weelden, Frantzen.. (2004) (Correct)
0.5: SDL and MSC Based Test Generation for Distributed.. - Grabowski, Koch.. (1998) (Correct)
Similar documents based on text:
0.3: Systematic Testing of Radiotherapy Accelerators - Turner, Bing (2002) (Correct)
0.2: Specifying in the large: Object Oriented Specifications in the .. - Herranz-Nieva (2002) (Correct)
BibTeX entry: (Update)
@misc{ jard-tgv,
author = "Claude Jard and Thierry Jeron",
title = "TGV: theory, principles and algorithms",
url = "citeseer.ist.psu.edu/jard02tgv.html" }
Citations (may not include all citations):405 Depth-first search and linear graph algorithms (context) - Tarjan - 1972
149 Testing Equivalences for Processes (context) - De Nicola, Henessy - 1984
108 Combining partial order reductions with on-the-fly model-che.. (context) - Peled - 1994
42 CADP: A Protocol Validation and Verification Toolbox - Fernandez, Garavel et al. - 1996
26 Software - Concepts and Tools (context) - Tretmans, with et al. - 1996
18 UMLAUT: an extendible UML transformation framework - Ho, Jzquel et al. - 1999
16 Test Generation for Intelligent Networks Using Model-Checkin.. - Engels, Feijs et al. - 1997
15 Test generation derived from modelchecking (context) - Jron, Morel - 1999
15 Synthesis of synchronisation skeletons for branching time te.. (context) - Clarke, Emerson - 1981
13 Observational Equivalence as a Testing Equivalence (context) - Abramsky - 1987
12 Automated test generation from SDL specifications (context) - Groz, Jron et al. - 1999
11 An approach to symbolic test generation - Rusu, Bousquet et al. - 1945
10 Verification and test generation for the SSCOP protocol (context) - Bozga, Fernandez et al. - 2000
6 fly conformance testing using SPIN (context) - De Vries, Tretmans - 2000
4 Assessment of automatic generation methods of conformance te.. (context) - Doldi, Encontre et al. - 1996
3 Verification of test suites (context) - Jard, Jron et al. - 2000
3 Formal test automation conference protocol with tgvtorx (context) - Ramangalahy, Belinfante et al. - 2000
3 An Industrial Experiment in Automatic Generation of Executab.. (context) - Kahlouche, Viho et al. - 1998
2 Towards automatic distribution of testers for distributed co.. (context) - Jard, Jron et al. - 1998
2 Automated test and oracle generation for smart-card applicat.. (context) - Clarke, Jron et al. - 2001
1 An experiment in automatic generation of conformance test su.. (context) - Fernandez, Jard et al. - 1997
1 rduction et dterminisation la vole: application la gnration .. (context) - Jron, Morel - 1997
1 Transfer and Management for OSI; Framework: Formal Methods i.. (context) - WG, Retrieval - 1996
1 Test Sequence Generation Using Estelle or SDL Structure Info.. (context) - Phalippou - 1994
1 Principles of test synthesis using true-concurrency models (context) - Jard - 2002
1 Hardware Testing using a Communication Protocol Conformance .. (context) - Kahlouche, Viho et al. - 1999
Documents on the same site (http://www.irisa.fr/triskell/bib2002.html): More
An Architecture and a Process for Implementing Distributed.. - Eric Cariou Antoine (2002) (Correct)
Genes and Bacteria for Automatic Test Cases.. - Baudry, Fleurey.. (2002) (Correct)
A Toolkit for Weaving Aspect Oriented UML Designs - Ho, Jezequel, Pennaneac'h.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC