Content, progress and pedagogy of the module

Disclaimer.
This is an English translation of the module. In case of discrepancy between the translation and the Danish version, the Danish version of the module is valid.

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