×

System for automatically generating tests to ensure binary compatibility between software components produced by a source-to-source computer language translator

  • US 6,425,118 B1
  • Filed: 07/17/1998
  • Issued: 07/23/2002
  • Est. Priority Date: 07/18/1997
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method for assuring the valid operations of a translator that translates an original computer program into a target computer program in a target language, wherein the target language is different from the language of the original computer program, wherein the original computer program includes procedures that have interface specifications, the method executed by a processor coupled to a storage device, the method comprising the steps of:

  • obtaining the interface specifications from one or more procedure calls in the original computer program;

    deriving and storing test procedures that use the obtained interface specifications to determine whether a variable value passed to the test procedures during execution of the test procedures is valid;

    using the translator to translate the test procedures into the target language;

    linking the translated test procedures to one or more portions of the original computer program to produce a test module;

    executing the test module to execute the test procedures and determine whether passed variable values are valid and;

    indicating an error condition if a passed variable value it invalid.

View all claims
  • 5 Assignments
Timeline View
Assignment View
    ×
    ×