The objective of the course is to present the different verification techniques that can be used throughout the full software and systems development lifecycle. Nowadays such techniques are used not only in critical systems (where their usage are usually mandated by standards), but quality is a requirement for every system. After completing the course, students will have a general understanding of the whole verification process, and know which techniques are recommended for the different phases. They can identify the various static verification technique, and can review specifications and designs, and apply static analysis tools on source code. They can list the different levels and methods of software testing, and can use specification and structure based test design techniques. They know the techniques for verifying extra-functional properties (e.g. modeling and analyzing dependability). They can describe the techniques for runtime verification.

Lectures Overview1. Specialties of critical systems, attributes of dependability.2. Verification techniques in the development lifecycle Static verification techniques3. Verifying requirements (properties to verify, completeness and soundness, requirement management tools)4. Verifying designs (reviewing detailed plans, model-based verification)5. Verifying source code (coding standards, analyzing control flow and dataflow, analysis tools) Testing6. Testing levels and methods (goals of testing, testing in the different phases of the development process)7. Specification and structure based test design (black box and white box techniques, coverage criteria)8. Test automation (build processes, continuous integration, regression testing)9. Model and code based test generation (algorithms for test generation, using model checkers and constraint solvers, dynamic symbolic execution) Dependability analysis10. Verifying extra-functional requirements (categorization of extra-functional requirements, stress and robustness testing, fault injection)11. Qualitative and quantitative analysis (fault tree, cause effect analysis, FMEA)12. Dependability modeling (model based analysis)13. Runtime verification (requirement based monitoring, monitor synthesis) Seminars1. Incident management tools, announcement of home assignments2. Verifying requirements. Requirement management tool3. Verifying detailed designs. Using a source code analysis tool4. Tools for unit testing (unit testing and isolation frameworks)5. Test design techniques6. Automatic test generation tools7. Methods of dependability analysis