Sitemap

Diese Sitemap gibt eine Übersicht über die aktuellen Hauptseiten der deutschen Sprachrichtung von www.verifysoft.com

Die Sitemaps weiterer Sprachrichtungen erhalen Sie über folgende Links:
Englisch / English
Französisch / Français
Polnisch / Polski

Firma/Allgemeines
Firma
Firmenprofil (PDF-Format)
Firmenkurzprofil (2006) (PDF-Format)
Kontakt
Anfahrt
Leitung
Stellenangebote
Referenzen
Partner
Warum Verifysoft -Testtools?
Softwarefehler

News
News
   Embedded World 2007
   Produktpräsentationen auf der Embedded World 2007
News 2006
Firmenbroschüre 2007 (PDF-Format)
Firmenbroschüre 2006 (PDF-Format)
   Embedded World 2006
   Produktpräsentationen auf der Embedded World 2006
News 2006
News 2005
   Tag der offenen Tür 2005
News 2004
News 2003

Fachpresse
Verifysoft in der Fachpresse
   Softwaretest Design & Elektronik 2007
   Automatische Testfallerzeugung Design & Elektronik 2006
   Embedded World: Tool zur automatischen Generierung von Softwaretests Embedded Systems EUROPE
     Automatische Testfallgenerierung OBJEKTSpektrum 6/2004
     Test Coverage Analyzer auf Java und C# ausgeweitet PC & Industrie 12/2007
   Coverage-Analyzer für CodeWarrior Markt & Technik 3/2005
     Fiese Fehler im System PC-Info 2005
   CTC++ für Borland 5.02 Design & Verification 8/2004
Coverity Prevent SQS und Coverity Extend in der Fachpresse
Pressemitteilungen

Newsletter
     Newsletter 01/2007 (01.10.2007) (pdf, 137 KB)
     Newsletter 3/2006 (14.12.06)
   Newsletter 2/2006 (04.05.06)
   Newsletter 1/2006 (02.02.06)
   Newsletter 2/2005 (31.08.05)
   Newsletter 1/2005 (11.02.05)

Produkte (Gliederung nach Programmiersprachen):

für C/C++ Projekte
Übersicht C/C++ Testing Tools

für Java-Projekte
Übersicht Java-Testing Tools

für CSharp-Projekte
Übersicht CSharp-Testing Tools

Produkte (Gliederung nach Test-/Analysearten):

Automatische modellbasierte Testgeneratoren (Conformiq)
Produktübersicht: Automatische Testgeneratoren (Conformiq)
Model Driven Quality Assurance (MDQA)

Modellbasiertes Testen
Conformiq Qtronic vs. Conformiq Test Generator

Conformiq Test Generator
   Conformiq Test Generator: Highlights
   Testen mit dem Conformiq Test Generator
   Conformiq Test Generator: Prozessbeschreibung
   Automatische Testfallgenerierung
   Frequently Asked Questions
     Produktbroschüre (pdf-Format)
     Produktbroschüre (technisch) (pdf-Format)
     Produktbroschüre (Benefits) (pdf-Format)
   Anforderung von White Papers
   Power Point-Präsentation (40 Slides)
     Anwendungsbeispiel: The World´s Most Tested Transaction Switch (pdf-file, 1,78 MB)

Conformiq Qtronic
   Conformiq Qtronic Software Products (englisch)
   Conformiq Qtronic Features (englisch)
     Qtronic-Produktbroschüre (pdf-Format)
   Qtronic Test Script Generation Support (englisch)
     TTCN-3, Qtronic and SIP(pdf-file, 534 KB)

Unit-Test
Unit Test
CTA++ Unit-Test für C++
CTA++ Produktflyer (2 Seiten) (PDF-file)

Code Coverage Analyzer
CTC++ Test Coverage für C/C++
   Code Coverage Niveaus
   Testwell CTC++ deckt Bottlenecks in Ihrem Code auf
   CTC++ Coverage Report
   CTC++ Test Coverage: technische Information (Testwell) (englisch)
   CTC++ Produkt-News
   CTC++ Availability (englisch)
   CTC++ Integration in Visual Studio 5.0/6.0
   CTC++ für Symbian Targets
   CTC++ Kernelcoverage
   Nutzung von CTC++ mit dem IAR Compiler
   Code-Coverage für Beck IPC@CHIP-Produkte
   DO-178B Zertifikationen mit CTC++
   DO-178B Certifications for avionics software with Testwell CTC++ Test Coverage Analyzer (englisch)
Code Coverage für Java
CTC++ for Java and C# add-on
   Code Coverage on Running Java Applets
     Abstract Space
     Frozen Bubble

Code Complexity Measures Tools
Testwell CMT++ und CMTJava (Softwarekomplexitätsmessungen)
   weitere Informationen zu CMT++/CMTJava
   McCabe Metriken
   Zeilenmetriken (LOC Metrics)
   Halstead Metriken
   Wartbarkeitsindex (Maintainability Index)
   CMT++ Präsentation (17 Slides)
   CMT++/CMTJava: Release History (englisch)
CMT++ Produktflyer (PDF-file)
Artikel aus MSCoder: Komplexität und Qualität von Software (PDF-file)

statische Codeanalyse (Aufdecken von Laufzeitfehlern, Programmierrichtlinien)
Coverity Hauptseite
Coverity Overview
Coverity Prevent SQS ™ (718 KB)
Coverity Extend ™ (51 KB)
   Coverity Produkte
   Coverity Prevent
   Coverity Prevent Analysis-Engine
   Coverity Prevent Checker für Qualität
   Coverity Prevent Checker für Sicherheit
   Coverity Prevent Checker für Concurrency
   Coverity Prevent Defect Manager
   Coverity Extend
   Coverity Produktvorteile
   Neue Qualität der statischen Analyse
   unterstützte Plattformen
   Wer arbeitet mit Coverity?
   Coverity-Referenzen
   Fallstudien
        Arris
        Audicode
        PalmOne
        Symbian
        Teradata
        Veritas
        Windriver
   Coverity Professional Services
      Advanced Quick Start
      Integrated Quick Start
      Coverity Clear
   Dokumente
      Coverity gibt die Verfügbarkeit einer revolutionären Code-Analyse-Engine bekannt
   Coverity-Trial
      Wie läuft der Coverity-"Quality-Scan" ab?

Testlösungen für eingebettete Systems (embedded Systems)
Testlösungen für eingebettete Systems (embedded Systems)

sonstige Seiten
Support Center
Evaluationen
Feedback für Evaluationen
Bestellungen
Umfang und Bedingungen der Softwarewartung für Testwell-Produkte
nützliche Links

last modified: 25.01.2008

© 2004-2008 Verifysoft Technology GmbH

DE 142 +15 (+41)