Verification Summary
Verification Summary
Learning Outcomes
Program Specification
Defining Specification
Issues:
Specification Requirements
Clearly define:
o IN parameters (input variables and types).
1. Black-box testing:
2. White-box testing:
3. Unit Testing:
4. Integration Testing:
1. Equivalence Partitioning:
Coverage Metrics
Fault-based Testing
Regression Testing
Validation Techniques
o Types:
2. Prototyping:
o Jira
o Bugzilla
Software Reliability