Embedded Software Testing

[Français][Deutsch]

Product Presentations at Embedded World 2007:

Overview / Press Releases

 

 

Conformiq Qtronic with Automatic Test Case Generation and Execution

At Embedded World Verifysoft Technology presents Qtronic, a tool for automatic software testing of embedded systems.
Conformiq Qtronic is a revolutionary solution for true design model driven test and quality assurance automation. It enables automated, thorough and cost-efficient testing of complex systems. With Conformiq Qtronic you do not need to write any test scripts at all. Instead, Conformiq Qtronic automatically generates and executed tests based on design models. The tool integrates with major CASE tools and UML editors. Catalyzing a real paradigm shift, Conformiq Qtronic can create tremendous value by enabling categorical testing and quality assurance process optimizations.

automatic test generation Features:
  • Automatic test generation from design models
  • Can be connected to virtually any system
  • Full support for time, data and concurrency
  • UML model import from leading tools
  • Model analysis and validation
  • Reporting in XML and HTML
  • Optional integrations with test management tools
Benefits:
  • Automatic testing based on design models saves effort
  • Model validation speeds up development
  • Thorough reports provide all required information
  • Generates a multitude of distinct test cases
  • Generated tests find defects quickly
Technical Specifications:
  • Available on Windows 2000/XP and major Linux distributions
  • Open system adapter libraries available for major programming languages

further information:
http://www.verifysoft.com/en_qtronic.html
Verifysoft Technology, Hall 10, Stand 10-115

 

Testwell CTC++: Code Coverage even in smallest Targets
Testwell CTC++
     click for high resolution 		Verifysoft presents at Embedded World the latest version of Testwell CTC++.
Testwell CTC++ is the leading code coverage tool for measuring the test coverage in all embedded targets. CTC++ can be used with all compilers and is integrated in many IDEs.
The tool shows the coverage all the way to the Modified Condition/Decision Coverage (MC/DC) level as required i.e. by DO-178B projects.
The latest version allows code coverage measures in smallest targets. CTC++ is used in the automotive industry for targets with less than 100 Bytes free RAM.

further information:
http://www.verifysoft.com/en_ctcpp.html
Verifysoft Technology, Hall 10, Stand 10-115

 

Static Code Analysis detects Defects in large Code Bases

Verifysoft Technology presents at Embedded World the new version of the leading source code analysis tool Coverity Prevent.
Coverity Prevent is a static analysis tool which finds critical software problems.
Coverity´s innovations in meta-compilation enable accurate results across large code bases in a fraction of the time required by other source code analysis tools. Coverity is the first system to identify defects with a combination of precision, speed, and accuracy that can effectively deal with the size and complexity of today´s code. In addition, Coverity addresses many of the key problems that have traditionally hampered source code analysis: build integration, compiler compatibility, high rate of false positives, and effective root-cause analysis.

Code Complexity and Quality
Some of the specific checks that are performed by Coverity Prevent include:
  • memory leaks
  • system resource leaks
  • null pointer dereferences
  • dangling stack references
  • use of freed resources
  • use of uninitialized data, logic errors
  • flawed branch logic
  • out of bounds array access
  • buffer underflow
  • stack smashing
  • stack overflow
  • stack string overruns
  • bad negative integer casts
  • incorrect allocation sizes
  • non-null terminated strings
  • API usage errors
  • etc ...
The latest version 3.0 checks C/C++ code as well as projects written in Java.

further information:
http://www.verifysoft.com/en_coverity_main.html
Verifysoft Technology, Hall 10, Stand 10-115

 

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

last updated: 19.12.2006

© 2006 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Test Generator and Qtronic are products of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent and Coverity Extend are products of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.