Browse Prior Art Database

Just it time compiler (JIT) testing using self checking randomly generated test cases

IP.com Disclosure Number: IPCOM000012000D
Original Publication Date: 2003-Apr-01
Included in the Prior Art Database: 2003-Apr-01
Document File: 1 page(s) / 41K

Publishing Venue

IBM

Abstract

Method to validate that randomly generated Java test cases have executed correctly

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 52% of the total text.

Page 1 of 1

  Just it time compiler (JIT) testing using self checking randomly generated test cases

A Java* just-in-time compiler (JIT) receives a Java class file and turns it into machine instructions appropriate to the hardware architecture on which the program is running. It also performs various optimizations on the code in an attempt to make the resulting program execution be as fast as possible.

     The Java class files which the JIT needs to be able to compile are infinite in variation possibilities. The testing of the JIT therefore lends itself to automatic test case generation techniques where a test program generates other Java programs which are given to the JIT to compile.

     The first type of error which this testing might provoke is that the JIT is unable to compile the test case successfully resulting in a fatal failure of the generated code or a failure of the JIT itself. Either of these failures would cause the Java virtual machine to crash, thereby pointing out the error. A second type of error which this testing might provoke is that the JIT produces valid machine instructions for the platform on which it is running, but the instructions are incorrect with respect to the logic of the (Java) program. Detecting this type of defect is a problem because the Java program itself was generated automatically and the correct result of its execution is not known. This submission proposes a solution to this second problem.
1. As part of the test case generation process, each time an object is created, a reference to...