結果 : reduction procedure algorithm in software testing methodologies