所属索引

故障選択と圧縮バッファを利用した動的テスト圧縮法