Content, progress and pedagogy of the module

Learning objectives

Knowledge

After completing the project module, the student must have knowledge of:

Test:

• classical test techniques and test theory
• test specification
• models for formal testing and model based testing
• software tools for automated testing, test generation and test execution

Verification:

• formal models for the behavior of software systems
• software tools for verifying models, including the following techniques:
  • static analysis model
  • checking
  • bounded model checking
  • quantitative model checking
• challenges and examples of how verification can be scaled for industrial applications

Skills

• be able to explain accurately and using the subject's terminology and notation for properties and behavior of formal models of software systems
• be able to use the subject's techniques to plan and conduct tests

Competences

By synthesizing the concepts and techniques of the subject, the student must be able to:

• describe key aspects of a software system using formal models
• assess the applicability of different testing techniques to a software system in a given context

Type of instruction

Extent and expected workload

The student is expected to spend 30 hours per ECTS, which for this activity means 150 hours.

Exam

Exams

Additional information