Fault Density

• This urn has five inputs that cause failure

• One fault in the program is responsible for this failure

• Thus, this fault is of density five

• Goal of DFT: Big Bugs!

• (Speculation: Formal methods decrease fault densities)

Previous slide

Next slide

Back to first slide

View graphic version