結果 : explain node reduction algorithm in software testing methodologies