Automatic interoperability test generation for source-to-source translators

Authors:
Mark Molloy;Kristy Andrews;James Herren;David Cutler;Paul Del Vigna
Affiliations:
Tandem Computers, Incorporated, 19333 Vallco Parkway, Cupertino, California;Tandem Computers, Incorporated, 19333 Vallco Parkway, Cupertino, California;Tandem Computers, Incorporated, 19333 Vallco Parkway, Cupertino, California;Tandem Computers, Incorporated, 19333 Vallco Parkway, Cupertino, California;Tandem Computers, Incorporated, 19333 Vallco Parkway, Cupertino, California
Venue:
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Year:
1998

Citing 8
Cited 0

Orthogonal Latin squares: an application of experiment design to compiler testing

Communications of the ACM
Producer: A tool for translating Smalltalk-80 to Objective-C

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Ada translation tools development: automatic translation of FORTRAN to Ada

ACM SIGAda Ada Letters
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
The design and implementation of a high-level language converter

Software—Practice & Experience
The C++ programming language (2nd ed.)

The C++ programming language (2nd ed.)
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs

IEEE Transactions on Software Engineering
Source-to-source translation: Ada to Pascal and Pascal to Ada

SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper describes a strategy for automatically generating tests which ensure interface compatibility between software components expressed in two different languages. This strategy is useful for testing code produced by a source-to-source computer language translator and for testing the compatibility of compilers for the different languages.