QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++

Transkript

1 QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++ Fehler vermeiden von Anfang an Bessere Software in kürzerer Zeit Automatisierte Code-Reviews Für bessere Software für bessere Entwicklerteams Mit C++ entwickeln wir modernste Anwendungen. QA-C++ hilft uns, dies auch kostengünstig zu tun.

2 QA-C++ QA Systems GmbH Softwareentwicklung zu beschleunigen und zu verbessern das hat sich die QA Systems GmbH zur Aufgabe gemacht. Gegründet wurde das Unternehmen 1996 von Andreas Sczepansky in Stuttgart. QA Systems bietet Entwicklern, Softwaretestern und Qualitätsmanagern sowohl eigene Produkte mit weltweiter Vermarktung als auch passende Partnerprodukte an: ob für statisches oder dynamisches Testen, Requirements Engineering, Architekturanalyse oder Softwaremetriken. Um ihre Kunden bestmöglich zu unterstützen, berät und unterstützt QA Systems die Unternehmen vor, während und nach der Softwareeinführung nachhaltig und individuell. Zusätzlich wird der Wissenstransfer in der QA-Systems-Akademie gefördert. Experten wie zum Beispiel Dr. Scott Meyers und Prof. Dr. Les Hatton geben hier ihr Know-how und ihre Expertise weiter. Zu den rund 350 Kunden von QA Systems gehören unter anderem BMW, Continental und EADS.

3 QA-C++ 3 Bessere Software mit dem Marktführer In kürzerer Zeit bessere C++-Programme erstellen möglich macht das QA-C++, das statische Sourcecode Analyse-Tool für C++. QA-C++: Ihr Schlüssel zu besserer Software Weniger Softwarefehler Für zuverlässige, portable und wartungsfreundliche Softwarelösungen Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto kostengünstiger können sie behoben werden Hebt das Know-how Ihrer Entwickler und fördert bewährte Vorgehensweisen Besserer Software-Code unter Einhaltung Ihrer Standardvorgaben Verbessert die Zusammenarbeit der Entwicklerteams Erlaubt sofortige und wiederholbare Tests in Ihrer Entwicklungsumgebung Reduziert Kosten durch schnellere Marktreife QA-C++ lokalisiert versteckte Mängel im Code. Und nicht nur das: es verbessert permanent die Art, wie die Programmiersprache C++ in von Ihnen ent wickelten Pro gram men genutzt wird. Sie definieren einen Program mier standard, so wie er Ihren An for derungen entspricht. Und QA-C++ sorgt voll automatisiert dafür, dass er in allen Ihren Entwicklungen umgesetzt wird. Mit QA-C++ können formale Code-Reviews automatisiert werden, und Kandidaten für logische Reviews lokalisiert werden. QA-C++ verbessert nicht nur Ihre Software, sondern auch das Wissen Ihrer Entwickler!

4 QA-C++ 4 QA-C++ auf einen Blick Sucht und findet Softwaredefekte und -fehler bei der Einhaltung von Pro grammier standards Fördert den sprachkonformen Einsatz von C++ und verhindert so überkomplexe und/oder nicht-portable Software Bietet eine effiziente und benutzerfreundliche GUI zur Einführung und Pflege eigener Programmierstandards Warnt vor Problemen, die durch Compiler und Linker hervorgerufen werden Das leistet QA-C++ für Sie QA-C++ ist eine effiziente, voll automatisierbare Umgebung, die es dem Benutzer ermöglicht, einheitliche Code-Standards einzuführen und umzusetzen. Beispiele: So hilft Ihnen QA-C++ QA-C++ hilft Ihnen, Fehlerquellen aufzuspüren und auszuräumen. Da bei spielt es keine Rolle, ob diese Fehler wegen falscher Sprach im ple men tierung, wegen In konsistenzen oder nicht eingehaltener Pro gram mier standards hervorgerufen werden. Mit QA-C++ wird Ihre Soft ware einheitlicher, weniger komplex, lei stungsfähiger und schließlich auch portierbarer und wartungsfreundlicher! An unserem Beispiel zeigen wir Ihnen, wie QA-C++ konkret helfen kann, Fehler zu entdecken und zu beseitigen: 1. Design Problems QA-C++ bemängelt Schwächen im Entwurf, angefangen bei den Schnittstellen vorhandener Klassen, weiterhin in Ausdrücken und Anweisungen, bei Typumwandlungen sowie undefiniertem Verhalten, bis hin zu Redundanzen und logischen Fehlern. 2. Resource Leaks QA-C++ signalisiert alle Ursachen für Speicherlecks wie den inkonsistenten Gebrauch von Allokatoren und Deallokatoren, Verstöße gegen die Regel der Großen Drei, unbedachten Cast- Operationen und eine Speicherverwaltung im Stile von C. 3. Exception Problems QA-C++ entdeckt Exceptions, für die es keinen Handler gibt, die nur propagiert werden oder unterspezifiziert sind und daher ggf. zu einem unbeabsichtigten Programmabbruch führen. Hinweise zielen auf die Effizienz, präzise Deklarationen und ein verbessertes Exception Handling. 4. Templates Angefangen bei Problemen der Instanziierung, argumentabhängiger Namensauflösung (ADL) und Hijacking, bis hin zu Problemen von Template- Methoden, statischen Attributen und des Überladens; QA-C++ warnt bei gefährlichem Gebrauch solcher Templates. 5. Overloading and Overriding QA-C++ identifiziert Probleme hinsichtlich der Klassenhierarchien, die zum Verdecken bei überladenen Funktionen und nicht mehr zugänglichen Methoden führen können. 6. Potential and Preventative Measures QA-C++ warnt vor uninitialisierten, nicht verwendeten, sowie unveränderten Bezeichnern, inkorrekten oder unerwarteten Typumwandlungen, sowie vor unentdeckten Nebeneffekten, um so die Robustheit des Codes zu erhöhen. 7. Identifiers QA-C++ besteht auf Einhaltung von Namenskonventionen, die durch reguläre Ausdrücke spezifiziert werden. Alle Kategorien von Bezeichnern mit Kombinationen aus Gültigkeitsbereich, Speicherdauer, Typ und Bindung können gezielt überprüft werden. 8. C++ Language Features QA-C++ schlägt Verbesserungen am Code vor, um die volle Funktionalität von C++ zu vermitteln. Dies erleichtert den Übergang vom C-ähnlichen Stil zur Nutzung objektorientierter Techniken, wobei Effizienz und Sicherheit der Sprache C++ berücksichtigt werden. Analyse auf höchstem Niveau, das gilt bei QA-C++ auch für die aktuellsten Merkmale von C++'11 (zum Beispiel rvalue-referenzen und variadic templates). Damit unterstützt QA-C++ auch die Portierung von Code nach C++'11.

5 QA-C++ 5 Die Analyse- und Reporting- Features von QA-C++ Der Message-Browser von QA-C++ bietet eine kontextsensitive drill-down Oberfläche, die mit einer tief reichenden Knowledge-Base verknüpft ist. Dadurch kann QA-C++ nicht nur Probleme finden, sondern auch erklären, weshalb sie behoben werden sollten. Zusätzlich schlägt QA-C++ Beispiele vor, wie damit umgegangen werden kann. Metriken und Visualisierung Metriken Auf Basis Projekt Auf Basis Datei Auf Basis Funktion Vom Benutzer definierbare Schwellenwerte Grafische Metrik-Analyse mit Kiviat-Diagramm Warnung bei Metrik- Schwellenwerten Report- Zusammenfassungen Konfigurierbare Reports Compliance Qualität Code-Review Suppression Übersicht

6 QA-C++ 6 Technische Spezifikationen, Plattformen und Integrationen Interaktives GUI Help-Base, Knowledge-Base (beides online) Integrierte Links zur Onlinehilfe (mit Alternativen und Verbesserungsvorschlägen) Kontext-Messaging Prüft die Einhaltung von Programmierstandards Übersichten und Detailberichte Über 1480 auswählbare Messages Fehlererkennung durch Datenflussanalyse Übergreifende Modul-Analyse Findet semantinsche Fehler Verhindert Fehler vor der Entstehung Überprüft Namenskonventionen Unterdrückung der Prüfung auf Basis von Kommentaren möglich Kein Limit für Projektgrößen oder SLOC Unterstützt alle gängigen Compiler Unterstützte Plattformen: Windows 7 (32-bit, 64-bit) Linux RHEL (32-bit, 64-bit) Solaris 10 (64-bit) Entwicklungsoptionen: GUI für unterstützte Plattformen Command Line Makefile Integration Fest in Microsoft Visual Studio integriert Fest integriert in auf Eclipse basierte IDEs (z.b. CodeWarrior oder Workbench ) Auch für modelbasierte Entwicklungsumgebungen (z.b. Rhapsody ) geeignet Auch für durchgängige Integrationsumgebungen (z.b. Jenkins ) geeignet Unterstützt auch das Analyse-Projektmanagement über mehrere Plattformen Compliance-Module: MISRA C++:2008 JSF AV++ HIC++ Der SGS-TÜV Saar hat QA-C++ mit MISRA zertifiziert als einsetzbar für die Entwicklung von sicherheitsrelevanter Software entsprechend der wichtigsten Standards im sicherheitskritischen Bereich: IEC 61508, ISO 26262, EN 50128, IEC und IEC Titelfoto: nyul, fotolia QA Systems GmbH Schwieberdinger Straße 56 D Stuttgart Tel +49 (0)711/ Fax +49 (0)711/