結果 : analysis techniques in software engineering