Ilmenau/Suhl, 25.-26. September 1996
Qualitätssicherung in Smalltalk-Projekten
Die (vollständige) Fehlerfreiheit auch von komplexer Software ist eine legitime Anforderung ihrer Anwender. Wie schwer dieses Ziel zu erreichen ist, zeigt der Alltag der Softwareentwicklung und Nutzung. Für konventionelle (z.B. prozedurale) Programmiersprachen gehören qualitätssichernde Verfahren und Werkzeuge mittlerweile zur Standardausrüstung. Für die Programmiersprache Smalltalk stehen derartige Mittel bisher nicht in ausreichendem Maße zur Verfügung.
Der Vortrag entwickelt aus den allgemein üblichen Qualitätsansprüchen die Leistungsmerkmale f"ur qualitätssichernde Verfahren und beschreibt deren Umsetzung in ein konfigurierbares programmgestütztes Testenvironment in Smalltalk. Ein unternehmensweiter Styleguide erlaubt die Entwicklung von änderbarer und erweiterbarer Software, die nicht an den Entwickler gebunden ist. Durch den Einsatz von Werkzeugen zur automatischen Erzeugung von Code, die sich an den Styleguide halten, entstehen große Teile, die nachweisbar fehlerfrei sind. Der Einsatz von Dokumentation und Spezifikation für Klassen und Methoden erhöht die Wartbarkeit. Die Spezifikation kann zum Teil statisch überprüft werden, sie ist parametrierbar und damit an den Styleguide anpaßbar. Durch dynamische Tests des Smalltalk-Codes können Typen von Argument- und Ergebnisobjekten überprüft werden, der Code kann, ohne ihn zu verändern, durch Pre- und Postconditions instrumentiert werden. Erst durch dynamische Instrumentierung von Code kann die komplette Pfadabdeckung sichergestellt werden. Deren Ergebnis wird für die Erstellung von Test-Fällen verwendet, die sicherstellen, daß auch der gesamte Code getestet wird. Die Testfälle werden wie Code auch archiviert und versioniert, so daß bei Veränderungen von Teilen der Applikation die davon abhängigen Testfälle nochmals automatisch evaluiert werden können.
The content of this WWW-page was sent to the organisation committee of STIA-96 by the authors of the presentation. The organisation committee does not guarantee for the offered information.