IGFE CSC 7334
The main objective of this course is the study of existing testing techniques for different types of software used in telecommunications. The students should learn how to estimate the software quality from a tester point of view and which formal models can be used to derive high quality tests or to verify the correctness of certain properties of software components of discrete event systems.
Students are required to have good mathematical foundations, good knowledge in algorithms and data structures, software engineering and general network architectures.
- Introduction to software quality and software metrics at various development steps (lecture);
- Introduction to software testing problem; classification of various testing techniques (lecture);
- Motivation to Model Based Testing; introducing formal models for discrete event systems (lecture);
- Finite State Machines – definitions and examples (lecture and exercises);
- FSM based test generation strategies (lecture and exercises);
- Introduction to non-intrusive testing techniques (lecture and exercises);
- Static Analysis and Passive testing (lecture and exercises);
- Optimization of passive testing/monitoring techniques (lecture);
- (Collaborative) project management class (laboratory and seminar).
The evaluation includes 3 hours written exam and a project.
The final grade is computed based on the following ratio: 3/4 (exam) and 1/4 (project).