R-JVV^® - Random test generator for Java Virtual Machines (JVMs)

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.

For more information about R-JVV, including its features, test results, and licensing terms, please contact us.