Industrial Test and Verification


Content, progress and pedagogy of the module

Learning objectives


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


  • 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


  • 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


  • 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


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

The teaching is organized in accordance with the general teaching methods for the education, cf. section 17

Extent and expected workload

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



Name of examIndustrial Test and Verification
Type of exam
Written or oral exam
Assessment7-point grading scale
Type of gradingInternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Additional information

Contact: Study Board for Computer Science via or 9940 8854

Facts about the module

Danish titleIndustriel test og verifikation
Module codeDSNSWCK113
Module typeCourse
Duration1 semester
Language of instructionEnglish
Empty-place SchemeYes
Location of the lectureCampus Copenhagen
Responsible for the module


Education ownerMaster of Science (MSc) in Engineering (Software)
Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyThe Technical Faculty of IT and Design