1. To become acquainted with a variety of testing techniques and their interconnection to the issues of security of software and trust in information systems. 2. To become aware of testing techniques, software tools and IS development methods that offer testing. 3. To examine a variety of case studies (Railways, Arianne-5, Nuclear Plants, Design of Olympic Games IS, Airline Flight Security, etc.) where testing was proved to be a critical factor.
Contents
The course will refer to the following topics: Software Testing, Security, Trust in lifecycle development processes, Reliability, Correctness, Consistency and Completeness, Formal computational methods, Software Tools and their contribution to testing
Teaching methods
Lectures/seminars based on the most definitive and classic pieces of work on testing and on recent research and development outcomes.