Software Verification Limited
Software Verification Limited provides products to help your software developers create products in an efficient and timely manner. Software development has many phases, one of which is the process of testing and identifying errors in the software. Software Verification Limited provides tools to aid in this process. Our aim is to provide software tools that utilise the same user interface and same command line interface for the same task, regardless of which computing language is used. This allows software developers using multiple languages to switch languages without also having to change the tools they use. Once you know one of our coverage tools you know how to use all the other language versions of our coverage tools. The data displays are the same, the user interactions are the same, the HTML, XML output formats are the same. Now that software engineers often write in compiled languages such C++, C# and Java and also with scripted languages such as Python and Ruby on the web server and JavaScript on the web client the ability to move seamlessly between tools, all from the same vendor increases productivity. Compare this to working with a raft of incompatible tools and ports from multiple vendors and you can see the advantage of our approach.
$0.00 |
Bug ValidatorBug Validator provides automatic execution history logging of applications as they run. There is no need to recompile or relink your application. Bug Validator works with debug information and/or MAP files. Bug Validator allows you to perform execution history logging on your entire application, or on just the DLLs you require. You can also prevent files from being instrumented. The execution history of your application is recorded line-by-line as each section of code corresponding to each source code line is executed. When working with multi-threaded applications, you can see the context switches between each thread. If you get a Bug of any kind, Bug Validator will have a log of all the lines executed up until the point of the crash, not just the callstack for the crash. This makes Bug Validator an excellent tool for identifying otherwise hard to detect bugs and crashes. Combined with the companion software tool, Bug Validator Client, you can identify the causes of crashes at customer sites without compromising your symbolic debugging information. |
|
 |
  |
|
$183.08 |
Coverage Validator.Net Coverage Validator provides automatic source code coverage analysis of applications as they run. There is no need to recompile or relink your application. .Net Coverage Validator works with information provided by the Common Language Runtime. .Net Coverage Validator allows you to perform coverage analysis on your entire application. This makes .Net Coverage Validator an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken. |
|
|
|
|
$275.08 |
Memory Validator.Net Memory Validator provides automatic memory usage analysis of applications as they run. There is no need to recompile or relink your application. .Net Memory Validator works with information provided by the Common Language Runtime. To view the feature list for .Net Memory Validator, click here. Net Memory Validator does not require your program to be recompiled or relinked. The beta works with .Net 1.0, .Net 1.1 and .Net 2.0. .Net Memory Validator does not cause significant drops in performance. .Net Memory Validator causes a target program to run marginally slower than normal. |
|
|
|
|
$183.08 |
Performance Validator.Net Performance Validator provides automatic source code performance analysis (profiling) of applications as they run. There is no need to recompile or relink your application. .Net Performance Validator works with metadata and debug information. .Net Performance Validator allows you to perform performance analysis on your entire application, or on just the DLLs/Assemblies/Classes you require. You can also prevent files from being instrumented. This makes .Net Performance Validator an excellent tool for use in unit testing and performance tuning where you need ensure that your application has no bottlenecks. |
|
|
|
|
$459.08 |
Thread ValidatorThread Validator was created to provide automated detection of thread synchronisation errors such as deadlock detection, potential deadlock detection and the detection of lock acquisition strategies that may work, but be potentially dangerous. Thread Validator can also provide complete stack traces for threads that have already deadlocked. This is in contrast to the same situation you will find in a debugger where the stack trace ends inside ntdll.dll. This allows you to use Thread Validator to perform deadlock postmortem analysis |
|
|
|
|
Contact Sales |
VM ValidatorMonitor virtual memory and paging usage to find performance problem areas. Very useful for detecting pathological memory usage not shown by traditional memory allocation analysis tools. |
|
|
|
