R-JVV is a random test generation tool for Java virtual
machines. Other JVM testing tools are not sufficient for
testing a modern Java virtual machine. This is because a
modern Java virtual machine is performing some of the most
aggressive optimizations available in compiler technology,
such as global code motions, inter-method optimizations,
profile-driven optimization, and speculative optimizations
that get undone with dynamic class loading. While other
Java test suites cover the basic semantics of the language,
with some tricky edge cases, we have found that they do not
produce enough cases with enough diversity to ensure the
correctness of the JVM's optimizations. This is not just
paranoia - we have found that some of the leading JVMs fail our
tests.

R-JVV is a tool that supplements other test suites for
testing JVMs, including our own R-JIT. R-JVV generates volumes of
complex random self-checking Java test cases that stress the
optimizations in the JVM. While the coverage of any tool
cannot be complete, using R-JVV to complement other Java
test suites can substantially improve quality and
reliability.

R-JVV helps you bring the testing of your JVM closer to the
testing level that a hardware platform typically gets. For
example, a mainframe server receives extensive tests and
includes extra hardware such as parity and ECC checking,
which is partly what gives the mainframe its price premium.
The complexity of a modern JVM can be much greater than that
of hardware. For a mission-critical Java-based server, R-JVV
helps to bring the dependability level of the JVM toward
that of server hardware.

R-JVV is useful to the following classes of users:

• Developers of proprietary and open source JVMs. R-JVV can
  substantially supplement the dependability provided by
  other test suites.
  
• Developers of devices and systems that include a
  JVM. R-JVV will subject their system to a higher level of
  testing intensity to help avoid expensive device recalls
  or embarrassing crashes.
  
• Integrators and web site developers seeking to qualify the
  components that they provide to their business customers.
  R-JVV's results can provide criteria that indicate the
  highest quality JVM to provide to customers.
  
• Users of JVMs for mission critical applications, such as
  J2EE servers. R-JVV testing intensity can help ensure that
  the JVM supplied by their vendor is of the highest
  quality, to avoid costly downtime.