Summary for Week 10
-
Lectures 21:This was a guest lecture by Patrice Godefroid (Lucent, Bell Labs) on 3-valued model checking.
His slides can be found here.
Date:Mon 11/5/01.
-
Lectures 22 and 23:We briefly discussed the main idea behind Patrice's talk. We started
software testing. We discussed briefly the purposes of various forms of testing, e.g., module
testing, function testing, and system testing. We also discussed black-box and white-box testing.
We started with the white-box testing and disucssed various testing criteria. We started with
white-box testing based on the following paper:
- Selecting Software Test Data Using Data Flow Information, S. Rapps and E.J. Weyuker,
IEEE Transactions on Software Engineering, Vol SE-11, No 4, April 1985.
Dates:Wed 11/7/01 and Fri 11/9/01.