See this document in CiteSeerX!

TGV: theory, principles and algorithms (2002)  (Make Corrections)  
Claude Jard, Thierry Jeron



  Home/Search   Context   Related

 
View or download:
irisa.fr/triskell/publis/...Jard02c.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  irisa.fr/triskell/bib2002 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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