Title: Static software analysis for safety-critical systems
Language: English
Authors: Katzdobler, Franz-Josef 
Qualification level: Diploma
Keywords: Satische Softwareanalyse; Softwaremetrik; Wartbarkeit
Static Software Analysis; Metric; Maintainability
Advisor: Dietrich, Dietmar 
Assisting Advisor: Gerstinger, Andreas 
Issue Date: 2010
Number of Pages: 78
Qualification level: Diploma
Abstract: 
Softwaremetriken waren in den letzten Jahrzehnten durchgehend ein Thema zur Unterstützung in der Abwicklung von Softwareprojekten.
Viele verschiedene und teils widersprüchliche Ergebnisse liegen vor.
Einige Studien kommen zu dem Ergebnis, dass aus statischer Softwareanalyse auf die Qualität eines Softwareproduktes geschlossen werden kann. Andere hingegen behaupten das genaue Gegenteil. Diese Arbeit konzentriert sich vor allem auf den Aspekt der Wartung im Bereich von sicherheitskritischen Systemen. Es ist belegt, dass bis zu 80 Prozent der Gesamtkosten eines Projektes auf Wartung zurückzuführen sind. Unterschiede zwischen verschiedenen Paradigmen und Programmiersprachen wurden untersucht und Metriken auf die praktische Anwendbarkeit geprüft. Dafür wurden Daten von erfahrenen Programmierern im Umfeld von sicherheitskritischen Systemen gesammelt und auf Korrelation mit den Daten von statischen Softwareanalysetools untersucht, wobei Wartbarkeitsmodelle auf der Basis des ISO 9126 Standards definiert wurden. Außerdem erfolgte eine Implementierung eines Prototypensystems, das es ermöglicht, Metriken aus mehreren Tools zu benzutzerdefinierten Wartbarkeitsmodellen zu kombinieren. In den Ergebnissen werden zwei Wartbarkeitsmodelle präsentiert, wobei eine Trennung von prozeduralen und objektorientierten Sprachen eingeführt wird. Außerdem zeigen die Experimente, dass der Wartbarkeitsbegriff zwar teils unterschiedlich interpretiert wird, es sich aber doch ein Konsensus zwischen den Entwicklern bilden lässt. Zusammen mit dem entwickelten Prototypensystem, durch das die Messung und Aggregation der benötigten Metriken erleichtert wird, zeigt diese Erkenntnis die Sinnhaftigkeit des Einsatzes von Metriken in der Softwareentwicklung.

With the aim of supporting the software development life cycle, software metrics have been subject of research for many years.
Different and contradictory results were obtained concerning the correlation between the measured properties and the quality of a software product. As maintainability is an important criterion and contributes up to 80 percent to the software development cost, this work focuses on this property in the eld of safety-critical systems. Essential differences between paradigms and languages were considered and metrics were examined to be useful or not in this area. The work was validated by collecting data from experienced programmers and correlating them with the data from the static measurement process performed by a tool. Models based on the ISO 9126 standard were constructed for this purpose. Furthermore, a prototype system was implemented which allows combining metrics from different tools to user defined maintainability models. The experiments and results show that the individual developers share a slightly different notion of maintainability. Furthermore, the results show that it is possible and necessary to establish consensus about the maintainability notion.
Together with the implemented prototype system which supports the measurement and aggregation of the necessary metrics, this finding demonstrates the usefulness of applying metrics in software development.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-45025
http://hdl.handle.net/20.500.12708/11525
Library ID: AC07808765
Organisation: E384 - Institut für Computertechnik 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
Static software analysis for safety-critical systems.pdf8.96 MBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

8
checked on Feb 18, 2021

Download(s)

53
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.