SOFTWARE VERIFICATION
| Title | ΕΠΑΛΗΘΕΥΣΗ ΛΟΓΙΣΜΙΚΟΥ / SOFTWARE VERIFICATION |
| Code | IS23 |
| Faculty | Sciences |
| School | Informatics |
| Cycle / Level | 1st / Undergraduate, 2nd / Postgraduate |
| Teaching Period | Winter |
| Coordinator | Panagiotis Katsaros |
| Common | No |
| Status | Active |
| Course ID | 40002453 |
| Academic Year | 2016 – 2017 |
| Class Period | Winter |
| Faculty Instructors |
|
| Weekly Hours | 3 |
| Class ID | 600039939
|
Course Type 2016-2020
- Scientific Area
Course Type 2011-2015
Specific Foundation / Core
Mode of Delivery
- Face to face
Digital Course Content
- e-Study Guide https://qa.auth.gr/en/class/1/600039939
- At the Website of the School: https://elearning.auth.gr/course/view.php?id=8085
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
| Activities | Workload | ECTS | Individual | Teamwork | Erasmus |
|---|---|---|---|---|---|
| Lectures | 39 | 1.3 | ✓ | ✓ | |
| Reading Assigment | 90 | 3 | ✓ | ✓ | |
| Project | 93 | 3.1 | ✓ | ✓ | |
| Exams | 3 | 0.1 | ✓ | ✓ | |
| Total | 225 | 7.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
