CSC2003 Programme | Track Description |
Lectures | ||
System Analysis
P.Tonella
3 Hours This track is focused on code analysis and manipulation techniques that can be applied to the sources of a software system. After a background lecture on object oriented programming, some methods for the improvement of the quality of a software system will be considered. In particular, the transformation of an existing system so as to improve its internal structure and the enforcement of a set of coding conventions will be presented in detail. |
||
ST_AS_L_1 |
Object oriented programming with Java
and C++ This lecture is an introduction to object oriented programming and more specifically to the Java and C++ programming languages. It is targeted to students with a limited background in object oriented languages and programming in general. It aims at reaching a common base level of knowledge, that is assumed as a prerequisite by most of the other lectures given at the school. |
|
ST_AS_L_2 |
Re-factoring Refactoring is the process of modifying the code so that the external behavior is not altered, while the internal structure is improved. In this lecture, some examples of code refactoring will be presented with reference to the object oriented programming paradigm. They will be introduced on a small program, used throughout the lecture. |
|
ST_AS_L_3 |
C++
code analysis and verification of coding conventions
Coding conventions play a major role in software quality assurance. They enforce a disciplined use of the constructs available in the programming language of choice and they help producing a readable, standardized code. In this lecture examples of coding conventions adopted by some of the experiments at CERN will be given. The tool RuleChecker, for their automatic verification, will be described, with examples of implemented checks. |
Exercises | ||
System Analysis P.Tonella 2 Hours | ||
ST_AS_E_1 |
Exercises on
System Analysis A set of increasingly difficult coding conventions will be implemented in RuleChecker, a tool developed by ITC-irst and currently adopted by several experiments and groups at CERN. The students will have the opportunity to get familiar with the code analyzer exploited by RuleChecker and the related language model, as well as with the usage of RuleChecker for the automatic verification of some coding conventions. |
|
ST_AS_E_2 |
Last edited:
26-May-03
.
F.Fluckiger