Tools for Embedded Systems

[Français][Deutsch]

Embedded World Nuremberg: New Testing Tools from Verifysoft - Short Presentation/Press Releases

 

Conformiq Test Generator: Automatic Software Testing Tool of the New Generation

automatic test generation
     click for high resolution

Conformiq Test Generator
     click for high resolution

Verifysoft Technology presents at Embedded World a software test tool of the new generation: Conformiq Test Generator.
Conformiq Test Generator is a solution for automatic model-based test generation and automatic test execution.
Conformiq Test Generator replaces the time consuming process of writing test scripts with the building of a test model. This releases the burden of writing manual test cases and script programming from the test engineers.
Using the automatic test generator, the testing personal have more time for more critical high-level testing and quality tasks.
With Conformiq Test Generator, the application is described as a graphical test model which uses extended UML statecharts.
The test generator analyses this model and generates automatically a large number of relevant tests that cover all combinations and aspects of the model.
Thanks to this feature, a maximum test coverage is achieved in a short time.
The relevance of the generated test cases is guaranteed by an intelligent algorithm.
Further information:
http://www.verifysoft.com/en_conformiq_testgenerator.html
Verifysoft Technology, Hall 11, Stand 11-406
 

Code Coverage Analysis for all Targets with Testwell CTC++

Conformiq Test Generator
     click for high resolution 		At Embedded World, Verifysoft Technology presents Testwell CTC++, a powerful tool for code coverage analysis in embedded C and C++ software projects. Testwell CTC++ is the only coverage tool which can be used easily with any compiler and any target.
By the checking for function-, decision-, statement-, condition-, multicondition- and modified condition/decision (MC/DC) coverage, CTC++ will help you to make sure that the whole code of a software project has been tested.
Besides the test coverage function, CTC++ provides also a timing function to find bottlenecks in an application.
Testwell CTC++ can be used to obtain certifications, i.e. DO-178B for aeronautics industry and EN-61508-3.
CTC++ is successfully in use in many projects, especially in avionics, space, transport, and medical industry as well as for testing of smart cards.
Further information:
http://www.verifysoft.com/en_ctcpp.html
Verifysoft Technology, Hall 11, Stand 11-406
 

Better Code Quality and Maintainability thanks to Testwell CMT++

Code Complexity and Quality Verifysoft Technology will present the new version 4.1 of the code complexity measures tool Testwell CMT++ at Embedded World exhibition.
Testwell CMT++ is an easy to use tool to measure the code complexity of software written in C or C++ (for Java we have a similar tool: CMTJava).
The tool analyses software projects for the following metrics: Mc Cabes Cyclomatic Number, lines of code Metrics, Halsteads Metrics and maintainability index.
CMT++ locates complex code parts. A complex code is often cause of bad software quality and incorrect programs.
Software with high complexity is also difficult to test and to maintain.
The maintainability index indicates when it is more economical to write complex code parts again instead of modifying them.
CMT++ is available for Windows, Linux, HP-UX and Solaris.
Further information:
http://www.verifysoft.com/en_cmtpp.html
Verifysoft Technology, Hall 11, Stand 11-406
 

Contact: Mr. Klaus Lambertz (Verifysoft Technology GmbH), Phone +49 781 6392-027

last updated: 13.01.2006

© 2006 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator is a product and a trademark of Conformiq Software Ltd., Espoo (Finland)
all other trademarks of this site are the property of their respective owners.