This course will address topics in the verification and validation (V&V) of software. Verification addresses issues related to whether the system is correct (with respect to some specification), validation addresses the question whether the right system was built. An in-depth study of verification and validation strategies and techniques as they apply to the development of quality software. Topics include test planning and management, testing tools, technical reviews, formal methods, and the economics of software testing. The relationship of testing to other quality assurance activities as well as the integration of verification and validation into the overall software development process are also discussed.
IS -144 CRs
Paul Ammann, Jeff Offutt, Introduction to Software Testing, Cambridge University Press.
content serial | Description |
---|
1 | Introduction, economics and role of software verification and validation |
2 | Verification methods (reviews, walkthroughs, inspections, and desk- checking) |
3 | Black box testing |
4 | Black box testing |
5 | White box testing |
6 | White box testing |
7 | 7th Week Exam |
8 | Test Automation |
9 | Agile Testing |
10 | Mutation Testing. |
11 | Regression Testing for Evolving Software |
12 | 12th Week Examination |
13 | Testing Object-oriented systems |
14 | Managing the Test Process, Writing Test Plans |
15 | Testing real-time systems, distributed systems (Challenges and solutions.) |
16 | Final Examination |
Start your application