Please enable JavaScript.
Coggle requires JavaScript to display documents.
Desing verification - Coggle Diagram
Desing verification
Verifying the object machine state
checking the BSet state machine
checking for hidden traps or loops
Checking for all possible states
Checking for state orthogonality
Verifying transitions from each state are complete an orthogonal
Selecting verification methods
Defect Profile
verification efectiveness
verification economics
Desing standarts
Product conventions
product desing standards
Reuse standards
Program tracing
Execution tables
trace tables
checking logic cases with trace table
Verifying program correctness
testing loops
while loop verification
repeat until verificacion
Comments on verification methods
Desing Verification strategy
Verificacion complexity
Formal verificacion methods
Verification methods
Symbolic execution
proof by induction