SOFTWARE VERIFICATION

Course Information
TitleΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION
CodeIS23
FacultySciences
SchoolInformatics
Cycle / Level1st / Undergraduate, 2nd / Postgraduate
Teaching PeriodWinter
CoordinatorPanagiotis Katsaros
CommonNo
StatusActive
Course ID40002453

Programme of Study: PPS School of Informatics (2014-today)

Registered students: 4
OrientationAttendance TypeSemesterYearECTS
TECΗNOLOGIES GNŌSĪS DEDOMENŌN KAI LOGISMIKOUElective Courses belonging to the selected specialization117.5
TECΗNOLOGIES PLĪROFORIAS KAI EPIKOINŌNIŌN STĪN EKPAIDEUSĪElective Courses117.5
PSĪFIAKA MESA- YPOLOGISTIKĪ NOĪMOSYNĪElective Courses117.5
DIKTYAKA SYSTĪMATAElective Courses117.5

Programme of Study: PPS of School of Informatics (2013-today)

Registered students: 0
OrientationAttendance TypeSemesterYearECTS
Information SystemsCompulsory Course117.5
Information And Communication Technologies In EducationElective Courses117.5
Digital MediaElective Courses117.5
Communication Systems and TechnologiesElective Courses117.5

Class Information
Academic Year2015 – 2016
Class PeriodWinter
Faculty Instructors
Weekly Hours3
Class ID
600011282
Type of the Course
  • Scientific Area
Course Category
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