Automatisierte Java Test-Tools

Automatisierte Java Test-Tools
JEvolve
JEvolve ist ein intelligenter Java-Quellcode-Evolution Analyzer. JEvolve vergleicht verschiedene
Versionen von Java-Programmen und stellt fest, welche Codeteile sich signifikant verändert haben.
Mit Hilfe der Semantik der Javakonstrukte, zeigt JEvolve auf für welche Klassen der modifizierten
Version Regressionstests durchgeführt werden sollten.
JCover
JCover ist ein Testüberdeckungsanalyser für Java. JCover unterstützt folgende Coverage-Arten:
Package-, Module-, Class-, Method-, Statement- und Branchcoverage.
JCover generiert verschiedene Reports und Charts für die erreichte Testabdeckung.
JVerify
JVerify ist ein revolutionäres Werkzeug, welches 'Invasive Testing' , ein neues Testmodell für Unitund Integrationstests unterstützt. Mit dem Invasive-Testing-Modell haben Tester u.a. Zugang zu
privaten Elementen der zu testenden Klasse. Somit können effektivere Testfälle geschrieben werden.
JVerify nutzt eine Java-basierte objektorientierte dynamische Testskriptsprache mit dem Namen
JMScript.
Design-by-Contract wird ebenfalls durch JVerify unterstützt.
JBrowser
JBrowser ist ein Java Class-File-Browser, der „class“ und „jar-Files“ liest und detaillierte Informationen
über jede Klasse zeigt. Hierzu zählen u.a. auch private Elemente, Klassenhierarchien und
Abhängigkeiten durch Elemente. Dabei ist der Quellcode für das Browsen nicht erforderlich. JBrowser
unterstützt disassembling Bytecode, um die rohen JVM-Befehle anzuzeigen!
Ebenfalls ist es möglich in einer Assemblersprache zu schreiben und .class-Dateien zu generieren.
JSynTest
JSynTest ist ein Java-basiertes Syntax-Testtool, welches automatisch Testdaten auf der Basis von
formalen Spezifikationen des Datenraumes generiert. Durch die nutzerfreundliche Oberfläche und
einen leistungsfähigen Grammatikformalismus eignet sich das Werkzeug hervorragend für die
Generierung von komplexen Testdaten.
JSynTest bringt einen neuen Ansatz für den Syntax-Test: anstatt direkt Testdaten zu generieren, gibt
JSynTest ein Javaprogramm aus, das die Generierungslogik implementiert. Auf diese Weise kann der
generierte Code modifiziert oder in eine Applikation eingebaut werden, um die Aufgabe der
Datengenerierung entsprechend anzupassen.
JPretty
Formatiert automatisch den Javaquellcode entsprechend von spezifischen Programmierrichtlinien.
JMSAssert
Integriert die Prinzipien von Design-by-Contract in Ihre Java-Programme.
QuickAnt Pro
QuickAnt Pro ist ein Tool zur Automatisierung des Testprozesses für das gesamte Entwicklungsteam
von Java-Applikationen.
CMTJava
Überprüft die Komplexität Ihres Javacodes und zeigt “Schwachstellen“ auf.
Bestellschein:
an
Verifysoft Technology GmbH
Technologiepark
In der Spöck 10
D-77656 Offenburg
Fax
+49 781 6392-029
Hiermit bestellen wir die folgenden Lizenzen :
Bezeichnung
JEvolve
Anzahl
zeigt die Veränderung des Codes
über verschiedene Versionen an
JCover
Testüberdeckungsanalyse für Java
JVerify
Unit-/Integrations-Tests
JBrowser Class File Browser
JSynTest Syntax-Testtool
JPretty
JMSAssert
QuickAnt Pro automatisiert den Testprozeß
5 User
QuickAnt Interface für Ant-Skripten mit follow up
QuickAnt Interface für Ant-Skripten mit follow up 5 User
CMTJava
Messung der Codekomplexität
Einzelpreis
Euro 429,00
Euro 429,00
Euro 349,00
Euro
69,00
Euro 349,00
Kostenlos
Kostenlos
Euro 3.920,00
Euro 482,00
Euro 1.915,00
auf Anfrage
Gesamtpreis
Euro
Euro
0,00
0,00
Gesamt netto
+ 16 % MwSt
(nur für Deutschland)
Gesamt brutto
Zahlung innerhalb von 30 Tagen nach Rechnungsdatum per Banküberweisung.
Preisliste Nr. 03 120 20 vom 26. Juli 2004. Preise freibleibend.
Alle Preise beinhalten Support und Updates für das erste Nutzungsjahr.
Firma:
__________________________
Besteller:
__________________________
Adresse:
__________________________
__________________________
(Stempel/Unterschrift)
kostenlose Evaluationen verfügbar
weitere Informationen unter: http://www.verifysoft.com