A-C QA-C. das statische Sourcecode Analyse-Tool für C

Transkript

1 A-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 Unsere Software muss immer schneller marktreif sein. Und das mit immer weniger Fehlern. Das schaffen wir nur mit QA-C.

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 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 lokalisiert versteckte Mängel im Code. Und nicht nur das: es verbessert QA- C: I hr Sc h lü s s e l zu be sse re r Sof t ware perma nent 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, Weniger Softwarefehler dass er in allen Ihren Entwicklungen umgesetzt wird. Für zuverlässige, portable und wartungsfreundliche Softwarelösungen Mit QA-C können formale Code-Reviews auto matisiert werden, und Kandidaten 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 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 Um gebung, 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 Inkon sistenzen oder nicht eingehaltener Pro gram mier standards hervorgerufen werden. Mit QA-C wird Ihre Soft ware einheitlicher, weniger komplex, leistungsfä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. Undefined behaviour QA-C ermittelt nicht nur wohlbekannte Fehlerquellen (null pointer dereference, Division durch Null, Buffer Over run), sondern auch weniger be - kannte. Die Dataflow Engine liefert die Analyse der Variablen, um undefinierte Re ak tionen zu entdecken. 2. Constraint Violations Falscher Gebrauch der Programmier sprache: QA-C entdeckt 159 Fälle, in denen die Syntax zwar korrekt, der Code selber aber seman tisch falsch ist. Dabei beschränkt sich QA-C nicht nur auf die bekannten Fälle, wo Compiler normalerweise anhalten, sondern liefert auch dann Er geb nisse, wenn die Compilation nicht gestoppt werden würde. 3. Cross Module Analysis QA-C identifiziert nicht-regelkonformes Verhalten, welches ein Linker nicht auflösen kann. Erkannt werden Rekursionen sowie widersprüchliche Deklarationen und Definitionen von externen Objekten und Funktionen im gesamten Projekt. 4. Portability QA-C gewährleistet, dass ein Code über Compiler und Plattformen hinweg konsistent gehalten werden kann. Erkannt werden ISO-Limitierungen, Spracherweiterungen und Implementation defined behavior. 5. Conversion QA-C ermittelt im plicit conversions zwischen Dateitypen, sei es bei der Verknüpfung, dem Vergleich, der in tegral promotion, der default argument promotion oder bei function returns. 6. Redundanzen QA-C spürt nicht genutzte Variablen, Funktionen und Parameter auf, genauso wie Bedingungen, bei denen das Ergebnis unveränderlich (immer wahr oder immer falsch) ist. 7. Statements and Operations QA-C ermittelt verdächtige Vergleichsund Pointer-Operationen einschließlich der Verwendung von nicht korrekten Ty pen. Und das Programm findet Kon s truk tionen, die zwar erlaubt aber wahrscheinlich irreführend oder schwer zu warten sind. 8. Namenskonventionen QA-C fördert die Verwendung von einheitlichen Benennungen, die durch Regular Expressions spezifiziert werden. Alle Identifier Merkmale können überprüft werden.

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 1700 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:1998 MISRA-C:2004 MISRA-C:2012 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 QA Systems GmbH Schwieberdinger Straße 56 D Stuttgart Tel +49 (0)711/ Fax +49 (0)711/