An analysis of the verification and validation process. Methods, procedures, and techniques for integration and acceptance testing. Reliability measurement. Goals for testing. Testing in the small and testing in the large. Allocation of testing resources. When to stop testing. Test case design methods. Black box software testing techniques including equivalence partitioning, boundary-value analysis, cause-effect graphing, and error guessing. White box software testing techniques including statement coverage criterion, edge coverage criterion, condition coverage criterion, and path coverage criterion. Test of concurrent and real-time systems.