logo


Embedded Software Engineering Kongress: Verifysoft presents graphical interface for metric Tools

(Sindelfingen, Germany, 9-10 December 2009)

At the ESE Kongress in Sindelfingen, the German biggest congress for embedded software engineering with approx. 600 participants, Verifysoft has presented a new graphical front end (Verybench) for the code complexity measure tool Testwell CMT++. Verybench processes software metrics for different target groups like managers, project managers, developers, reviewers and testers.
Also, the code coverage tool Testwell CTC++ which makes possible the measure of the test coverage in smallest embedded targets sparked interest. The automatic test generator Conformiq has also been shown as well as a static code analysis tool. Website ESE Kongress

Verifysoft: Presentation at Ensisa and the University of Strasbourg

(Mulhouse, 30 November 2009 / Strasbourg, 4 December 2009)

Verifysoft presented the quality process in software development at Ensisa (école nationale supérieur d´ìngénieurs sud alsace) and during the "Théma-Technique" organized by Rhénatic (a network representing all the professions ICT) at the University of Strasbourg.
Those presentations emphasized on the cost of software errors and on the testing principles in each step of the software development process: unit tests, integration tests and validation tests. They also get onto methods to avoid codes too complex which lead to many errors and new strategies have been proposed for automating the test scripts generation.
Presentation

Host-Target add-on v4.0 for Testwell CTC++ Test Coverage Analyser released

(19 November 2009)

Testwell announces the availability of a new version of the host-target add-on for Testwell CTC++.
Version 4.0 simplifies compiling for the target. Easy building DLLs have been added.
The host-target add-on allows the measurement of code coverage in any target.
Maintenance customers can update to the new version free of charge.

Testwell CTC++ for Symbian Target Devices add-on v4.0 available

(13 October 2009)

A new version of Testwell CTC++ for Symbian Target Devices add-on is available. Version 4.0 of this add-on has a significant speed improvement in the instrumented code. An easy-to-use arrangement for automatic and periodic saving of the coverage data has been introduced (useful when doing long test runs with unstable system).

Testwell CTC++ Test Coverage Analyser Version 6.5.5 available

(7 October 2009)

Testwell announces the availability of a new version of Testwell CTC++ for all supported host platforms (Windows, Linux, Solaris, HP-UX).
The version 6.5.5 has a more robust handling of some GCC extensions. On Windows version enhancements in Visual Studio integrations (Express edition, Visual Studio 2010).
There are various other enhancements and bug fixes like fixes in some extreme C++ use cases, e.g. with Boost C++ library.
Our maintenance customers will receive the new version free of charge.

Conformiq Releases First Automated Test Design Solution Utilizing Multi-Core, Parallel and Distributed Computing

(Saratoga, California, 13 July 2009)

Conformiq Inc. announced the availability of Conformiq version 2.1, now utilizing the power of multi-core, distributed and parallel computing for faster automatic test case generation. This scalability breakthrough paves the way for deploying Conformiq in grids and on cloud computing platforms. By distributing the computations on multi-cores or across clustered computer systems, testers can speed their test case generation process and reduce costs.
Conformiq automates the design of tests for software and systems by generating black-box functional tests from high-level models without user intervention. These models can be created in a fraction of the time compared to writing the corresponding test cases by hand. This way test generation speed is increased by as much as 20 times, and helped them achieve higher test quality and better test coverage. The mean of customer benchmarks shows test generation speed increases more than 5 times at the beginning of a Conformiq deployment.
Conformiq automatically generates functional black-box tests using mathematical algorithms from system models expressed in Java and in UML. It provides a fully interactive workbench approach to automatic test case design. The tool's open interfaces enable customers to integrate the tool with their test execution infrastructure
Further information about Conformiq

Testwell CTA++ C++ Test Aider Version 3.0.6 Available

(9 March 2009)

Testwell announces the availability of a new version of Testwell CTA++. The new version has Small enhancements: In data files now supporting simple expressions. Change in ASSERT_MEMEQ behavior. One bug fix in data file handling.
Our maintenance customers will receive the new version free of charge.

Testwell CTC++ Test Coverage Analyser Version 6.5.4 Available

(27 February 2009)

Testwell announces the availability of a new version of Testwell CTC++. The new version has various enhancements, i.e. added support for 64-bit code testing on all supported host platforms and added an easy to use arrangement to write coverage data from never-ending processes.
Our maintenance customers will receive the new version free of charge.