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
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
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.
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.
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
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

Daimler AG and QTronic GmbH showed usage of TestWeaver and Testwell CTC++
(Friedrichshafen/Germany, 1 July 2009)
For the development the tools Silver and TestWeaver of QTronic GmbH (Berlin) are used. Code Coverage is done with Testwell CTC++.
The presentation is available from the webpage of QTronic GmbH.

Testwell CTC++ shows Test Coverage for TestWeaver
(Berlin, Offenburg, Tampere, 4 June 2009)
The resulting code coverage is reported by Testwell CTC++ using various tables.
The combination of the two tools can be used to develop control software for automotive and aerospace applications, for medical devices and embedded systems. Benefits for developers are high test coverage and low workload for test engineers, since test cases are generated automatically.
TestWeaver is available from QTronic GmbH Berlin.

Conformiq: Presentation at Software & Systemes Quality Conferences
(Düsseldorf, 27 May 2009)
Conformiq presented the leading Automated Test Design™ tool Conformiq Qtronic.
Conformiq uses a system requirement model as input to automatically generate test scripts. Automatec Test Design represents a paradigm shift in test design for software and systems. Companies interested in stepping into the future of test design are invited to contact us for an inhouse presentation of Conformiq.
Photo: Klaus Lambertz and Frank Erdrich (Verifysoft) with customer in front of Conformiq booth
Publication with friendly permission of SQS Software Quality Systems AG

iX-Study "Model based Testing" Available
(3 April 2009)
Model based testing focusses on describing the requirements and behaviour of the system under test in a model. This model is then used for the automatic generation of test cases.
A study of the German technical periodical "iX" on "Model based Testing: Modeling and generating tests - basics, criteria for tool use, tools in the survey" provides now detailed information about the fundamentals of model based testing and about model based testing tools including Conformiq.
The study (around 390 pages) is available in German language and can be ordered from www.heise.de. Price is 390 Euros (10% discount for any order before 1 May 2009).
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.
Our maintenance customers will receive the new version free of charge.

Embedded World 2009: Verifysoft presented tools for testing embedded software
(Nuremberg, 5 March 2009)
Three of the visitors at our booth has won a 2-days-workshop "Testing of Embedded Systems". This workshop is also available as inhouse-workshop in English language. Please contact us for more details.
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.
Our maintenance customers will receive the new version free of charge.

Updated Verifysoft Product Brochure Available for Download
(16 Febraury 2009)
The update has been necessary due to new features of the Automated Test Design™ tool Conformiq.
Download: English Deutsch