Software Engineering 4 (F22HX3)

Andrew Ireland   Lilia Georgieva 

a.ireland@hw.ac.uk   lilia@macs.hw.ac.uk

 G57                 G54

Aims and objectives:

A major theme of this module is the integration of testing and analysis techniques within the software life-cycle. Particular emphasis will be placed on code level analysis and safety critical applications. The application and utility of static checking will be studied through extensive use of a static analysis tool (ESC Java) for Java.

The module is divided into two themes testing and analysis and extended static checking which are presented by Andrew Ireland and Lilia Georgieva respectively.