COURSE UNIT TITLE

: INTRODUCTION TO SOFTWARE VERIFICATION

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
CME 4404 INTRODUCTION TO SOFTWARE VERIFICATION ELECTIVE 2 2 0 6

Offered By

Computer Engineering (English)

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

PROFESSOR DOCTOR RECEP ALP KUT

Offered to

Computer Engineering (English)

Course Objective

The aim of the course is to teach the fundamental concepts of software verification, basic testing techniques and types, and practices in requirements engineering.

Learning Outcomes of the Course Unit

1   Describe the basic concepts of software verification
2   Apply various software verification techniques in development projects
3   Analyze the importance of requirements engineering in software verification
4   Identify software verification aspects within the presented software development lifecycles
5   Communicate test specifications, analysis, and results in written and oral form

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 Introduction to the concepts of software verification
2 Formal software modeling
3 Fundamental testing termonology and techniques
4 Application of development teams in software verification
5 Design issues and testability
6 Testing strategies and status reporting
7 Syntax based testing
8 Software verification planning
9 Solving example questions, Midterm exam
10 Incremental testing approach
11 Testing process
12 Testing tools and test automation
13 Model-based testing and test case generation
14 Role of requirement engineering in software verification

Recomended or Required Reading

Marieke Huisman, Anton Wijs, Concise Guide to Software Verification: From Model Checking to Annotation Checking, Springer, 2023.

Elizabeth Hull, Ken Jackson, Jeremy Dick, Requirements Engineering, 3rd ed., Springer, 2011

Ammann and Offuit, Introduction to Software Testing, Cambridge University Press, 2008

Planned Learning Activities and Teaching Methods

Lectures / Presentation
Homeworks

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 ASG ASSIGNMENT
3 PRJ PROJECT
4 FCG FINAL COURSE GRADE MTE * 0.20 + ASG * 0.30 + PRJ * 0.50


Further Notes About Assessment Methods

None

Assessment Criteria

To be announced.

Language of Instruction

English

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

Dokuz Eylul University
Department of Computer Engineering
Tinaztepe Campus 35160 BUCA/IZMIR
Tel: +90 (232) 301 74 01

Office Hours

Monday 10:00 - 12:00

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 14 2 28
Tutorials 14 2 28
Preparations before/after weekly lectures 14 1 14
Preparation for midterm exam 1 10 10
Preparation for final exam 1 12 12
Preparing assignments 3 16 48
Final 1 2 2
Midterm 1 2 2
TOTAL WORKLOAD (hours) 144

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10
LO.1422
LO.234553
LO.33354
LO.43342
LO.5334