Da cosa dipende la scelta di un approccio alla verifica e convalida per un programma ?

Dipende da: - La complessità del programma: un programma complesso è più probabile che contenga anomalie. Pertanto, è necessario utilizzare un approccio che sia in grado di rilevare un'ampia gamma di anomalie. - La disponibilità di risorse: i metodi formali possono essere molto complessi da utilizzare. Pertanto, è necessario avere a disposizione risorse adeguate per implementarli. - Il tempo a disposizione: il testing può essere inefficiente nel rilevare anomalie. Pertanto, è necessario avere a disposizione un tempo adeguato per eseguire i test.