||Improving reliability of mission-critical software through static code analysis in an agile environment
||Larsen, Casper Stefan
||Pilegaard, Henrik (Computer Science and Engineering, Informatics and Mathematical Modelling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||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
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
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.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2010-10-28
Update date: 2010-10-28