Software Verification News

This page contains information on the latest developments at Software Verification Limited.

Darmstadt Dribblers come 4th (24 competitors) in the world championship for humanoid robotic competitors with their Isra robot. Isra's performance was in part due to the improvements made by using Performance Validator to profile the code for Isra. Find out more about the Dribblers on the Software Verification blog.

Sebastian Petters had this to say about Performance Validator:

"From July 14. to 20. we participated in the RoboCup World Championship in Suzhou, China with our humanoid robots. Thanks to your software we were able to identify and remove some bottlenecks in our application. Due to code and algorithm improvements based on the analysis with Performance Validator we could raise the number of processed frames per second from about 4-5 to 15-17 which make a huge difference in our highly dynamical environment.

Performance Validator has become an irreplaceable tool for our project!"

.Net Coverage Validator 1.0 is released.
.Net Memory Validator 1.0 is released.
.Net Performance Validator 1.0 is released.

Added Firefox 3.0 support to JavaScript Bug Validator
Added Firefox 3.0 support to JavaScript Coverage Validator
Added Firefox 3.0 support to JavaScript Memory Validator
Added Firefox 3.0 support to JavaScript Performance Validator

All software tools updated to provide column sorting hints with direction arrows and column colour hinting, settings dialogs reworked to provide improved layout, tree/grid controls modified to provide a single unified approach across all tools, colour and resizing repainting changes to improve visual appeal.

Java Memory Validator updated to use JVMTI for use with modern JVMs.

Visual Studio 2008
Added Visual Studio 2008 support to Bug Validator
Added Visual Studio 2008 support to Coverage Validator
Added Visual Studio 2008 support to Memory Validator
Added Visual Studio 2008 support to Performance Validator
Added Visual Studio 2008 support to Thread Validator

Java
We have updated some of our Java tools to support both the JVMPI interface (for use with older JVMs) and the JVMTI interface (for use with modern JVMs).

Java Bug Validator updated to use JVMTI for use with modern JVMs.
Java Coverage Validator updated to use JVMTI for use with modern JVMs.
Java Performance Validator updated to use JVMTI for use with modern JVMs.
Java Thread Validator updated to use JVMTI for use with modern JVMs.

Added ASP.Net support to .Net Coverage Validator
Added ASP.Net support to .Net Memory Validator
Added ASP.Net support to .Net Performance Validator

Added a memory snapshot user interface and C# API to .Net Memory Validator
Added a memory snapshot user interface and Java API to Java Memory Validator
Added a memory snapshot user interface and JavaScript API to JavaScript Memory Validator
Added a memory snapshot user interface and Lua/C API to Lua Memory Validator
Added a memory snapshot user interface and Python/C API to Python Memory Validator
Added a memory snapshot user interface and Ruby/C API to Ruby Memory Validator

.Net Coverage Validator enters public beta.
.Net Performance Validator beta updated to line timing.

All JavaScript software tools updated to support XulRunner as well as Firefox and Flock.

.Net Memory Validator beta updated to support .Net 2.0
.Net Performance Validator beta updated to support .Net 2.0
VM Validator updated to support .Net 2.0
Memory Validator updated to support .Net 2.0
Coverage Validator updated to support .Net 2.0
Performance Validator updated to support .Net 2.0

All Python software tools updated to support Python 2.5.

All JavaScript software tools updated to support loading of code via eval() and dojo.require().

Our first steps into the .Net world. Two new software tools for .Net based upon our existing tools Memory Validator and Performance Validator.

.Net Memory Validator enters public beta.
.Net Performance Validator enters public beta.

A busy month - many software tools released from beta into production, plus a few industry products to be the first of their kind for the JavaScript, Lua, Python and Ruby scripting languages.

Java Memory Validator 1.0 is released.

JavaScript Coverage Validator 1.0 is released. This is the first commercial software tool for providing code coverage for JavaScript applications.

JavaScript Memory Validator 1.0 is released. This is the first commercial software tool for providing memory analysis for JavaScript applications.

JavaScript Performance Validator 1.0 is released. Although not the first commercial profiler for JavaScript applications this is the first native profiler for JavaScript applications - monitoring performance from outside of the JavaScript environment rather than using inefficient wrapper functions to perform the work.

Python Memory Validator 1.0 is released. This is the first commercial software tool for providing memory analysis for Python applications.

Ruby Memory Validator 1.0 is released. This is the first commercial software tool for providing memory analysis for Ruby applications.

Lua Coverage Validator 1.0 is released. This is the first commercial software tool for providing code coverage for Lua applications.

Lua Performance Validator 1.0 is released. This is the first commercial performance profiling software tool for Lua applications.

Lua Memory Validator enters public beta.

Perl Bug Validator enters public beta.
Perl Coverage Validator enters public beta.
Perl Performance Validator enters public beta.

New web site launched for Software Verification Limited.

PHP Bug Validator enters public beta.
PHP Coverage Validator enters public beta.
PHP Performance Validator enters public beta.

A busy month - many software tools released from beta into production, plus a few industry products to be the first of their kind for the Python and Ruby scripting languages.

As if that is not enough we also release three software tools for JavaScript into beta.

Performance Validator 2.0 is released.
Thread Validator 1.0 is released.
Java Coverage Validator 1.0 is released.
Java Performance Validator 1.0 is released.
Java Thread Validator 1.0 is released.

Python Coverage Validator 1.0 is released. This is the first commercial software tool for providing code coverage for Python applications.

Python Performance Validator 1.0 is released. This is the first commercial software tool for providing performance profiling for Python applications.

Ruby Coverage Validator 1.0 is released. This is the first commercial software tool for providing code coverage for Ruby applications.

Ruby Performance Validator 1.0 is released. This is the first commercial performance profiling software tool for Ruby applications.

JavaScript Memory Validator enters public beta.
JavaScript Bug Validator enters public beta.
JavaScript Coverage Validator enters public beta.

JavaScript Performance Validator enters public beta.
Lua Bug Validator enters public beta.
Lua Coverage Validator enters public beta.
Lua Performance Validator enters public beta.

Python Memory Validator enters public beta.
Ruby Memory Validator enters public beta.

Java Memory Validator enters public beta.

Java Bug Validator enters public beta.
Python Thread Validator enters public beta.
Ruby Bug Validator enters public beta.
Ruby Coverage Validator enters public beta.
Ruby Performance Validator enters public beta.
Ruby Thread Validator enters public beta.

Python Bug Validator enters public beta.

Python Coverage Validator enters public beta.
Python Performance Validator enters public beta.

Performance Validator enters public beta.

The release of our first code coverage software tool, Coverage Validator.

Coverage Validator 1.0 is released.

Crash Validator enters public beta.

Coverage Validator enters public beta.
Thread Validator enters public beta.
Java Thread Validator enters public beta.

DCubed Limited (CAD part vendor) take delivery of a site license for Memory Validator.

SolidWorks Corporation (Mechanical CAD vendor) take delivery of a site license for Memory Validator.

Memory Validator version 2.0 is released. To mark the launch copies of Memory Validator are given away as prizes on the Code Project website.

VM Validator virtual memory analysis tool released.

Cambridge artist Glynn Gorick is commisioned to provide artwork for Memory Validator 2.0. Glynn is an established artist with clients in many corporate sectors. Glynn specialises in providing artwork related to biology and natural processes.