

























Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Short notes and ppt slides that helps to understand the topic of cs608-Software Verfication and Validation
Typology: Schemes and Mind Maps
1 / 33
This page cannot be seen from the preview
Don't miss anything!


























(^) Regression Testing (^) Software evolve over time. (^) Reasons may include: (^) Requirements / design changes due to: (^) Addition of new functionality (^) Modification in existing functionality (^) Design changes (^) Bug fixing (^) Maintenance (^) We need to validate if the changes have not caused any regression in the rest of the system
(^) Regression testing at different levels: (^) Regression testing at the unit level (^) Re-integration (^) Regression testing at the function level (^) Regression testing at the system level (^) Definition (^) Let P be a procedure or program, let P’ be a modified version of P, and let T be a test suite for P.
(^) Step 1 is regression test selection problem (^) Step 3 addresses the coverage identification problem (^) Steps 2 and 4 address the test suite execution problem (^) Step 5 addresses the test suite maintenance problem: the problem of updating and storing test information.
(^) What artifacts are needed to perform software regression testing? (^) Software change information (change notes). (^) Updated software Requirements and Design specifications, and user manuals. (^) Software regression testing process and strategy. (^) Software regression testing methods and criteria.
(^) How to identify software change impacts in a systematic way? (^) REQ impacts (^) Design impacts (^) Implementation impacts (^) User impacts (^) Test impacts (^) How to select subset of test cases from existing test suite: (^) Re-testable (^) Reusable (^) Obsolete (^) Adding new test cases
(^) Therefore, Major regression testing problems: (^) How to use a systematic method or tool to identify changed software parts? (^) How to use a systematic method or tool to identify software change impacts? (^) How to use a systematic method or tool to identify affected software test cases?
(^) Effects of changes in requirements and activities that may induce change: (^) Add new functional features (^) Change current function features (^) Delete existing function features (^) System Design (^) System architecture changes