Industrial Test and Verification

2024/2025

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

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.

Exam

Exams

Name of examIndustrial Test 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 titleIndustriel test og verifikation
Module codeDSNSWCK113
Module typeCourse
Duration1 semester
SemesterAutumn
ECTS5
Language of instructionEnglish
Empty-place SchemeYes
Location of the lectureCampus Copenhagen
Responsible for the module

Organisation

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