軟體驗證自動化模式之建立:程式執行分流之自動辨識與相關參數之設定