• 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

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

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