Development Testing

Development Testing wird durch den Software-Entwickler bereits während des Entwicklungsprozesses durchgeführt. Auf diese Weise werden Fehler in einer frühen Projektphase gefunden, wenn deren Behebung noch relativ kostengünstig möglich ist. Hierdurch wird das Risiko von teuren Softwareausfällen und Sicherheitsproblemen reduziert. Die Vermarktung der Software kann früher erfolgen und die Kundenzufriedenheit wird gesteigert.
Development Testing ergänzt traditionelle Softwaretests. Es verwandelt Softwaretests von einem reaktiven zu einem proaktiven Prozess.
Statische Code-Analyse und Unit-Tests mit begleitender Messung der Testabdeckung gehören zum Development Testing.

Development Testing mit CodeSonar®

Beim Erstellen hochwertiger Software prüft CodeSonar® mehr Code in kürzerer Zeit als andere Testmethoden. Durch frühes Aufdecken von Fehlern wird mit CodeSonar Zeit und Geld gespart.

Wie in Gerald Holzmanns Power of Ten Regeln beschrieben, sollen statische Codeanalysetools schon während des Entwicklungsprozesses proaktiv genutzt werden. Statische und dynamische Testverfahren ergänzen sich gegenseitig. Allerdings sind dynamische Tests immer nur so gut wie die genutzten Testfälle. Aus diesem Grund muß bei der dynamischen Analyse viel Zeit und Geld in das Schreiben bzw. Generieren guter Testfälle investiert werden.

Sparen Sie Zeit und Geld

Statische Analyse analysiert alle Pfade und berücksichtigt Bedingungen und Zustände ohne Schreiben von Testfällen. Hierdurch werden die Testkosten deutlich reduziert. Je früher Fehler gefunden werden, desto einfacher und kostengünstiger sind sie zu fixen. Hier liegt eine weitere Stärke der statischen Analyse, die bereits eingesetzt werden kann, sobald der Code kompiliert. Auf diese Weise können Mängel aufgedeckt werden bevor der Code komplett verfügbar ist. Die Nutzung von statischer Codeanalyse ist effizienter und kostengünstiger als das Schreiben von Testfällen oder das Debuggen eines Softwareabsturzes.

Durch die Visualisierungs-Features zeigt CodeSonar die strukturellen Eigenschaften der zu überprüfenden Software. Hiermit kann auch die Leistungsfähigkeit traditioneller Testmethoden erhöht werden.

Reduzieren Sie Risiken

Die Nutzung der fortschrittlichen Analyse-Engine von CodeSonar ermöglicht eine tiefere Analyse als sie mit dynamischer Analyse alleine möglich wäre.

CodeSonar nutzt symbolische Inputs und abstrakte Werte. Da jeder abstrakte Wert eine breite Palette von möglichen konkreten Werten repräsentiert, kann CodeSonar eine Vielzahl von möglichen Programmzuständen gleichzeitig berücksichtigen. Dies hat eine höhere Testabdeckung als bei der dynamische Codeanalyse zur Folge, die nur tatsächliche Inputs und konkrete Werte nutzt.

Mit der statischen Codeanalyse von CodeSonar finden Entwickler kritische Bugs wie Pufferüberläufe, Null Pointer Dereferenzen, Resource Leaks und Wettlaufsituationen (Race Conditions). CodeSonar kann ebenfalls Inkonsistenzen oder Widersprüche im Programm wie unerreichbarer Code, nutzlose Aufgaben und redundante Bedingungen aufdecken, welche nicht selten mit Bugs korrelieren.

Schützen Sie Ihre Firma

Mit einer besseren Software-Analyse erhöhen Sie das Vertrauen, reduzieren Sie Risiken, vermeiden Sie Softwarefehler im Feld und schützen Sie Ihre Produkte und Ihre Reputation. Gleichzeitig steigern Sie die Effizienz Ihrer Entwickler indem diese Fehler und Sicherheitslücken früh im Entwicklungsprozess finden.