3.7.3 テスト生成

定義のある用語

紹介だけの用語

 

テストパターン

1 ブール微分

ブール微分Boolean Difference

 

故障関数

 

故障差関数

2 等価故障解析

等価故障解析

 

等価故障Equivalent Fault

3 テストの品質

テストの品質

 

故障検出率Fault Coverage

 

故障検出効率Fault Efficiency

 

検出不能故障

 

冗長故障Redundant Fault

4 故障シミュレーション

故障シミュレーション

並列故障シミュレーション

 

 

演繹故障シミュレーション

 

 

同時故障シミュレーション

5 組合せ回路のテスト生成アルゴリズム

テスト生成

Dアルゴリズム

 

テスト生成アルゴリズム

PODEN

 

組合せ回路のテスト生成アルゴリズム

FAN

 

 

SOCRATES

6 順序回路のテスト生成アルゴリズム

順序回路のテスト生成アルゴリズム

7 遅延故障のテスト生成

遅延故障のテスト生成

ラウンチオフキャプチャLaunch-Off-Capture

 

2パターンテスト

ブロードサイドBroad-Side

 

遷移故障Transition Fault

ラウンチオフシフトLaunch-Off-Shift

 

パス遅延故障Path Delay Fault

スキュードロードSkewed-Load

8 高位テスト生成

高位テスト生成High-Level Test Generation