Produktpräsentationen auf der Embedded World 2008:
Kurzübersicht/Pressemitteilungen
|
|
Verifysoft Technology stellt auf der Embedded World eine neue Version von
Conformiq Qtronic™, der weltweit fortschrittlichsten Technologie für das
modellbasierte Testing vor.
Mit dem Tool lassen sich online und offline Testfälle generieren.
Die automatische Testfallgenerierung erfolgt auf der Basis eines Modells, welches mit
den gängigen Programmier- bzw. Modellierungssprachen Java, C# und UML erstellt wird.
|
|
Während die bisher erhältlichen Tools lediglich die Testausführung
automatisiert haben, bietet Qtronic eine ideale Hilfe beim Design der Softwaretests.
Hierdurch wird das Risko von "schlechten" und nicht
ausgeführten Testfällen ausgeschlossen.
Mit Qtronic werden die Kosten für den Softwaretest bei gleichzeitiger
Test-Qualitätssteigerung deutlich reduziert.
Qtronic bietet eine gemeinsame Arbeitsplattform für Designer und Softwaretester.
Lizenzen und kostenlose Evaluationen sind für Windows und Linux erhältlich.
Weitere Informationen: http://www.verifysoft.com/de_qtronic.html
Verifysoft Technology, Halle 11, Stand 11-112
|
|
|
|
click for high resolution
|
Verifysoft stellt auf der Embedded World Testwell CTC++,
ein Code Coverage Tool welches für den Einsatz mit allen - selbst kleinsten -
embedded Targets sowie allen Kompilern einsetzbar ist, vor.
Testwell CTC++ analysiert alle Coveragestufen bis hin zur
Modified Condition/Decision Coverage
(MC/DC) und kann dadurch für Softwarezertifizierungen wie zum Beispiel DO-178B
eingesetzt werden.
Testwell CTC++ analysiert Projekte in C und C++. Mit einem Add-on kann CTC++ jetzt auch
zur Messung der Testabdeckung in Java- und C#-Projekten eingesetzt werden.
Weitere Informationen: http://www.verifysoft.com/de_ctcpp.html
Verifysoft Technology, Halle 11, Stand 11-112
|
|
|
Verifysoft Technology stellt auf der Embedded World eine neue Version des
statischen Softwaretesttools Coverity Prevent vor.
Das Tool identifiziert automatisch und ohne daß der Code ausgeführt werden
muß komplexe Fehler im Quellcode.
|
|
Bisherige statische Analysetools arbeiten mit der Datenflussanalyse.
Als Weiterentwicklung bietet Coverity eine Analyse-Engine, die auf dem
mathematische Verfahren der sogenannten Boole´schen Satisfiability basiert und
damit eine bisher unerreichte Genauigkeit bei der statischen Code-Analyse bietet.
Coverity Prevent ist für C, C++ und Java-Projekte verfügbar.
Weitere Informationen:
http://www.verifysoft.com/de_coverity_main.html
Verifysoft Technology, Halle 11, Stand 11-112
|
|
Diese Pressemitteilungen dürfen kostenfrei abgedruckt und verarbeitet werden.
Pressekontakt:
Klaus Lambertz (Verifysoft Technology GmbH), Telefon +49 781 6392-027
last updated: 12.02.2008
© 2008 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 and Coverity Extend are products of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners.
|
![[English]](flaggeUK.jpg){kind=small}