並列プログラムのテスト

摘要

近年．エンジニアの言う「タイミング依存のバグ」rnが現場では多くなっているのではないか．昨今の大rnきなシステム障害を見ると．「あるまれなタイミンrnグと．あるまれなタイミングが同時に起こると障害rnが発生する」という記事をよく見かける．また．そrnの障害に対する記者会見では「単独製品としては起rnこり得ない」．もしくは，「弊社製品単独の機能としrnては問題ないのだが′　他社製品と統合した場合に問rn題が発生する」という言葉をよく聞く．rn現代のソフトウエアやシステムは．単独機能としrnて大きな問題を起こすことは少なくなってきていrnる．それは各社の品質保証システムや部門が成熟しrnた成果であろう．しかし．そのソフトウエアやシスrnテムの堅牢性を維持するために多重化したり，あるrnいは．高速な処理性能を求めるために並列化するこrnとによる起こるバグについては．逆に増える傾向がrnある．rn本稿では．前述したような並列に処理されるプロrnグラムやシステムについて．テストの難しさの原因rnとテスト手法について述べる．また，並列プログラrnムの特性と誤りの分類について述べ．その中から特rnに．デッドロックの検出手法と競合状態のテスト手rn法につしヽて述べる．