35 / 36 · 概念
驗證計畫與失敗追蹤
定義一般、邊界及重設案例的預期結果。
單元可免費閱讀，註冊課程即可儲存學習進度。
學習目標
- 定義一般、邊界及重設案例的預期結果。
一般案例並不足夠
MUX 用不同資料測試所有選擇；計數器測重設與回繞；移位暫存器追蹤單一 1 的移動。寫下每個測試能揭露的錯誤。不要直接複製實作程式來算預期值，否則可能共享錯誤；小電路可用獨立真值表或狀態表。
從第一個不一致開始
找到最早不一致的邊緣，依序比較先前狀態、取樣輸入、重設優先順序及結果寬度。若輸入恰在邊緣改變，也要確認模擬器的取樣規則。記錄已測與未測範圍；有限測試向量不是所有行為的證明。
自己試試看
什麼輸入容易找出移位方向錯誤？
查看解說
重設後輸入 1,0,0,0，預期 001→010→100→000，比全部輸入 1 更清楚。
✓ 已學習