Product Presentations at Embedded World 2008:
Overview / Press Releases
|
|
At Embedded World Verifysoft Technology presents a new version of Conformiq Qtronic™,
the world leading solution for model driven testing.
It supports both online testing and offline test case generation,
both based on models in the de facto industry standard programming
and modeling languages (Java, C# and UML).
|
|
Conformiq Qtronic™ is the best answer for the problem of test design.
Traditional, old-style test automation solutions can only automate test execution.
Conformiq Qtronic™ on the contrary automates also the selection of tests
and test data and the computation of the expected results.
Qtronic removes risk of incorrectly designed tests and of accidentally missed test cases.
The tool reduces testing asset development costs and increases the quality of tests.
Qtronic can be used as a common platform for designers and testers.
Free evaluation licenses are available for Windows and Linux.
Further information: http://www.verifysoft.com/en_qtronic.html
Verifysoft Technology, Hall 11, Stand 11-112
|
|
|
|
click for high resolution
|
Verifysoft presents at Embedded World Testwell CTC++, a code coverage tool which works
with all - even the smallest - embedded targets and all compilers.
The tool shows the coverage all the way to the Modified Condition/Decision Coverage
(MC/DC) level as required for software certifications, i.e. DO-178B.
Testwell CTC++ is available for C and C++. A new add-on enables also the use for projects written in Java and C#.
Further information: http://www.verifysoft.com/en_ctcpp.html
Verifysoft Technology, Hall 11, Stand 11-112
|
|
|
Verifysoft Technology presents at Embedded World a new version of the leading source
code analysis tool Coverity Prevent SQS.
The tool provides a highly accurate representation of software, or Software DNA Map,
to automatically identify complex defects in source code with unmatched precision and
accuracy.
|
|
Unlike current static analysis engines that rely on dataflow analysis
and multiple checkers to identify software defects, Coverity" SAT engine
is based on Boolean satisfiability and will enable multiple Solvers to identify
software defects.
This new technique of source code analysis creates a bit-accurate representation
of a software system, where every relevant software operation is translated into
Boolean values (true and false) and Boolean operators (such as and, not, or).
This bit-accurate representation enables source code to be analyzed by SAT-based
Solvers for the first time in commercial computer programming.
This exhaustive static code analysis enables Coverity to deliver the most accurate
identification of critical performance and security vulnerabilities in the industry.
Coverity Prevent SQS is available immediately for C, C++ and Java software projects.
Further information:
http://www.verifysoft.com/en_coverity_main.html
Verifysoft Technology, Hall 11, Stand 11-112
|
|
Contact:
Mr. Klaus Lambertz (Verifysoft Technology GmbH), Phone +49 781 6392-027
last updated: 03.01.2008
© 2007 Verifysoft Technology GmbH
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic is a product of Conformiq Software Ltd., Espoo (Finland)
Coverity Prevent SQS and Coverity Extend are products of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.
|
![[Deutsch]](flaggeD.jpg){kind=small}