邏輯覆蓋

什麼是邏輯覆蓋測試？

邏輯對應於程式碼的內部結構，這種測試適用於安全關鍵型應用，例如航空業中使用的軟體。此測試驗證表示式總真值賦值子集。

邏輯覆蓋來源

邏輯覆蓋來自以下任何來源

• 程式中的決策

• 有限狀態機和狀態圖

• 需求