|
Exhaustive testing to detect software errors constantly demands more time within development cycles. Software errors with catastrophic consequences have often pushed forward innovations in software analysis and testing. For example after the explosion of Ariane 5 the code analysis tool PolySpace was introduced which could have detected the fault in advance.
|
|
|||||||||||||||||
|
|
||||||||||||||||||
|
||||||||||||||||||
