• HOME
• ABOUT US
  • Name Address
  • General Description
  • Governance
  • Academic Calendar
  • Degree Programmes
  • List of Programmes in English
  • General Admission and Registration Procedures
  • Credit Mobility and Recognition of Prior Learning
  • ECTS Credit Allocation
  • Academic Guidance
  • Contacts
• Degree Programmes
  • Third Cycle Programmes (Doctorate Degree)
  • Second Cycle Programmes (Master's Degree)
  • First Cycle Programmes (Bachelor's Degree)
  • Short Cycle Programmes (Associate's Degree)
• GENERAL INFORMATION FOR STUDENTS
  • Cost of Living
  • Accommodation
  • Meals
  • Medical Facilities
  • Facilities for Disabled Students
  • Insurance
  • Financial Supports
  • Student Affairs Office
  • Practical Information for International Students
  • Language Courses
  • Work Placement Possibilities
  • Sports, Social and Cultural Facilities
  • Student Associations and Clubs
  • About İzmir - Turkey
• INTERNATIONAL RELATIONS
  • International Relations Office
  • Registration Procedures
  • Agreements
  • Coordinators
  • Documents
  • List of Programmes in English
  • ECTS / DS Labels

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/LO PO.1 PO.2 PO.3 PO.4 PO.5 PO.6 PO.7 PO.8 PO.9 PO.10 LO.1 4 2 2 LO.2 3 4 5 5 3 LO.3 3 3 5 4 LO.4 3 3 4 2 LO.5 3 3 4