checker automatic automatic error operational チェッカプログラム error-detecting 機能適否点検手順 自動システムチェックアウトプログラム トレースルーチン