動態確認

通過執行程式做分析，測試程式的動態行為，以證實軟體是否存在問題。