逆順故障シミュレーション

テ ス ト 生 成 に より 生 成 さ れ た テ ス ト集 合 に は，冗 長 な テ ス ト パ タ ー ン が 含 ま れ て い る 可能 性 が 存 在 す る．逆 順 故 障 シ ミ ュ レ ー ショ ン は ，テ スト 集 合 内 の テ ス ト パ タ ー ン に 対 し て 逆 順 に 故 障 シ ミ ュ レ ー シ ョ ン を 実 行 す る こ と で ，冗 長 な テ ス ト パ タ ー ン を 削 除 す る テ ス ト 圧 縮 手法 で あ る ．テス ト 生 成 は ， そ れ ま で に 生 成 し た テ ス ト パ タ ー ン で は 検 出 不 可 能 な 故 障(未 検 出 故 障)に 対 し て テ ス ト パ タ ー ン を 生 成 す る ． そ の た め ， 各 テ ス ト パ タ ー ン は 生 成 さ れ た時 点 で は 冗 長 で は ない ．し か し な が ら，テ ス ト 生 成 の 対 象 と し た 故 障 が，そ れ 以 降 に 生 成 さ れた テ ス ト パ タ ー ン で偶 発 的 に 検 出 さ れ た 場 合 ， そ の テス ト パ タ ー ン は 冗 長で あ る 可 能 性 が 存 在す る ．

表 4.3.2.1 に ，t1，t2，t3，t4，t5の テ ス ト パ タ ー ン に 対す る 故 障 辞 書 の 例 を 示 す．表 4.3.2.1 に お い て，t1，t2，t3，t4，t5は テ ス ト パ タ ー ン ，f1， f2，f3，f4，f5，f6は 故 障 を 示 す ． 表 4.3.2.1 に お い て ， テ ス ト 生 成 は t1， t2，t3，t4，t5の 順 に テ ス ト パ タ ー ンを 生 成 し た と す る ．ま た ，テ ス ト 生 成 は t1は f1，t2は f3，t3は f4，t4は f5，t5は f6を 対 象 に テ ス ト パ タ ー ン を 生 成 し た と す る．t1の f2，t2の f2，t3の f1，t4の f3，t5の f5は テ ス ト 生 成 の 対 象 と さ れ て 故障 で は な く，故 障 シ ミ ュ レ ー シ ョ ン に より 偶 発 的 に 検 出 さ れ た 故 障 で あ る． ま た ，f4と f6は ， そ れ ぞ れ t3と t5で の み 検 出 可 能 故 障 の た め 必 須 故 障で あ る ．

41

表 4.3.2.1： 故 障 辞 書 例

テストパターンID 検出故障リスト

t

f

, f

t

f

, f

t

f

, f

t

f

, f

t

f

, f

表 4.3.2.2 に ，逆 順 故 障 シ ミ ュ レ ー シ ョ ン の 例 を 示 す．表 4.3.2.2(a)は 通 常 の 故 障 シ ミ ュレ ー シ ョ ン の 例 ，表 4.3.2.2(b)は ． 逆 順 故 障 シ ミ ュ レ ー シ ョ ン の 例 を 示 して い る ．表 4.3.2.2 に お い て ，テ スト パ タ ー ン ID は 故 障 シ ミ ュ レ ー シ ョ ンの 対 象 と な る テ ス トパ タ ー ン，故 障 シ ミ ュ レ ー シ ョ ン 対 象 故 障 リ ス ト は 故障 シ ミ ュ レ ー シ ョ ン の 対 象 と な る 故 障 を 示 す．故 障 は ど れ か 1 個 の テ ス ト パ タ ー ン で 検 出 さ れ れ ば 十 分 で あ る ．そ の た め ，故 障 シ ミ ュ レ ー シ ョ ンは ，故 障 シ ミ ュ レ ーシ ョ ン を 実 行 す る たび に 故 障 シ ミ ュ レ ー シ ョ ン 対 象 故障 リ ス ト を 更 新 す る．検 出 故 障 リ ス ト は，故 障 シ ミ ュ レ ー シ ョ ン の 結 果，シ ミ ュ レ ー シ ョ ン を実 行 し た テ ス ト パ ター ン で 検 出 で き た 故 障 を 示 す ．

表 4.3.2.2(a)は ，t1，t2，t3，t4，t5の 順 に 故 障 シ ミ ュレ ー シ ョ ン を 実 行 す る ．t1に 対 す る 故 障 シ ミ ュ レ ー シ ョ ン で は ，f1，f2，f3，f4，f5，f6が 故 障 シ ミ ュ レ ー ショ ン の 対 象 と な り ，f1，f2が 検 出 さ れ た．t2に 対 す る 故 障 シ ミ ュ レ ー シ ョン で は ， f3，f4，f5，f6が 故 障 シ ミ ュ レー シ ョ ン の 対 象 と な り ， f3が 検 出 さ れ た ．t3に 対 す る 故 障 シ ミ ュ レ ー シ ョ ン で は ， f4，f5， f6が 故 障シ ミ ュ レ ー シ ョ ン の 対 象 とな り ， f4が 検出 さ れ た ．t5に 対 す る 故 障 シ ミ ュ レ ー ショ ン で は ， f5，f6が 故 障 シ ミ ュ レ ー シ ョ ン の 対 象 と な り ， f5が 検 出さ れ た ．t6に 対 す る 故 障 シミ ュ レ ー シ ョ ン で は，f6が 故 障 シ ミ ュ レ ー シ ョ ン の 対象 と な り ， f6が 検 出 さ れ た ．t1，t2，t3，t4，t5の 順 に 故 障 シ ミ ュ レ ー ショ ン の を 実 行 す る と， 全 て の 故 障 を 検 出す る の に t1，t2， t3，t4，t5の 5 個 の テ ス ト パ タ ー ンが 必 要 で あ る ．

42

表 4.3.2.2(b)は ， 表 4.3.2.2(a)の 逆順 で あ る t5，t4，t3，t2，t1の 順 に 故 障 シ ミ ュ レ ー シ ョ ン を 実 行 す る ．t5に 対 す る 故 障 シ ミ ュ レ ー シ ョ ン で は ， f1，f2，f3，f4，f5，f6が 故 障 シ ミ ュレ ー シ ョ ン の 対 象 とな り ，f6，f5が 検 出 さ れ た ．t4に 対 す る 故 障 シ ミ ュ レ ーシ ョ ン で は ， f1，f2，f3，f4が 故障 シ ミ ュ レ ー シ ョ ンの 対 象 と な り ， f3が 検 出 さ れ た ．t3に 対 す る 故 障 シ ミ ュ レ ー シ ョ ン で は， f1，f2，f4が 故 障 シ ミ ュ レ ー シ ョ ン の 対 象 と な り ， f4， f1が 検 出さ れ た ．t2に 対 す る 故 障 シミ ュ レ ー シ ョ ン で は， f2が 故 障 シ ミ ュ レ ー シ ョ ン の 対象 と な り ， f2が 検 出 さ れ た ．t5か ら t2ま で の 故 障 シ ミ ュ レ ー シ ョ ン で 全て の 故 障 が 検 出 さ れた た め ，t1は 冗 長 な テ ス ト パ タ ー ン で あ る こ と が わ かる ．逆 順 故 障 シ ミ ュレ ー シ ョ ン の 結 果 から ，t1を 削 除 し た t2，t3，t4，t5の 4 個 の テ ス ト パ ター ン で 全 て の 故 障 を検 出 可 能 と 判 定 で き る ．

表 4.3.2.2： 逆 順 故 障 シ ミ ュ レ ー シ ョ ン の 例 (a) 通 常 故 障 シ ミ ュ レ ー シ ョ ン

テストパターンID 故障シミュレーション対象故障リスト 検出故障リスト

t

f

, f

, f

, f

, f

, f

f

, f

t

f

, f

, f

, f

f

t

f

, f

, f

f

t

f

, f

f

t

f

f

(b) 逆 順 故 障 シ ミ ュ レ ー シ ョ ン

テストパターンID 故障シミュレーション対象故障リスト 検出故障リスト

t

f

, f

, f

, f

, f

, f

f

, f

t

f

, f

, f

, f

f

t

f

, f

, f

f

, f

t

f

f

t

なし なし

43