Table IV.

The VV&T techniques for the credibility assessment stages

FP
VV&T		FA
of Sim		S&OD
VV&T		Model
Qual.		CM
VV&T		PM
VV&T		ED
VV&T		Data
VV&T		EM
VV&T		Pres.
VV&T
Assertion checking     ✓✓✓✓ 
Audit✓✓✓✓✓✓✓✓✓✓
Black-box testing     ✓✓ ✓ 
Bottom-up testing     ✓  ✓ 
Boundary analysis     ✓  ✓ 
Cause–effect graphing✓   ✓✓  ✓ 
Consistency checking✓ ✓✓✓✓✓✓✓✓
Data flow analysis    ✓✓✓✓✓ 
Debugging     ✓✓ ✓ 
Desk checking✓ ✓✓✓✓✓✓✓✓
Execution monitoring     ✓✓ ✓ 
Execution profiling     ✓✓ ✓ 
Execution tracing     ✓✓ ✓ 
Face validation✓✓✓✓✓✓✓✓✓✓
Field testing        ✓ 
Graph-based analysis    ✓✓✓ ✓ 
Graphical comparisons     ✓✓ ✓ 
Induction     ✓  ✓ 
Inductive assertion     ✓  ✓ 
Inference     ✓  ✓ 
Inspections✓✓✓✓✓✓✓✓✓✓
Lambda calculus     ✓  ✓ 
Logical deduction     ✓  ✓ 
Partition analysis     ✓  ✓ 
Path analysis     ✓✓ ✓ 
Predicate calculus     ✓  ✓ 
Predicate transformation     ✓  ✓ 
Predictive validation        ✓ 
Proof of correctness     ✓  ✓ 
Regression testing     ✓  ✓ 
Reviews✓✓✓✓✓✓✓✓✓✓
Semantic analysis     ✓✓ ✓ 
Sensitivity analysis     ✓✓ ✓ 
Statistical techniques       ✓✓ 
Stress testing     ✓  ✓ 
Structural analysis✓ ✓ ✓✓✓ ✓✓
Submodel testing     ✓  ✓ 
Symbolic debugging     ✓✓ ✓ 
Symbolic execution     ✓✓ ✓ 
Syntax analysis     ✓✓ ✓ 
Top-down testing     ✓  ✓ 
Turing test        ✓ 
Visualization     ✓  ✓ 
Walkthroughs✓✓✓✓✓✓✓✓✓✓
White-box testing     ✓  ✓ 

Notes:

FP VV &T = Formulated Problem VV&T; FA of Sim = Feasibility Assessment of Simulation; S&OD VV&T = System and Objectives Definition; VV&T Model Qual = Model Qualification; CM VV&T = Communicative Model VV&T; PM VV&T = Programmed Model VV&T; ED VV&T = Experiment Design VV&T; EM VV&T = Experimental Model VV&T; Pres. VV&T = Presentation VV&T

[ViewLarge]
This Feature Is Available To Subscribers Only

or Create an Account

Close subscription notice
Close access options