CHESS model checker とは

CHESSは、スレッドスケジュールの体系的な探索によって、マルチスレッドソフトウェアのエラー/ハイセンスバグを見つけるためのソフトウェアモデルチェッカーです。現在のテストツールでは、データ競合、デッドロック、ライブロック、データ破損によるアクセス違反などのエラーを検出することは非常に困難です。 CHESSがエラーを見つけると、それはエラーにつながるプログラムの完全な反復可能な実行を提供し、したがってデバッグプロセスを大きく助ける。
CHESSは、ストレステストの代替として、同時ソフトウェアのテストに使用できます。