Company Conformiq Qtronic CMT++ CTC++/CTC for Java and C# Coverity Java Testing Tools

Conformiq Qtronic Presentation at "Software & Systems Quality Conferences" in Düsseldorf, Germany

Conformiq Software presents Conformiq Qtronic at "Software & Systems Quality Conferences" on April 16-18, 2008 at Congress Center Stadthalle Düsseldorf, Germany.
Qtronic is a test solution that delivers automatically test cases for Black Box Tests. The input for the tool is a design model of your software which can be created with Qtronic Modeler in the tool or be "imported" form third party design tools.
Come to Düsseldorf and get a demo. Entrance to the exhibition is free of charge on friday, April 18.
Further information: Conformiq Qtronic Software & Systems Quality Conferences

Conformiq Qtronic 1.3 available

(4 April 2008)

Conformiq Qtronic version 1.3 has been released and is available immediately.
Qtronic 1.3 comes with an incremental test generation algorithm. With this new feature, the generated tests are stored as assets for future use. When tests are regenerated due to a change in the model etc. there is no need to regenerate tests from the parts of the model that are not changed.
The performance of test generation has been improved significantly.
The quality of the generated test has been improved and the generated set of tests is more compact.
For more information about Conformiq Qtronic, the leading model driven testing solution, please go to the product pages

Testwell CTA++ version 3.0.4 for Unit Tests now available

(18 March 2008)

Version 3.0.4 of CTA++ C++ Test Aider has been released. The upgrade of this unit test tool is available for Windows, Linux, Solaris and HPUX.
CTA++ comes with new Visual C++ 8.0 and new Visual C++ 9.0 IDE integrations. There are also enhancements in the CTA++ run-time library, the ctastub and cta2html utilities.

Code Coverage: CTC++ for Symbian Target Devices add-on v3.3 released

(14 March 2008)

CTC++ for Symbian Target Devices version 3.2 is available. This upgrade gives GCCE cross compiler support. Previosuly only RVCT cross compiler was supported. There are also some technical improvements to make the behavior more robust.

Verifysoft sponsors "French Software Testing Day" (Journée Française des Tests Logiciels)

Verifysoft Technology sponsors the "Journée Française des Tests Logiciels" (French Software Testing Day), an event organized by the "Comité Français des Tests Logiciels" (CFTL) in Paris on 17 June 2008.
Further information is available from the CFTL website.

Embedded World 2008: Tools for Test of Embedded Software

(26-28 February 2008)

Verifysoft Technology has presented at Embedded World in Nuremberg new versions of software testing tools for embedded systems.
Testwell CTC++, a tool fro code coverage analysis in embedded C and C++ software projects supports all (even smallest) targets and any compiler.
Also on show was Coverity Prevent, a tool for static analysis of bigger software projects, and Conformiq Qtronic (version 1.2). Qtronic generates automatically test cases for black box testing. The tool uses design models (i.e. UML) to generate the tests.

Code Coverage: New Version 6.5 of Testwell CTC++ available

(15 February 2008)

The Testwell CTC++ Test Coverage Analyzer 6.5 release delivers XML reporting and enhancements in the HTML reporting. The support for parallel "ctc-builds" has been improved.
Our maintenance customers will receive CTC++ 6.5 without supplementary fees.

Coverity CTO Ben Chelf Presents on "Boolean Satisfiability" at Embedded World in Nuremberg, Germany

Coverity CTO Ben Chelf presents on "Boolean Satisfiability" and "Multi-threaded Application Development" at Embedded World February 26 in Nuremberg, Germany.
Coverity´s static analysis tool Coverity Prevent uses the first software analysis engine based on Boolean satisfiability (SAT). Coverity Prevent identifies automatically complex defects in (multi threaded) source code with unmatched precision and accuracy.
Embedded World Nuremberg:
Coverity Inc.: hall 11 stand 11-426
Verifysoft Technology GmbH: hall 11 stand 112

Automatic Test Case Generation: Conformiq Qtronic 1.2 Released

(11 January 2008)

Conformiq Qtronic version 1.2, a solution for automatic test case generation, is now available.

Here what´s new in QTRONIC 1.2 :

Introduced model import from Sparx Systems Enterprise Architect.
Model Debugging functionality has been integrated to the Online Testing and Script Generation modes
New Windows installer that is based on open-source Nullsoft Scriptable Install System.
Added a new scripter for generating test scripts in TCL .
TTCN-3 and HTML script generators has been extended and enhanced.
Usability of Qtronic and Qtronic Modeler has been enhanced.

Verifysoft Announces Availability of a Code Coverage Tool for J#/Visual J#/JSharp

(4 January 2008)

Verifysoft announces that "CTC++ for Java and C# Add-on" an add on to Testwell CTC++ is now available to analyse code coverage in J#/Visual J#/JSharp projects.
The new version of the add on extends the Code Coverage capabilities of CTC++ from C and C++ to Java, C#, and J#/Visual J#/JSharp.
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).
J#/Visual J#/JSharp enables developers to use Java-language syntax to build applications and services on the .NET Framework. Visual J# integrates the Java-language syntax into the Visual Studio integrated development environment (IDE).

News of the year 2007, 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.