CSC302H1 Lecture Notes - Lecture 11: Unit Testing, Usability Testing, Single-Photon Emission Computed Tomography
Document Summary
Verification are we building the sytem right: questions: Does the delivered system do what we said it would. Are our requirements models consistent w/ one do? another: traditional approaches to code verification. Static verification reason about the program. Goal analysis do the: model-based verification use cases satisfy the requirements. Validation are we building the right system: questions: Did we account for the needs of all stakeholders: understanding validation. Requirements models are theories about the world. Designs are tests of those theories: validation techniques. Analyze the model run a model checking tool observe. Build a prototype get users to try it observe. V & v techniques: prototyping typically all thrown away. Presentation prototypes explain, demonstrate and inform features. Used for proof of concept explain design. Exploratory prototypes used to determine problems, elicit needs, clarify goals, compare design options. Breadboards / experimental prototypes explore technical feasibility, or test suitability of a technology.
