在以要求為基礎的模擬測試當中，有一部分的設計可能會因為細微的設計錯誤、不完整的測試、或者遺漏的要求而沒有運行。本文以范例闡述三重選擇演算法的設計測試，因為要求的遺漏而被認定為不完整的重要環節。

對Simulink設計進行有系統的測試，可以幫助確保在產生程式碼之前能夠對設計的預期與非預期行為更有把握。在以要求為基礎的模擬測試當中，有一部分的設計，可能會因為細微的設計錯誤、不完整的測試、或者遺漏的要求而沒有運行。模型測試的覆蓋度可以藉由測量有多少的Simulink設計確實在測試過程中執行，來協助確認這些測試的缺口。

要求遺漏是在以要求為基礎測試過程中模型測試覆蓋不完整的一種常見的原因。這種類型的模型測試覆蓋遺漏，通常是因為有些設計元件無法被追溯到更高層級要求。收集模型測試覆蓋可以協助處理這樣的情況。本文將闡述范例，其中的三重選擇（triplex selection）演算法的設計測試，因為要求的遺漏而被認定為不完整。
...
...