Beta 1

Title Improving reliability of mission-critical software through static code analysis in an agile environment
Author Larsen, Casper Stefan
Supervisor Pilegaard, Henrik (Computer Science and Engineering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract Most previous studies of static code analysis has dealt with improving the theoretical aspects of the analyses, while little work has dealt with the actual application of the analyses in real domains. This thesis investigates how static code analysis can be implemented as part of a real agile, safety-critical domain in order to increase the reliability of a mission-critical, concurrent software system. The domain at Radiometer Medical ApS is used as basis for this investigation. First, the agile domain is analyzed to determine how to target the analysis in order to maximize its business value. For doing so, the Orthogonal Defect Classication scheme is used. An analysis that combines a classical interprocedural control ow analysis with a CCS based pathway analysis is then presented. The purpose of the analysis is to be able to determine control dependencies between program points in a set of concurrent processes. The interprocedural control ow analysis is used to capture the sequential control flow of each of the system modules, while the pathway analysis is able to capture the control structure of the CCS model, representing the concurrent system behavior. The result is an analysis that is able to analyze over-approximated program slices representing the control ow of a set of concurrent processes. Results look promising, but work still remains before the analysis is ready to be implemented in a real domain.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-89
Original PDF ep10_89_net.pdf (2.89 MB)
Admin Creation date: 2010-10-28    Update date: 2010-10-28    Source: dtu    ID: 268363    Original MXD