News 2007

Coverity Recognized as Rising Star in Deloitte´s Technology Fast 50 Program

(30 October 2007)

Coverity, Inc., the leader in improving software quality and security automatically, today announced it has been named a Rising Star in Deloitte & Touche USA LLP´s Technology Fast 50 program for Silicon Valley.
A special designation for fast-growth companies, the Rising Star award recognizes high-growth companies that have been in business a minimum of three years, but less than five.
With a growth rate of 537 percent over this period, Coverity was ranked the thirteenth fastest growing company in the Silicon Valley.
"Coverity is proud to be recognized for our significant and consistent growth by Deliotte´s veteran leadership team," said Seth Hallem, CEO of Coverity. "We also thank our fast growing group of over 300 customers for their important role in helping us attain this recognition. We look forward to continued success by developing technology that helps our customers manage the complexity of producing software in today´s highly competitive markets."
To qualify for the Technology Fast 50 Rising Star program, companies must have operating revenues of at least USD 50,000 in 2004 and USD 5 million in 2006.

Coverity Announces Breakthrough Software Code Analysis Engine

(October 2007)

Coverity announced the first software analysis engine based on Boolean satisfiability (SAT). Coverity’s SAT engine leverages a highly accurate representation of software, or Software DNA Map, to automatically identify complex defects in source code with unmatched precision and accuracy. By helping software development teams find and eliminate these potentially costly defects, Coverity Prevent SQS accelerate the ability of companies to deliver secure, high quality applications.
Available today, Coverity’s False Path Pruning Solver is the first Solver to be released for Prevent SQS. Coverity plans to release two additional Solvers in early 2008 that allow customers to check code assertions statically and to detect critical bug categories including integer overflows.
After testing on over 2 million lines of code from multiple applications of open source software from Coverity’s Scan project, the False Path Pruning Solver was found to reduce false positive results by an average of 30 percent.
Further information: Breakthrough Software Code Analysis Engine Coverity Prevent SQS

Verifysoft to uncover serious bug in Mono C# Compiler

(4 October 2007)

Verifysoft found a serious bug in Mono C# compiler during the development of "CTC++ for Java and C#" (Code Coverage for C# and Java).
The binaries compiled with the yet unfixed compiler are rendered untrusted, at least must be then recompiled with a future fixed version. The bug is confirmed by Novell:
https://bugs.launchpad.net/mono/+bug/144734
https://bugzilla.novell.com/show_bug.cgi?id=328136

Testwell CMT++ Code Complexity Measures Tool for C/C++: Version 4.2 available

(28 September 2007)

A new version (4.2) of Testwell CMT++ Code Complexity Measures Tool for C/C++ is available.
CMT++ 4.2 comes with new features, i.e.:

The format of the long report is changed to XML. The report form has been extended to contain "all" information that CMT++ in general analyses from the source files (system-level summary, alarms, etc.). This new XML form is now meant to be the primary means in CMT++ integrations to tool chains.
From a class/struct declaration inline methods are now reported. The declaration itself is no more reported as its own entity. It is considered to be like any other header code (like a function prototype), which is counted to file-level measures.
Better handling of conditional compilations when unbalanced {}s. No more "unexpected end of file" messages in normal use cases.
Many improvements in the HTML report (cmt2html utility)
CMT++ GUI improved (Windows)
Visual Studio 2005 IDE integration introduced (Windows)

"CTC++ for Java and C# Add-on" available

(13 September 2007)

Verifysoft Technology announced today the availability of "CTC++ for Java and C#", an add-on for Testwell CTC++ Test Coverage Analyzer for C and C++.
The add-on extends the Code Coverage capabilities of CTC++ from C and C++ to Java and C#.
The tool analyses for all coverage levels as required in "critical" software projects: Function-Coverage, Decision-, Statement-, Condition-, Multi-Condition- (MCC), and Modified Condition / Decision Coverage (MC/DC).
Testwell CTC++ and "CTC++ for Java and C#" help to obtain certifications, i.e. DO178-B.

Conformiq Qtronic 1.1.0 Released

(12 September 2007)

A new version of Conformiq Qtronic, the leading model driven testing solution, has been released.

Here what´s new in QTRONIC 1.1 :

Communication between internal threads in the model can now be observed in scripters and loggers.
Array allocation semantics in QML has been changed.
Added a scripter that renders scripts as MSC formatted HTML pages.
Added Java plugin API allowing the user to implement plugins also in Java in a very similar fashion as plugins are implemented in C++.

New Verifysoft Product Brochure available for Download

(5 September 2007)

A new Verifysoft company and product flyer is available for download. The brochure provides information on our software testing and analysis tools, automatic test generators, code coverage and metric analysis tools, unit test tools as well as some background information about our company.

Download:

English Deutsch Français

CTC++ for Symbian Target Devices add-on v3.2 available

(29 August 2007)

A new version of Testwell CTC++ for Symbian Target Devices add-on package (CTC4STD) has been released.
With the new version the instrumented file can now be also a C file (compiled as C code). Previously, the instrumented code could be compiled as C++ code only.

Testwell CTC++ 6.4 available

(10 July 2007)

Testwell announced the release of CTC++ Test Coverage Analyzer version 6.4.
The new version introduces the ´ctcwrap´ capability also on Windows platform. It facilitates extremely simple way to do "ctc-builds" with existing makefiles and other build arrangements.
The IDE integrations to Visual Studio .NET 2003 and to Visual Studio 2005 are renewed, making the usage simpler and more powerful.
There is also a "power-user capability" intruduced to aggregate coverage data in a controlled way of separate/independent "ctc-builds" and their test sessions.
Our maintenance customers will receive the version without supplementary fees.

Two Nokia Research Center researchers published a paper on the use of Conformiq Qtronic

(June 2007)

Two Nokia Research Center researchers published a paper on the use of Conformiq Qtronic. The paper appears in the collection of peer reviewed papers for TESTCOM/FATES 2007, a leading conference on mathematics and formal methods based testing.
This year the joint conference was held in Tallinn, Estonia. Antti Huima from Conformiq Software gave his invited talk on the implementation architecture of Conformiq Qtronic, the world´s leading model driven testing tool.
In their paper the researchers report on the use of Qtronic for testing a "device level service", and mention that "bugs were found and the mentioned paraller errors were such that... there were no explicit requirements that would have to led test cases uncovering the errors".
The conference proceedings are available as LNCS 4581 from Springer.

New version of Testwell CTC++ Host-Target add-on for Test Coverage in embedded targets available

(18 May 2007)

Testwell announced the release of version 3.2 of the Host-Target add-on for the leading code Coverage Tool Testwell CTC++.
The new version contains further optimizations at the target run-time behavior. Also model implementations for the low-level data transfer routines have been introduced.
The CTC++ Host-Target add-on allows the analysis of code coverage in any embedded targets.
Our maintenance customers will receive the add-on free of charge.

Testwell CTC++ Test Coverage Tool working with FreeBSD OS

(16 May 2007)

Verifysoft Technology proudly announce an CTC++ Addon package, that let users of the FreeBSD operating system / Intel seamlessly use the Testwell CTC++ code coverage tool on that platform.
The delivered executables are running transparently in Linux ABI mode, the library (and subsequently the instrumented applications) are native FreeBSD executables...
Also the code complexity measures tools Testwell CMT++ and Testwell CMTJava are working "out of the box" with the FreeBSD operating system.
Until now all Testwell tools have already been available for Windows, Linux, HP-UX and Solaris platforms.

Testwell CTC++ for Symbian OS v9.x targets available

(30 April 2007)

The CTC++ for Symbian Target Devices add-on v3.1 package has been upgraded to work on Symbian OS v9.x (EKA2 kernel) based devices. Target support for the previous Symbian OS level upto v8 (EKA1 kernel) has been discontinued. Support for the EPOC emulator (Symbian OS before and after v9) use in the CTC++/Windows version continues unchanged.
Further information about CTC++ for Symbian

Embedded World: New Tools for Embedded Software Testing

At Embedded World in Nürnberg (Germany) Verifysoft Technology has presented several new tools for testing and analysing embedded systems.
The code coverage analyzer Testwell CTC++, allows measures of test coverage in any (even smallest) embedded targets.
More than hundert visitors had a look to Conformiq Qtronic. Qtronic is a new model based testing tool for test case generation and execution based on existing UML models.
further information: Embedded World 2007

Testwell CTC++ v6.3 available

(1 February 2007)

A new version of Testwell CTC++ Test Coverage Analyzer is now available. CTC++ 6.3 comes with various enhancements and an integration for Visual Studio 2005 IDE. The HTML report is enhanced (report sorting, directory level summaries, etc.). There is also an "ctcwrap" integration on Unix makefiles and other commands.
Our maintenance customers will receive the new version free of charge.

Qtronic, a new model based testing tool now available

(30 January 2007)

Conformiq Qtronic, the leading, innovative tool for Model Driven Quality Assurance (MDQA), is now available for evaluation.
The only commercial solution in the world that supports both online and offline testing, Qtronic sets up the standard for model driven testing.
Further information and free evaluations: Conformiq Qtronic

Verifysoft presented new tools at OOP 2007 in Munich

Verifysoft Technology was present at the OOP 2007 conference that was held in Munich, Germany. We presented new tools and add-ons for our solutions.
Based on software design models, Conformiq Qtronic allows the automatic generation and execution of black box tests.
Verifysoft showed also Coverity Prevent, a statics testing tool for the detection of run-time errors in large code bases.
The new add-on for Testwell CTC++ allows code coverage measures for embedded systems in any (even smallest) targets.

News of the year 2006, 2005, 2004, 2003

last updated: 07.04.2008

© 2003-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Conformiq Qtronic are products and trademarks of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products and trademarks of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.