x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
TKOPS140 Testing, Security and Trust 5–6 ECTS
Organised by
Computer Science
Person in charge
Assistant professor Eleni Berki.

Learning outcomes

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.


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.

Teaching language


Modes of study

Exam and coursework.


Numeric 1-5.

Recommended year of study

Advanced level, 3rd year and later.

Belongs to following study modules

School of Information Sciences
School of Information Sciences
Archived Teaching Schedule. Please refer to current Teaching Shedule.
School of Information Sciences