QA-C und QA-C++

Sie möchten in möglichst kurzer Zeit eine bessere Qualität beim Erstellen von C-/C++-Programmen erzielen? Sie wünschen sich geregelte Abläufe in Ihren Entwicklungsprozessen? Möglich wird das mit QA-C und QA-C++, unseren Testwerkzeugen für statisches Testen bei der C-/C++-Programmierung.  

Kostenlose Testlizenz

Testwerkzeuge für statisches Testen: QA-C und QA-C++

Mit QA-C/C++ lassen sich mögliche Fehlerquellen im Code schnell und einfach lokalisieren. Kontinuierlich verbessern sie die Art und Weise, wie die Programmiersprache C, bzw. C++, in von Ihnen entwickelten Programmen genutzt wird. Völlig automatisiert überprüfen die Testwerkzeuge einen festgelegten, firmenspezifischen Programmierstandard – unabhängig vom Compiler und anderen Entwicklungstools. Auch manuelle Code-Reviews können Entwickler mit QA-C/C++ größtenteils automatisieren. 

 

Die Testwerkzeuge QA-C und QA-C++ bieten Ihnen

  • Zuverlässigkeit: Reduzieren Sie durch statische Codeanalysen das Risiko verbleibender Software-Bugs.
  • Automatisierte Überprüfungen: QA-C/C++  prüft, ob Programmierstandards oder Industriestandards übereinstimmen.
  • Bessere Teamarbeit: QA-C/C++ lässt sich nahtlos in Ihren Entwicklungsprozess integrieren. Alle Entwickler arbeiten so nach einem einheitlichen Standard: für bessere Produkte und bessere Entwickler. 
  • Schneller am Markt: Je früher im Entwicklungszyklus Fehler durch die statische Codeanalyse entdeckt werden, desto schneller und kostengünstiger können diese behoben werden.
  • Geringe Folgekosten: Alle Komponenten sind in einem einheitlichen Standard aufeinander abgestimmt und daher leicht zu pflegen.
  • Entwickeln auf hohem Niveau: Durch Beispiele und Verbesserungsvorschläge hebt QA-C/C++ das Qualitätsniveau Ihrer Entwicklung.
Screenshot QA-C
Screenshot QA-C++

Schneller am Markt mit besserer Software, und zwar auf Dauer – das bringt Ihnen QA-C/C++

  • Analysiert C-/C++-Quellcode und liefert Reports über mehr als 1300 potenzielle Probleme
  • (gefährliche Konstruktionen, Probleme bei Zuverlässigkeit, Wartbarkeit und Portabilität etc.)
  • Meldungen und Reports (sofort verfügbar, konfigurierbar)
  • Kalkuliert Software-Metriken (Zyklomatische Komplexität nach McCabe, Anzahl der möglichen Pfade, Verschachtelungstiefe, Kommentardichte, etc.) sowie individuelle firmenspezifische Metriken
  • Viele grafische Reports möglich (Inklude-Baum, Call-Graph, Funktionsstrukturen, etc)
  • Integrierte Links zur Onlinehilfe (mit einem Klick zu Hintergrundinformationen, Alternativen und Verbesserungsvorschlägen)
  • Individuell konfigurierbar (Regelwerk um firmenspezifische Regeln erweiterbar, Reports konfigurierbar, etc.)
  • Unterstützt Qualitätsinitiativen wie CMMI, ISO 9126, IEC 61508, DO-178B, FDA, Def Stan 00-55, etc.
  • Commandline Interface verfügbar zum Automatisieren der Überprüfungsläufe z.B. über Nacht
  • Integrationen zu Entwicklungsumgebungen wie z.B. Visual Studio, Eclipse, Wind River Workbench, Borland C++Builder, CodeWright und allen gängigen Versionskontrollsystemen
  • Verfügbar für Windows, Linux und Unix Plattformen
Screenshot QA-C
Screenshot QA-C++

Datenblatt zu QA-C/QA-C++

Unser Datenblatt gibt Ihnen einen Überblick über unser Testwerkzeug für statisches Testen bei der C-Programmierung. Erzielen Sie mit in möglichst kurzer Zeit eine bessere Qualität beim Erstellen von C-Programmen.
Datenblatt C | PDF | 930 KB
Unser Datenblatt gibt Ihnen einen Überblick über unser Testwerkzeug C++ für statisches Testen bei der C-Programmierung. Erzielen Sie in möglichst kurzer Zeit eine bessere Qualität beim Erstellen von C++-Programmen.
Datenblatt C++ | PDF | 1 MB

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Technische Informationen

The term “dataflow analysis” refers to a range of techniques in which static analysis of source code is used to analyse run-time behaviour of a program.
Dataflow Reference | PDF | 1 MB
Quick Guide für HIS-Metrics Report unter Windows mit QA-C v7.2.
QA-C Quick Guide | PDF | 203 KB
The principle features of QAC 7.2 include for example Support for Baselining, Windows GUI Improvements, etc.
QAC-7.2 Release Notes | PDF | 262 KB
The 8.0 release of QAC features a number of incremental improvements including new analysis messages and bugfixes.
QAC-8.0-Release Notes | PDF | 230 KB
The key points of this release are for example high enforcement of the MISRA C++:2008 coding standard and enhancements to the syntactic-usage engine.
QA-C++-2.5 Release Notes | PDF | 236 KB
QA C++ 3.0 Release Notes: This release introduces a comprehensively revised dataflow analysis engine.
QACPP-3.0 Release Notes | PDF | 395 KB
General Release on 3rd February 2012. Launch at Embedded World.
QA-C++3 Launch Pack 2012 | PDF | 717 KB
The term “dataflow analysis” refers to a range of techniques in which static analysis of source code is used to analyse run-time behaviour of a program.
QA-C++3 Dataflow Reference Manual | PDF | 286 KB

White Papers

This document describes the parts of the standard that are addressed by using QA·C with MISRA-C.
ISO26262 with QAC | PDF | 214 KB
This paper describes several scenarios where coding standards prevent the misuse of the C and C++ languages.
Best Coding Standards | PDF | 247 KB
Using Wrapper to Analysing Code in a Makefile Project.
Compiler Wrapper Technology | PDF | 43 KB
This article will empirically evaluate this assumption, and ultimately show that the range of compiler warnings is limited compared to a dedicated static analysis tool, such as Programming Research’s QA-C++.
How good is your Compiler | PDF | 84 KB
An Approach to Improving Older Code Bases: Coding Standards are filled with practical and good guidelines for catching and preventing bugs and making code more readable, maintainable and safe.
Managing Legacy Code | PDF | 29 KB
A Practical Demonstration of the Power of Automated Code Inspection vs. Manual Code Reviews.
Developers Challenge | PDF | 1 MB
This document highlights key language analysis topics that should be facilitated with automated tooling and introduces an overview comparison of the QA Systems static analysis solutions against PC Lint.
QA-C/MISRA vs PCLint | PDF | 80 KB
We present application of SMT to abstract interpretation of arbitrary C programs.
Abstract Interpretation C-Language with Bit-Vector | PDF | 141 KB

Sie haben Fragen? Sie möchten QA-C oder QA-C++ gerne ausprobieren? Kontaktieren Sie uns.

Kostenlose Testlizenz