自動車に搭載されるECUではマルチコアのマイコンが採用されるなど，組込み業界においてもマルチコアの採用が進んでいる．並列プログラムにおいては，相互作用を持つ複数の処理を並列実行するため，適切に同期処理を挿入して，競合や実行順序違反を防ぐ必要がある．挿入した同期処理に不足がないかの検証は，処理の実行順序を入れ替えることで可能となるが，人によるテストケース生成では網羅性にリスクが伴う．そこで本研究では，同期処理の挿入不足の検出を網羅的に実行するテストケース生成アルゴリズムを考案した．このアルゴリズムを自動で実行可能なテストプログラムとして実装し，試行したので，これを報告する．