Test and Verification


Prerequisite/Recommended prerequisite for participation in the module

Knowledge and skills in computer architecture, principles of parallelism, concurrency and operating systems, and syntax and semantics.

Content, progress and pedagogy of the module

Learning objectives


knowledge on the following theories and methods:


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


  • formal models of software systems behavior, software tools for verification


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


The student should by synthesis of the concepts and techniques of the discipline be able to:

  • describe key aspects of a software system using formal models
  • assess the usefulness of various test techniques in a software system in a given context

Type of instruction

The teaching is organized according to the general teaching methods for the education, cf. chapter 3

Extent and expected workload

It is expected that the student uses 30 hours per ECTS, which for this activity means 150 hours



Name of examTest 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: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854

Facts about the module

Danish titleTest og verifikation
Module codeDSNSWFK204
Module typeCourse
Duration1 semester
Language of instructionDanish and English
Empty-place SchemeYes
Location of the lectureCampus Aalborg
Responsible for the module


Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyTechnical Faculty of IT and Design