Please enable JavaScript.
Coggle requires JavaScript to display documents.
Chapter 12: Desing Verification - Coggle Diagram
Chapter 12:
Desing Verification
Develop high quality programs
Ensure designs
are correct
Consider
Verification Effectiveness
Economist of verification
methods
Defect Profile
Verification methods
Symbolic Execution
Proof by induction
Verify Object State Machine
Design Standards
Provide criteria against
wich to compare the design
Product Conventions
Product Design Standards
Programm Tracing
Trace Tables
More efficient than execution tables
Execution tables
Provides an orderly way to
check the logic flow in a Login Speci
fication Template
Verifying Programm
Correctness
Testing Loops
While Loop Verification
Repeat-Until loop
verification
For Loop Verification