
IT / ICT Services und Beratungsunternehmen
IT Services / ICT Services und Beratungsunternehmen bieten Geschäftskunden verschiedenste Entwicklungsdienstleistungen an.In einem rauen Wettbewerb sind gute Qualität und wettbewerbsfähige Preise wichtig für Ihren Erfolg.
Unsere Werkzeuge unterstützen Sie dabei, Ihre Qualität und Produktivität zu steigern.
Verifysofts Testlösungen erfüllen die Anforderungen von Industriestandards wie DO 178-C / ED-12C (Luftfahrt), IEC 61508 (sicherheitskritische elektronische Systeme), ISO 26262 (Automotive), EN 50128 (Eisenbahn), IEC 62304 (Medizintechnik), IEC 60880 (Atomkraft) sowie weiterer Qualitätsnormen.
Zeigen Sie die Qualität Ihrer Softwareentwicklung mit Testwell CTC++ Code Coverage Analyzer
Eine hohe Code Coverage ist wichtig für gute Softwarequalität. Durch die Testabdeckung können Sie gegenüber Ihren Kunden die Qualität ihrer Entwicklung nachweisen.Testwell CTC++ Code Coverage Analyzer ist das ideale Tool für ICT-Service- und Beratungsfirmen.
Mit nur einer Lizenz von Testwell CTC++ decken Sie alle Compiler/Cross-Compiler und alle Embedded Targets ab. Testwell CTC++ ist in zahlreiche Entwicklungsumgebungen und Werkzeugketten integriert, kann aber auch unabhängig genutzt werden.
Was auch immer Ihre Anforderungen und Ihre Umgebungen sind, mit Testwell CTC++ sind Sie auf der sicheren Seite.
Testwell CTC++ analysiert alle Coveragestufen, die von den Industriestandards vorgeschrieben werden (Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC) und sogar Multiple Condition Coverage). Das Tool ist benutzerfreundlich und gibt klare und nützliche Analyseergebnisse aus.
Testwell CTC++ ist für die Nutzung in sicherheitskritischen Projekten (alle SIL- und ASIL-Levels) zertifiziert.
Erfahren Sie jetzt mehr über Testwell CTC++
Statische Analyse
CodeSonar ist ein Statisches Code Analyse Tool, welches speziell für Umgebungen konzipiert wurde, die absolut fehlerfrei funktionieren müssen.CodeSonar leistet einen signifikanten Beitrag zum Erreichen höchster Code-Qualität. Anspruchsvolle Analysen liefern zahlreiche Hilfen für die Verifizierung.
Mit seiner fortschrittlichen statischen Analyse ist CodeSonar eines der effektivsten Tools um die kostenintensivsten und am schwierigsten zu findenden Fehler bereits früh während der Software-Entwicklung zu finden.
CodeSonar findet automatisch Bugs in Software, die in C, C++ oder Java geschrieben wurde. Dank der interprozeduralen Analyse ist das Werkzeug außergewöhnlich präzise und findet durchschnittlich doppelt so viele kritische Fehler wie Tools anderer Anbieter. CodeSonar hat in zahlreichen Vergleichen als bestes Werkzeug abgeschnitten.
Imagix 4D ist ein Tool, das dabei hilft, Third Party oder Legacy Source Code in C, C++ und Java zu verstehen und zu dokumentieren. Das Tool kann dazu genutzt werden, komplexen Code zu verbessern. Imagix 4D automatisiert die Analyse des Kontrollflusses und der Abhängigkeiten. Desweiteren entdeckt das Tool Probleme in der Datennutzung und bei Nebenläufigkeiten von Tasks.
Mit Imagix 4D erhöhen Sie die Produktivität, verbessern die Qualität und reduzieren Risiken.
Mit Testwell CMT++ und Testwell CMTJava analysieren Sie die Komplexität Ihres Codes. Dank guter Komplexität wird Ihr Code einfacher zu verstehen und leichter zu testen sein. Die Wartungsfreundlichkeit verbessert sich ebenfalls. Mit Testwell CMT++ / CMTJava werden Sie Geld sparen!
Die Tools analysieren die wichtigsten Metriken wie Zeilenmetriken (LOC), Halstead-Metriken, die McCabe Cyclomatic Complexity v(G), den Wartbarkeitsindex (Maintainability Index) und Max ND (Maximum Nesting Depth). Testwell CMT++ ist sehr einfach zu nutzen, extrem schnell und analysiert auch sehr große Codebasen.
Hunderte von Unternehmen und Organisationen verbessern ihre Softwarequalität mit Verifysofts Testlösungen
Verifysofts Testlösungen haben nachweisliche Erfolge in sicherheitskritischer Softwareentwicklung u.a. im medizinischen Bereich, Luft- und Raumfahrt, Automotive, Energie und vielen mehr erbracht... Zusätzlich sind unsere Tools bei vielen Firmen im Einsatz, die "nur" gute Qualität liefern wollen - auch wenn es sich nicht um sicherheitskritische Entwicklungen handelt.Hier eine kleine Auswahl von zahlreichen zufriedenen Kunden aus dem ICT-Service und Beratungsbereich:
Lesen Sie hier was Kunden über unsere Tools sagen:

Testwell CTC++ ist ein Softwaretool, welches wir im Bereich der Softwaretests einsetzen und damit überprüfen, ob wir die komplette Software fehlerfrei liefern können.
Wir nutzen CTC++ seit 2010 und sind sehr zufrieden mit der Software selber und auch mit der Firma, die dahinter steht insbesondere dem Support. Für die Firma Embedded Office ist die Software CTC++ ein Gewinn weil wir dadurch unsere Software garantiert so testen wie wir es gerne möchten.
> hier Video ansehen
Michael Hillmann, Geschäftsführer
Embedded Office GmbH & Co. KG, Wangen, Deutschland
Wir nutzen CTC++ seit 2010 und sind sehr zufrieden mit der Software selber und auch mit der Firma, die dahinter steht insbesondere dem Support. Für die Firma Embedded Office ist die Software CTC++ ein Gewinn weil wir dadurch unsere Software garantiert so testen wie wir es gerne möchten.
> hier Video ansehen
Michael Hillmann, Geschäftsführer
Embedded Office GmbH & Co. KG, Wangen, Deutschland

"REC Global ist Embedded Software Entwicklungspartner für mehrere große Automobilzulieferer.Testwell CTC++ ist von unseren Kunden als Werkzeug der Wahl für die Software-Qualitätssicherung anerkannt und wir folgten ihrem Beispiel und setzten es auch für unsere Projekte ein. Wir verwenden es für den Test von Embedded-Anwendungen. Die CTC++-Reports dienen uns als objektives Maß für Testqualität und helfen uns unsere Entwicklungsprozess zu verbessern."
Borivoje Dermanovic, Projektmanager
REC Global, Kroatien
Borivoje Dermanovic, Projektmanager
REC Global, Kroatien

Schleißheimer ist Entwicklungsdienstleister für die Automobilindustrie und programmiert moderne elektronische Steuergeräte in Personenkraftwagen.
Fehlerfreiheit ist extrem wichtig, weil jeder Fehler im Feld sehr schnell 3-stellige Millionenbeträge kostet, den Ruf schädigt, Vermögensschäden hervorruft oder Personenschäden. Wir können es uns nicht leisten, Fehler im Feld zu korrigieren. Das wäre eine Katastrophe: wir können keine Fehler ins Feld bringen. Bei uns wird Testwell CTC++ im Entwicklungsprozess eingesetzt zur Messung der Testabdeckung. Wir beurteilen damit die Qualität unserer Testspezifikationen und wie weit wir mit den Testfällen den Code erreichen. Es ist also ein strategisches Tool zur Bewertung der Testqualität. Wir nutzen CTC++ seit 2007 zusammen mit unseren großen Kunden aus der Automobilindustrie. Das Tool wird in der Entwicklungskette an allen Stellen zwischen Entwicklung und Test eingesetzt. Der wesentliche Nutzen von CTC++ liegt darin, dass es ein faires Preis-Leistungs-Verhältnis, was nicht selbstverständlich in der PKW-Industrie ist.
> hier Video ansehen
Hans-Joachim Schleißheimer, Geschäftsführer
Schleißheimer Soft- und Hardwareentwicklung GmbH, Nieder-Wöllstadt, Deutschland
Fehlerfreiheit ist extrem wichtig, weil jeder Fehler im Feld sehr schnell 3-stellige Millionenbeträge kostet, den Ruf schädigt, Vermögensschäden hervorruft oder Personenschäden. Wir können es uns nicht leisten, Fehler im Feld zu korrigieren. Das wäre eine Katastrophe: wir können keine Fehler ins Feld bringen. Bei uns wird Testwell CTC++ im Entwicklungsprozess eingesetzt zur Messung der Testabdeckung. Wir beurteilen damit die Qualität unserer Testspezifikationen und wie weit wir mit den Testfällen den Code erreichen. Es ist also ein strategisches Tool zur Bewertung der Testqualität. Wir nutzen CTC++ seit 2007 zusammen mit unseren großen Kunden aus der Automobilindustrie. Das Tool wird in der Entwicklungskette an allen Stellen zwischen Entwicklung und Test eingesetzt. Der wesentliche Nutzen von CTC++ liegt darin, dass es ein faires Preis-Leistungs-Verhältnis, was nicht selbstverständlich in der PKW-Industrie ist.
> hier Video ansehen
Hans-Joachim Schleißheimer, Geschäftsführer
Schleißheimer Soft- und Hardwareentwicklung GmbH, Nieder-Wöllstadt, Deutschland





