排他制御検査装置、排他制御検査方法、排他制御検査プログラム

摘要

排他制御検査装置は、検査対象となるコンピュータプログラムに含まれるステートメントの実行順序及び実行経路を特定し（Ｓ０２）、ステートメントの実行順序及び実行経路に基づいてロック区間を特定し（Ｓ０３）、ロック区間のタイムアウト時間を抽出する（Ｓ０４）。そして、実行経路の各々についてロック区間の実行に要するクロック数を算出し（Ｓ０５、Ｓ０６）、ロック区間の各々についてクロック数の最大値を算出し（Ｓ０７）、出力する（Ｓ１１）。