SOFTWARE VERIFICATION

Course Information
TitleΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
CodeIWW-01-06
FacultySciences
SchoolInformatics
Cycle / Level2nd / Postgraduate
Teaching PeriodWinter
CoordinatorPanagiotis Katsaros
CommonNo
StatusActive
Course ID600000870

Programme of Study: Internet and World Wide Web

Registered students: 0
OrientationAttendance TypeSemesterYearECTS
KORMOSElective Courses117.5

Class Information
Academic Year2017 – 2018
Class PeriodWinter
Faculty Instructors
Weekly Hours3
Class ID
600110534
Course Type 2016-2020
  • Scientific Area
Course Type 2011-2015
Specific Foundation / Core
Mode of Delivery
  • Face to face
Digital Course Content
Erasmus
The course is also offered to exchange programme students.
Language of Instruction
  • Greek (Instruction, Examination)
Prerequisites
General Prerequisites
The course is self-contained.
Learning Outcomes
The students who will attend the course are expected to • learn how to design and automate software tests • learn how to design and implement algorithms for static program analysis • familiarize themselves with specifying correctness properties and model checking with appropriate tools • apply verification techniques in safety problems from software systems with concurrency and/or communication • apply verification techniques in software with security vulnerabilities
General Competences
  • Apply knowledge in practice
  • Adapt to new situations
  • Make decisions
  • Work autonomously
  • Be critical and self-critical
  • Advance free, creative and causative thinking
Course Content (Syllabus)
Software verification and validation, Software testing: white-box testing, black-box testing, model-based testing, object-oriented testing, Static program analysis: data-flow analysis, inter-procedural analysis, Axiomatic verification, Model Checking, Behavioral verification, Abstraction
Keywords
Software testing, Static program analysis, Model checking
Educational Material Types
  • Notes
  • Slide presentations
Use of Information and Communication Technologies
Use of ICT
  • Use of ICT in Course Teaching
  • Use of ICT in Communication with Students
Description
The course material is offered in Internet through the (moodle) software e-learning platform, which is also used for communicating with the students. The lectures take place by audiovisual teaching aids (electronic slides).
Course Organization
ActivitiesWorkloadECTSIndividualTeamworkErasmus
Lectures391.3
Reading Assigment903
Project933.1
Exams30.1
Total2257.5
Student Assessment
Description
The students can choose between the evaluation based on a written survey-assignment for a verification technique (30 %) and the final written exam (70 %) or else they can undertake the solution of an open verification problem and present their results in an oral exam. Their study is successful if their performance is evaluated with a promotable grade (6). The evaluation criteria, the written assignment and the results for the students' performance will be announced in the (moodle) software e-learning platform.
Student Assessment methods
  • Written Exam with Short Answer Questions (Formative, Summative)
  • Written Assignment (Formative, Summative)
  • Written Exam with Problem Solving (Formative, Summative)
Bibliography
Additional bibliography for study
1. D. Peled, "Software Reliability Methods", Springer-Verlag, 2001 2. G. Holzmann, "Design and Validation of Computer Protocols", Prentice Hall, 1990 3. F. Nielson, H. R. Nielson, C. M. Hankin, "Principles of Program Analysis", Springer, 1999
Last Update
13-06-2016