Unterstützung für KMU bei der Prüfung von Software-Qualität
Die Specification and Description Language (SDL) findet auf dem Gebiet der Telekommunikation häufig Anwendung bei der Funktionalitätsbeschreibung und der Erstellung von Softwarecodes. Gegenwärtig wird die Sprache in zunehmendem Maße für andere Echtzeitanwendungen wie medizinische Geräte bzw. Flugzeug- und sonstige Transportsysteme genutzt. Im Rahmen des SDL-SAFE-Projektes wurde eine Methode zur automatischen Qualitätsbeurteilung von auf SDL beruhender Software entwickelt. Diese Methode ist in mehrere Schritte gegliedert. Zuerst werden die Gestaltungsziele bzw. die gewünschten Eigenschaften der gesamten Implementierung bestimmt. Diese werden dann in spezielle SDL-Regeln umgewandelt, die eine genaue Anleitung dazu geben, wie ein qualitativ hochwertiges System in der Sprache definiert werden kann. Daraufhin wird ein Modell zur Qualitätsbeurteilung erstellt, das auf Qualitätsprüfungskriterien basiert und durch die Extraktion von Qualitätsmaßen ergänzt wird. Schließlich werden die Grundsätze, Modelle und Maße dazu genutzt, einen automatischen Prozess zur Qualitätsbeurteilung für das unter Entwicklung stehende Softwaresystem festzulegen. Im Rahmen von SDL-SAFE wurde auch ein Set von Softwaretools entwickelt, einschließlich ein Syntax- und Strukturanalyseprogramm sowie ein semantisches Analyseprogramm, mit denen überprüft werden kann, ob das SDL-System vollständig und in sich konsistent ist. Der Prozess der Qualitätsbeurteilung umfasst dann etablierende Qualitätsmaßstäbe und gliedert diese gemäß den entscheidenden Systemelementen. Dies ist für KMU hilfreich, da so Maßstäbe gruppenweise an Kriterien der Software-Qualität angepasst werden können, die Anpassung also nicht mehr für jeden Maßstab einzeln vorgenommen werden muss. Die im Rahmen des Projektes entwickelten Technologien und Methoden senken die Gestaltungs-, Prüf- und Implemetierungskosten, steigern die Prüfgenauigkeit und erstellen solide Entwürfe für effiziente Systeme. Sie sind von besonderer Bedeutung für die steigende Zahl europäischer Entwickler von KMU-Software, denen es an Ressourcen zur Qualitätsbeurteilung und -prüfung mangelt.
