Fault Density

• This urn also represents a program that has five inputs that cause failure

• 5 faults of density one

• Speculation: Formal methods decrease fault densities in delivered products

Previous slide

Next slide

Back to first slide

View graphic version