Test and Verification

2021/2022

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

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 27.5 hours per ECTS, which for this activity means 137.5 hours.

Exam

Exams

Name of examTest and Verification
Type of exam
Written or oral exam
ECTS5
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 cs-sn@cs.aau.dk or 9940 8854

Facts about the module

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

Organisation

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