CS447 Lecture 5: L4.pdf
Document Summary
Let"s digress for a bit and de ne some older terms which we won"t use much in this course, but which we should discuss brie y: black-box testing. Deriving tests from external descriptions of software: speci cations, re- quirements, designs; anything but the code: white-box testing. Deriving tests from the source code, e. g. branches, conditions, statements. Our model-based approach makes this distinction less important. Two ideologies for constructing tests: top-down testing. Constructing tests of behaviour starting with main(): bottom-up testing. Constructing tests of behaviour starting at the leaves of the call graph. Neither of these techniques work out completely in practice; top-down is impractical because it"s hard to control each leaf procedure individuall from main(), and bottom-up because it"s hard to test methods working together. Two di erent approaches to quality assurance: static: approaches that don"t involve running the code, e. g. type checking, code reviews, dynamic: usual testing-based approaches; we focus on these in this course.
