Academic Catalog

IS527 SOFTWARE VERIFICATION

Course Code: 9010527
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
ECTS Credit: 8.0
Department: Information Systems
Language of Instruction: English
Level of Study: Graduate
Course Coordinator: Assoc.Prof.Dr. AYSU BETN CAN
Offered Semester: Fall Semesters.

Course Content

The course introduces software verification processes that determine whether deliverables of a given activity conform to the requirements of that activity. The discussion includes review, inspection, walkthrough processes as well as independent verification. Issues related to the installation of these processes within an organization and to the impact of software quality are also investigated. Several examples are studied and verification meetings are organized to apply the techniques introduced.