結果 : node reduction algorithm in software testing methodologies