STG: a tool for generating symbolic test programs and oracles from operational specifications

Authors:
Duncan Clarke;Thierry Jéron;Vlad Rusu;Elena Zinovieva
Affiliations:
IRISA/INRIA Rennes, Campus de Beaulieu, Rennes, France;IRISA/INRIA Rennes, Campus de Beaulieu, Rennes, France;IRISA/INRIA Rennes, Campus de Beaulieu, Rennes, France;IRISA/INRIA Rennes, Campus de Beaulieu, Rennes, France
Venue:
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Year:
2001

Citing 5
Cited 5

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Using Test Oracles Generated from Program Documentation

IEEE Transactions on Software Engineering
Automated Test and Oracle Generation for Smart-Card Applications

E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
A Formal Approach to Conformance Testing

Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Formal Test Automation: A Simple Experiment

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications

Case studies on fault detection effectiveness of model based test generation techniques

A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Electronic Notes in Theoretical Computer Science (ENTCS)
Building a test-ready abstraction of a behavioral model using CLP

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Automated boundary test generation from JML specifications

FM'06 Proceedings of the 14th international conference on Formal Methods
Scenario-based testing using symbolic animation of B models

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on a tool we have developed that automates the derivation of tests from specifications. The tool implements conformance testing techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications. It was applied for testing a simple version of the CEPS (Common Electronic Purse Specification).