A Method for Generating Transition-Tours Using Random Inputs

摘要

順序回路の故障検出に用いる検査入力系列である遷移路ツアー（順序機械のすべての遷移路を少なくとも一回は通るように機械を遷移させる入力系列）の生成方法と，この方法によって生成される遷移路ツアーの平均長を示す．まず，ランダム入力を用いて遷移路ツアーを生成する場合のツアーの平均長を示す．しかし，このようにして生成されたツアーの中には，既に検査した遷移路を繰り返し検査することになるために故障の検出に寄与しない冗長な入力の含まれる可能性がある．そこで，つぎにこのような入力を取り除いてツアーを短縮化する方法およびこの方法を用いて短縮化したツアーの平均長を示す．最後にこれらの結果を用いて，順序回路の故障検出に対するランダム入力の評価を行なう．