Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
Test Synthesis from UML Models of Distributed Software
IEEE Transactions on Software Engineering
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic generation of model based tests for a class of security properties
Proceedings of the 3rd international workshop on Advances in model-based testing
Test purpose generation in an industrial application
Proceedings of the 3rd international workshop on Advances in model-based testing
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
AspectT: aspect-oriented test case instantiation
Proceedings of the 7th international conference on Aspect-oriented software development
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
Proceedings of the 3rd international workshop on Automation of software test
Generating security tests in addition to functional tests
Proceedings of the 3rd international workshop on Automation of software test
Action synchronization in P2P system testing
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
A game-theoretic approach to real-time system testing
Proceedings of the conference on Design, automation and test in Europe
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Test Case Generation from QR Models
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Applying Model-Based Testing to HTML Rendering Engines --- A Case Study
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Generating Tests from B Specifications and Test Purposes
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
j-POST: a Java Toolchain for Property-Oriented Software Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Improving Fault-based Conformance Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing Architectures for Large Scale Systems
High Performance Computing for Computational Science - VECPAR 2008
Issues in using model checkers for test case generation
Journal of Systems and Software
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Automated Software Testing of Asynchronous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Use of Uniform Random Generation of Automata for Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Model-Based Testing of GUI-Driven Applications
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a test cases generation method for security policies
ICT'09 Proceedings of the 16th international conference on Telecommunications
"On the fly" input output conformance verification
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Choosing a test modeling language: a survey
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Making model-based testing more agile: a use case driven approach
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Model-based testing of environmental conformance of components
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Model based testing with labelled transition systems
Formal methods and testing
Model-based testing and the UML testing profile
Semantics and algebraic specification
Empirical Software Engineering
On the use of temporal formal logic to model gene regulatory networks
CIBB'09 Proceedings of the 6th international conference on Computational intelligence methods for bioinformatics and biostatistics
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
A conformance testing relation for symbolic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering
Testing techniques in software engineering
UML in action: a two-layered interpretation for testing
ACM SIGSOFT Software Engineering Notes
Static- and dynamic consistency analysis of UML state chart models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Efficient distributed test architectures for large-scale systems
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Abstracting timing information in UML state charts via temporal ordering and LOTOS
Proceedings of the 6th International Workshop on Automation of Software Test
Off-line test selection with test purposes for non-deterministic timed automata
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Model checking and co-simulation of a dynamic task dispatcher circuit using CADP
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
On-the-fly verification of discrete event simulations by means of simulation purposes
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Symbolic execution techniques for test purpose definition
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A fresh look at testing for asynchronous communication
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
A semantic framework for test coverage
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Security policy enforcement through refinement process
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Distributed on-the-fly model checking and test case generation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Test generation from recursive tiles systems
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
A new method for interoperability test generation
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Testing and model-checking techniques for diagnosis
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A theory of history dependent abstractions for learning interface automata
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A formal method for testing reactive system from symbolic model
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Towards quality of model-based testing in the ioco framework
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
Generation of Java programs properties from test purposes
Proceedings of the 2013 International Symposium on Software Testing and Analysis
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Vibes: A visual language for specifying behavioral requirements of algorithms
Journal of Visual Languages and Computing
Formal analysis of a hardware dynamic task dispatcher with CADP
Science of Computer Programming
| Hi-index | 0.00 |
This paper presents the TGV tool, which allows for the automatic synthesis of conformance test cases from a formal specification of a (non-deterministic) reactive system. TGV was developed by Irisa Rennes and Verimag Grenoble, with the support of the Vasy team of Inria Rhônes-Alpes. The paper describes the main elements of the underlying testing theory, which is based on a model of transitions system which distinguishes inputs, outputs and internal actions, and is based on the concept of conformance relation. The principles of the test synthesis process, as well as the main algorithms, are explained. We then describe the main characteristics of the TGV tool and refer to some industrial experiments that have been conducted to validate the approach. As a conclusion, we describe some ongoing work on test synthesis.