Test and Verification

2018/2019

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

knowledge on the following theories and methods:

Testing:

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


verification:

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

Skills

  • 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

Competences

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

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 assessmentAre stated in the Joint Programme Regulations

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
SemesterSpring
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