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

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

PROFESSOR DOCTOR DERYA BIRANT

Offered to

Computer Engineering

Course Objective

The aim of the course is to teach the fundamental concepts of software verification, basic testing techniques and types, and the application of verification tools.

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 a given piece of source code for testability
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 discrete math to testing
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 process
13 Testing tools and test automation
14 Model-based testing and test case generation

Recomended or Required Reading

TextBook: Lee Copeland, A Practitioners Guide to Software Test Design, Artech House, 2004
Complementary Book: Ammann and Offuit, Introduction to Software Testing, Cambridge University Press, 2008

Planned Learning Activities and Teaching Methods

Lectures / Presentation
Laboratory exercises
Homeworks

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 ASG ASSIGNMENT
3 FIN FINAL EXAM
4 FCG FINAL COURSE GRADE MTE * 0.25 + ASG * 0.25 + FIN * 0.50
5 RST RESIT
6 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.25 + ASG * 0.25 + RST * 0.50


*** Resit Exam is Not Administered in Institutions Where Resit is not Applicable.

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 15:00 - 17:00
Thursday 9: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