New news blog

Hi,

Historically we haven’t been too great at communicating news about Software Verification to you all.

Proof of the pudding is that the previous news page has entries that are sometime one line long but that cover an entire topic. How is that possible? And as a result the entire history of the company can be summed up in a page or two of entries on the previous news page. Rather than obsolete these entries I’m going to list them below so that they are still part of the company historical record.

For the future we’re going to be reporting news here in our news blog. Technical stuff will remain in the company blog and Stephen’s personal ramblings about conferences and other stuff will move to a new dedicated blog for all things to do with software, music, bagpipes and snails.

Enjoy!

Stephen, John, Roger, Terry, Annette.

Perl Profiling API August 2011

Perl Profiling API has been released. This API allows Perl applications to be easily profiled for code coverage, flow tracing and profiling tasks. Our Perl tools have been updated to take advantage of this new profiling API. Read full story

C++ code coverage detector – C++ Coverage Validator x64 August 2011

C++ Coverage Validator x64 enters beta test. This is the x64 port of our successful C++ Coverage Validator code coverage detection software tool. Read full story

C++ performance profiler – C++ Performance Validator x64 August 2011

C++ Performance Validator x64 enters beta test. This is the x64 port of our successful C++ Performance Validator performance profiling software tool. Read full story

Software Verification new website design July 2011

The Software Verification website gets a new design to improve navigation and presentation of the software tools.

C++ memory leak detector – Memory Validator September 2010

Memory Validator x64 enters beta test. This is the x64 port of our successful Memory Validator memory leak detection and memory analysis software tool. Read full story

C++ deadlock detector – Thread Validator August 2010

Thread Validator x64 enters beta test. This is the x64 port of our successful Thread Validator deadlock detection and thread analysis software tool. Read full story

.Net code coverage – .Net Coverage Validator July 2010

V3.00 of .Net Coverage Validator released. This new version runs code coverage at nearly 100% of the speed the application would
run without our tool performing code coverage on it. Perfect for real time code coverage during interactive testing of software products. Read full story

Software tools updated to handle Windows 7 May 2010

All software tools updated to handle Windows 7 new DLL Kernelbase.dll. This is important for tracking any DLL loaded via COM instantiation.

Thread Status Monitor April 2010

Launch of thread status monitoring software tool Thread Status Monitor. Read full story

Thread Lock Checker April 2010

Launch of source code error checking software tool Thread Lock Checker. Read full story

DLL filtering added March 2010

DLL filtering added to .Net Memory Validator and .Net Performance Validator
All JavaScript tools updated to support Firefox 3.6, Firefox 3.5, Firefox 3.1.

Faster shared memory February 2010

New faster shared memory design for all versions of Coverage Validator.
New faster line timing shared memory design for all versions of Performance Validator.

Code Signing Certificate December 2009

All software downloads now signed using a Code Signing Certificate.

Added support to Validator October 2009

Added support for Delphi Branch Coverage to C++ Coverage Validator.
Added support for MinGW gcc/g++ compiler to C++ Coverage Validator.
Added support for MinGW gcc/g++ compiler to C++ Memory Validator.
Added support for MinGW gcc/g++ compiler to C++ Performance Validator.
Added support for MinGW gcc/g++ compiler to C++ Thread Validator.

Suites of software tools September 2009

September sees the introduction of suites of software tools to provide greater value for money than if the
software tools are purchased individually. Three suites for C++/Delphi/Visual Basic 6 users and one suite for .Net users.

C++, Visual Basic 6, Delphi suites:
C++ Developer Suite: Coverage, Memory, Performance, Thread.
C++ QA Suite: Coverage, Memory, Performance.
C++ Support Suite: Memory, Performance.

.Net suites:
.Net Developer Suite: .Net Coverage, .Net Memory, .Net Performance.

Added support for Python 2.6 August 2009

Added support for Python 2.6 to Python Coverage Validator.
Added support for Python 2.6 to Python Memory Validator.
Added support for Python 2.6 to Python Performance Validator.

CppUnit unit test support April 2009

Added CppUnit unit test support to Coverage Validator.

Coverage Validator 4.0released March 2009

Coverage Validator 4.0 released.
The main improvement with Coverage Validator 4.0 is the addition of Branch Coverage statistics.

.Net Coverage Validator 2.0 released.
The main improvement with .Net Coverage Validator 2.0 is the addition of Branch Coverage statistics
and provision for DLL filtering.

Added 64 bit support January 2009

Added 64 bit support to .Net Coverage Validator.
Added 64 bit support to .Net Performance Validator.
Added 64 bit support to .Net Memory Validator.

All .Net software tools now support all versions of the .Net Common Language Runtime (CLR) and all versions of the .Net Framework on all 32 bit (x86) and 64 bit (x64) Windows operating systems.

Added Stackless 2.5.2 support December 2008

Added Stackless 2.5.2 support to Python Bug Validator.
Added Stackless 2.5.2 support to Python Coverage Validator.
Added Stackless 2.5.2 support to Python Memory Validator.
Added Stackless 2.5.2 support to Python Performance Validator.
Added Stackless 2.5.2 support to Python Thread Validator.

Darmstadt Dribblers August 2008

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 Verify 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!”

Added Firefox 3.0 support July 2008

.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 April 2008

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 December 2007

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

New tools November 2007

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.

ASP.Net support October 2007

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

Memory snapshot August 2007

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 June 2007

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

JavaScript software tools April 2007

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

Support .Net 2.0 March 2007

.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

Support Python 2.5 February 2007

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().

First steps into the .Net world January 2007

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 October 2006

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.

Memory validation August 2006

Lua Memory Validator enters public beta

A beta April April 2006

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

Web site launch March 2006

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.

Many software tools released from beta into production December 2005

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.

Lua and JavaScript beta October 2005

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

Menory beta July 2005

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

Java beta May 2005

Java Memory Validator enters public beta.

Ruby and Python betas December 2004

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 public beta March 2004

Python Bug Validator enters public beta.

Python beta March 2003

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

Beta news January 2003

Performance Validator enters public beta.

Coverage Validator 1.0 is released December 2002

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

Coverage Validator 1.0 is released.

More beta news November 2002

C++ Bug Validator enters public beta.

BetaAugust 2002

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

DCubed Limited July 2002

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

SolidWorks Corporation July 2002

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

Memory Validator 2.0 31st March 2002

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.

Memory analysis tool released1st March 2002

VM Validator virtual memory analysis tool released.

Cambridge artist Glynn Gorick is commissioned September 2001

Cambridge artist Glynn Gorick is commissioned 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.