Werkzeuge

Werkzeuge
Angaben ohne Gewähr.
Weitere Informationsquellen zu Werkzeugen:
-
B. Marick und Danny Faught: http://www.testingfaqs/tools.htm
-
Quality Logic: http://www.qualitylogic.com
-
Ovum: http://www.ovum.com
-
Tagungen mit Ausstellungen von Werkzeuganbietern:
-
-
Software Quality Week, jeweils im Mai, Californien
-
European Quality Week, im Herbst, Brüssel
-
STAR
-
EuroSTAR
-
TCS
-
ICSTest
Weiterführende Informationen:
-
Webpage der Fachgruppe 2.1.7 (Test, Analyse und Verifikation
von Software): http:// www.fbe.hs-bremen.de/spillner/gi.htm
-
Lehrstuhls für Wirtschaftsinformatik, Uni Köln: http://www.informatik.uni-koeln.de/winfo/prof.mellis/tav/links_start.htm
Werkzeuge - 2
Ausgewählte Prüfwerkzeuge
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 3
LDRA Testbed
Funktionalität:
-
Anweisungsüberdeckungstest, Zweigüberdeckungstest, Bedingungsüberdeckungstest, LCSAJ-basierter Test, Datenabdeckungsbericht
-
Ermittlung diverser Maße (z.B. zyklomatische Zahl, Halstead)
-
Erzeugt Kontrollfluß- und Aufrufgraphen
-
Überprüft Zusicherungen
-
Datenflußanomalieanalyse
-
Erzeugt cross reference-Informationen
-
Regressionstestunterstützung
Sprachen: ADA, C, C++, Cobol, Coral 66, Fortran, Pascal, PL/1,
PL/Mx86, Algol, Intel Assembler, Motorola Assembler
Umgebungen: Windows 3.x, Windows 95/98/NT, OS/2, Digital Unix,
HP-UX, RS/6000 AIX, SCO ODT, SGI Irix, SunOS 4, Solaris,
VAX/VMS, OpenVMS, MVS, Unisys A Series, Unisys 2200 Series
Vertrieb:
LDRA Ltd., Liverpool, UK
http://www.ldra.com
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 4
LOGISCOPE
Funktionalität der Komponentenwerkzeuge:
-
LOGISCOPE TestChecker:
-
Erzeugung von Aufrufgraphen und Kontrollflußgraphen
-
Zweigüberdeckungstest
-
Prozeduraufruf-Überdeckung
-
LOGISCOPE Audit: Textuelle Maße (ähnlich der Halstead-Metriken) und Kontrollflußgraph-Metriken (z. B. zyklomatische Zahl)
-
LOGISCOPE RuleChecker: Prüfung von Programmierkonventionen
-
LOGISCOPE ImpactChecker: Beziehungsanalyse zwischen
Funktionen und Daten im Programmcode
Sprachen: ADA, C, C++, Java
Umgebungen: Windows 95, Windows 98, Windows NT, IBM AIX,
Solaris, HP-UX, Unix
Vertrieb:
VERILOG, Bagneux, France
http://www.csverilog.com/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 5
Testworks/Coverage
Funktionalität der Komponentenwerkzeuge:
-
TCAT C/C++: Zweigüberdeckungstest und
deckung für Microsoft C/C++ (incl. MFC 4.x)
-
TCAT for Java/Windows: Zweigüberdeckungstest und Aufrufpaarüberdeckung für Java
-
TCAT/S-TCAT for ADA, F77: Zweigüberdeckungstest und Aufrufpaarüberdeckung für Ada und Fortran 77
-
Erzeugt Kontrollflußgraphen und Aufrufgraphen
-
Verwaltet die Referenzen zwischen graphischen Darstellungen und
dem Programmcode
Aufrufpaarüber-
Sprachen:
C, C++, Java, ADA, Fortran
Hardware und Betriebssysteme:
MSWindows NT 4.x, MSWindows 95, MSWindows 3.x, DOS, SPARC
SunOS, SPARC Solaris, x86 Solaris, RS-6000/AIX, HP-9000 HP-UX,
x86 SCO/ODT, SGI Irix, DEC-Alpha OSF, NCR 3000, SCO/UnixWare
Vertrieb:
Software Research, Inc., San Francisco, CA, USA
http://www.soft.com/Products/index.html
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 6
χSuds-Toolsuite
Funktionalität der Komponentenwerkzeuge:
-
χATAC:
-
function-entry-, function-call- und function-return-Abdeckung
-
Block- und Zweigüberdeckung
-
all-c-uses-, all-p-uses- und all-uses-Test (nur für C)
-
χRegress: Testfallminimierung bei Regressionstests
-
χSlice: Dynamischer Slicer als Debugging-Werkzeug
-
Weitere Komponenten (z. B. Zuordnung zwischen Code und Spezifikationen, Vergleich von Programmcode, ...)
Sprachen: C, C++
Umgebungen: Windows 95, Windows NT, IBM AIX, Solaris, HP-UX
Vertrieb:
-
Telcordia Technologies, Inc., Morristown, NJ, USA
http://xsuds.argreenhouse.com/what.html
-
IBM, Herrenberg, Germany
http://www-4.ibm.com/software/ad/va2000/toolsuds-fact.html
-
UniPress Software, Inc., Edison, NJ, USA
http://www.unipress.com/xsuds/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 7
Quervergleich von Prüfwerkzeugen
Testunterstützungswerkzeuge und Analysewerkzeuge:
-
Cantata
-
Quality Checked Software, Beaverton, OR, USA
http://www.qcsltd.com
-
IPL Software Products Group, Zugspitzstr. 2, D-85591 Vaterstetten,
http://www.iplbath.com/
-
CodeCheck, ABRAXAS Software, Portland, OR, USA
http://www.abxsoft.com/
-
LDRA Testbed, LDRA Ltd., Liverpool, UK
http://www.ldra.com
-
Logisscope, VERILOG, Bagneux, France
http://www.csverilog.com/
-
Malpas, TA Group Ltd., Farnham, Surrey, UK
http://www.tagroup.co.uk/
-
McCabe Test, McCabe ReTest, McCabe QA, McCabe & Associates, Inc., Columbia, MD, USA
http://www.mccabe.com/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 8
-
PC-Lint C/C++, Gimpel Software, Vertrieb: Kessler Software,
Rosdorf
http://www.kessler.de/
-
QA C/C++, Programming Research Ltd, Hersham, Surrey, UK
http://www.prqa.co.uk
-
Rational Pure Coverage, Rational Software Corporation, Cupertino, CA, USA
http://www.rational.com
-
TestWorks/Coverage, Software Research, Inc., San Francisco, CA,
USA
http://www.soft.com/Products/index.html
-
χSuds-Toolsuite
-
Telcordia Technologies, Inc., Morristown, NJ, USA
http://xsuds.argreenhouse.com/what.html
-
IBM, Herrenberg, Germany
http://www-4.ibm.com/software/ad/va2000/toolsuds-fact.html
-
UniPress Software, Inc., Edison, NJ, USA
http://www.unipress.com/xsuds/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 9
Regressions- und / oder Lasttestwerkzeuge:
-
CYRANO Test, CYRANO, Newburyport, MA, USA,
http://www.cyrano.com
-
e-Test, RSW Software, Inc, Watertown, MA, USA
http://www.rswsoftware.com
-
QA Center, Compuware Corporation, Farmington Hills, MI, USA
http://www.compuware.com/qacenter
-
Rational Team Test, Rational Software Corporation, Cupertino,
CA, USA
http://www.rational.com
-
Silk Test / Silk Performer, Segue, Lexington, MA, USA
http://www.segue.com/
-
TestAdvantage ATF, Softbridge Inc., Cambridge, USA
http://www.softbridge.com/
-
TestRunner, Qronus Interactive, Sunnyvale, CA, USA
http://www.qronus.com/
-
Testwork/Regression, Testworks/Web, Software Research, Inc.,
San Francisco, CA, USA
http://www.soft.com/
-
WinRunner, LoadRunner, Mercury Interactive, Sunnyvale, CA,
USA
http://www.merc-int.com
Die im folgenden angegebenen Tabellen geben die Informationen wieder, die dem Autor vorliegen. Nicht in jedem Fall war eine direkte Evaluation der Werkzeuge auf einem entsprechenden Computer möglich.
Als Grundlage für die Erstellung der Tabellen sind in diesem Fall Angaben der Hersteller benutzt worden.
© Prof. Dr.-Ing. Peter Liggesmeyer
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
(X)
X
X
X
X
X
X
X
X
X
X
X
X
X
WinRunner / LoadRunner
X
X
X
X
X
Testworks /Regression /Web
Rational Team Test
CYRANO Test
χSuds-Toolsuite
Testworks/Coverage
Rational Pure Coverage
Mc Cabe Test, QA, ReTest
PC-Lint C/C++
Malpas
X
X
(X)
X
X
(X)
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
Symbolischer Test
Ermittl. v. Prädikatensyst.
X
Formale Verifikation
Spez. m. Zusicherungen
X
© Prof. Dr.-Ing. Peter Liggesmeyer
X
X
X
X
X
X
(X)
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
TestRunner
X
X
TestAdvantage ATF
X
X
X
X
X
X
X
X
Silk Test / Silk Performer
X
X
X
X
X
X
X
X
QA Center
X
X
Logisscope
X
X
X
LDRA Testbed
X
X
X
e-Test
Dynamischer Test
Testverfahren
Anweisungsüberdeck.
Zweigüberdeckung
Bedingungsüberdeck.
LCSAJ-Test
Funktionsorientiert
Datenflußorientiert
Anzeige der Ergebnisse
Programmtext
Kontrollflußgraph
Sonstige
Überdeckungsmaß
Datendeckungsbericht
Durchlaufpfade
Durchlauf-Häufigkeiten
Prozeduraufruf-Überd.
Regressionstest
Lasterzeugung
Testen graph. Oberflächen
Client-Server-/Web-Test
Leistungsmessung (Zeit,..)
Verletz. v. Zusicher.
CodeCheck
Statische Analysen
Maße
McCabe
Halstead
Sonstige
Min/Max-Prüfung
Cross Reference -Info.
Variablen
Prozeduren
Datenflußanomalien
Einhalt. v. Konventionen
Graphiken
Aufrufgraph
Kontrollflußgraph
Kiviat-Diagramm
Sonstige
Cantata / Adatest
Werkzeuge und ihre
Funktionalität
QA C, C++, Fortran, C for PC
Werkzeuge - 10
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
© Prof. Dr.-Ing. Peter Liggesmeyer
X
X
X
X
X
X
X
X
X
X
X
(X)
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
TestRunner
X
X
X
X
TestAdvantage ATF
QA Center
e-Test
CYRANO Test
χSuds-Toolsuite
X
X
X
X
Testworks/Coverage
Rational Pure Coverage
PC-Lint C/C++
Mc Cabe Test, QA, ReTest
Malpas
LDRA Testbed
Logisscope
X
X
X
X
X
X
WinRunner / LoadRunner
X
X
X
X
X
X
X
X
X
X
Testworks /Regression /Web
X
X
X
Silk Test / Silk Performer
X
X
X
Rational Team Test
DOS
Windows 3.X
Windows 95
Windows 98
Windows 2000
Windows NT
OS/2
Linux
Solaris
HP-UX
VMS
IBM AIX
Unix
IRIX
MVS
OS/390
3279/5250 Terminal Emulation
Macintosh
CodeCheck
Cantata / Adatest
Werkzeuge und
Umgebungen
QA C, C++, Fortran, C for PC
Werkzeuge - 11
X
X
X
X
X
X
X
X
X
X
© Prof. Dr.-Ing. Peter Liggesmeyer
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
X
χSuds-Toolsuite
X
X
Testworks/Coverage
QA C, C++, Fortran, C for PC
X
X
X
PC-Lint C/C++
X
X
Mc Cabe Test, QA, ReTest
X
X
Malpas
LDRA Testbed
X
X
Logisscope
CodeCheck
C
C++
Java
Visual Basic
ADA
Cobol
Fortran
Pascal
PL/1
PL/Mx86
CORAL 66
Algol
Intel Assembler
Motorola
Assembler
Cantata / Adatest
Werkzeuge und
Programmiersprachen
Rational Pure Coverage
Werkzeuge - 12
X
X
Werkzeuge - 13
Werkzeuge für Sicherheits- und Zuverlässigkeitsanalysen
-
Fehlerbaumwerkzeuge
-
Zuverlässigkeitsblockdiagramm-Werkzeuge
-
FMECA-Werkzeuge
-
Markov-Werkzeuge
-
Integrierte Werkzeuge
Tagungen
-
ISSRE
-
SAFECOMP
-
DSN
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 14
Fehlerbaumwerkzeuge
Galileo
-
Sogenannte DIF-Tree analyse: Binary Decision Diagram + Markov
methode
Kontakt:
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit: University of
Virginia (Public domain Werkzeug)
Determinator
Kontakt: Qplus Ltd, PO.Box 70, 33721 TAMPERE, Finland
BRAVO© 2.0
-
Windows-Werkzeug für Fehlerbaum und Ereignisbaumanalyse
Kontakt: ABS Group Inc., ABS Plaza, 16855 Northchase Drive, Houston, TX 77060-6008, USA
http://www.jbfa.com/
FaultrEASE
Kontakt: Arthur D. Little, Inc.,
Massachusetts 02140-2390, U.S.A.
http://www.process-safety.com/
© Prof. Dr.-Ing. Peter Liggesmeyer
Acorn
Park,
Cambridge,
Werkzeuge - 15
Relex Fault Tree
Kontakt: Relex Software Corporation, 540 Pellis Road, Greensburg,
PA 15601, USA
http://www.innovsw.com/
CARA-FaultTree
Kontakt: Sydvest Software, Granåsveien 3, N-7048 Trondheim, NORWAY
http://www.sydvest.com/
CAFTA
Kontakt: Science Applications International Corporation, 11251 Roger
Bacon Drive, Reston, VA 20190, USA
http://losaltos.saic.com/
FaultTree+
-
Werkzeug für Fehlerbaum und Ereignisbaumanalyse
-
Einbindung von Markov-Modellen
Kontakt: Isograph Ltd, Television House, 10 Mount St, Manchester,
M2 5NT, UK
http://www.isograph.com/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 16
Zuverlässigkeitsblockdiagramm-Werkzeug
Relex RBD - Reliability Block Diagram
Kontakt: Relex Software Corporation, 540 Pellis Road, Greensburg,
PA 15601, USA
http://www.innovsw.com/
FMECA-Werkzeuge
Relex FMEA/FMECA
Kontakt: Relex Software Corporation, 540 Pellis Road, Greensburg,
PA 15601, USA
http://www.innovsw.com/
IQ-FMEA
Kontakt: APIS Informationstechnologien GmbH, Maria-Lanz-Str. 16,
88677 Markdorf
http://www.fmea.de/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 17
Markov-Werkzeuge
Markov Analysis Software - MKV
Kontakt: Isograph Ltd, Television House, 10 Mount St, Manchester,
M2 5NT, UK
http://www.isograph.com/
CARMS (Computer-Aided Rate Modeling and Simulation)
Kontakt: DAINA Corp. Jan Pukite, 4111 Central Ave. NE, Suite 212,
Columbia Heights, MN 55421-2953
http://www.tc.umn.edu/nlhome/m121/puk/carms.htm
CARSA (Computer Aided Redundant System Reliability Analysis)
Kontakt: University of Georgia, 382 East Broad St., Athens, GA 30602
Phone: (706)542-3265
PC Availability (Markov)
Kontakt: Management Sciences, Inc., 6022 Constitution Ave. NE, Albuquerque, NM 87110
EMail: [email protected]
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 18
Integrierte Werkzeuge
Reliability Toolkit
-
Fehlerbaumanalyse
-
Ereignisbaumanalyse
-
Zuverlässigkeitsblockdiagramme
-
Verfügbarkeitssimulation (Monte Carlo)
-
FMEA
Kontakt:
Item Software (USA) Inc., 2190 Towne Centre Place, Suite 314, Anaheim CA, 92806
Item Software (UK) Limited, 1 Manor Court, Barnes Wallis Road, Fareham, Hampshire, PO15 5TH, U.K.
http://www.itemsoft.com/
PHA LEADER©
-
Hazard and Operability Analysis (HAZOP)
-
Failure modes and effects analysis (FMEA)
Kontakt: ABS Group Inc., ABS Plaza, 16855 Northchase Drive, Houston, TX 77060-6008, USA
http://www.jbfa.com/
© Prof. Dr.-Ing. Peter Liggesmeyer
Werkzeuge - 19
Reliability Workbench
-
Ausfallratenbestimmung
-
Failure Modes Effects and Criticality Analysis (FMECA).
-
Reliability Block Diagram Analysis
Kontakt: Isograph Ltd, Television House, 10 Mount St, Manchester,
M2 5NT, UK
http://www.isograph.com/
© Prof. Dr.-Ing. Peter Liggesmeyer