News 2007

News 2007

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:

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 Conformiq 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 plug-ins also in Java in a very similar fashion as plug-ins are implemented in C++.

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 Testwell 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" introduced 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

(June 2007)

Two Nokia Research Centre researchers published a paper on the use of Conformiq. 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, the world´s leading model driven testing tool.
In their paper the researchers report on the use of Conformiq for testing a "device level service", and mention that "bugs were found and the mentioned 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 behaviour. 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

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.