Niranjanamurthy, M. Principi di collaudo del software