Verification and Reliability of Dependable Systems
Course Goal: Students will learn methods and techniques of software verification and reliability. They will be able: to select and use the verification techniques appropriate for a specific purpose and evaluate the technique for its accuracy; fuzzy testing; to automatize the testing process in pipelines for continuous testing in DevOps environments; to model and predict software reliability; to make predictions by means of statistical models like stochastic processes or Markov Chains. Students will be able to discuss Software Reliability Growth models and measures of accuracy and prediction of such models.
****ALL LECTURES ARE ONLINE! ***
Timetable
https gitlab repo of the Course
Course Presentation Form CPF
Office hours: Tuesdays 14:00 - 16:00 by appointment
- Introduction to the course and the exam procedure slides
- Testing
- Verification and Reliability of systems
- Dependable Systems + Basic Principles
- Test Case Design
- Functional testing
- SBSE Testing
- White-box Testing
- Modern Unit Testing
- Integration and Regression Testing
- DevOps and Distributed Automated Testing (Pipelines)
- Reliability
- Introduction to Reliability and basic concepts
- Basic concepts of reliability
- Failure Modelling
Major References:
Main reference for testing: Pezzè & Young, Software Testing and Analysis: Process, Principles and Techniques,Wiley, 2007. University Shelf ST 233 P522, Chap.1-4, 5-6 8-12 17, access from unibz library 15-Textbook Collection ST 233
The slides of the book are available at Young's web page
Main reference to review statistic background Baron, M. Probability and Statistics for computer Scientists Chapmall and Hall, ISBN: 1584886412 University shelf: 15 ST 340 B265(.07). Chapter 1-3 and chapter 6, access from safari book on line
Main reference for Dynamic Systems: Rigdon E.S. and Basu A.P. Statistical methods for the reliability of repairable systems Wiley series in probability and statistics. Chapter 1-3
Main reference for reliability: Lyu, M. (ed.) Handbook of Software Reliability Engineering, IEEE Computer Society Press, 1996 Chapter on SRGM