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

Announcing Coverity Prevent for C#

(9 July 2008)

Coverity Prevent for C# expands the language coverage of Coverity´s static analysis products, and brings the company´s proven expertise in automatic defect detection to developers programming in C#. It automatically analyzes large, complex C# code bases and detects critical, must-fix defects that could lead to system failures, memory corruption, unpredictable behavior, and performance degradation. learn more

Testwell CTC++ Test Coverage Analyzer: Version 6.5.3 available

(4 July 2008)

The new version of Testwell CTC++ Test Coverage Analyzer comes with the following enhancements:
optimised multicondition coverage instrumentation, the CTC++ Preprocessor (ctc) component is now much faster, Microsoft C++/CLI extension "for each" is now handled, introduced Eclipse IDE integration on Windows, etc.

Workshop "Model Based Testing"

Verifysoft organizes a free workshop on model based testing.
Specialists from Conformiq Software (Finland) present how to make better test cases using Conformiq Qtronic, the leading solution for automatic test case generation.
11 September 2008: Conference Room, Technologiepark Offenburg (Germany)
Language: English
Further information and online registration

New Verifysoft Product Brochure Available for Download

(4 June 2008)

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

Download:

English Deutsch Français

Coverity buying software build management vendor Codefast

(22 May 2008)

Coverity, provider of the leading static analysis tool for C/C++ and Java, announced its acquisition of build management vendor Codefast. Technology and engineering talent acquired from Codefast will help developers accelerate the software build process.

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: 09.07.2008

© 2003-2008 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic is a product and a trademark 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.