LTL式による動作ログからの不具合要因特定支援ツールの構築

十川, 雄司, 青山, 裕介, 黒岩, 丈瑠, 久代, 紀之

LTL式による動作ログからの不具合要因特定支援ツールの構築

情報処理学会

抄録

製品が市場で不具合を発生した場合，動作ログから不具合の要因を特定する．その際，動作ログが膨大であること，不具合が動作ログに現れない場合があることから，要因の特定作業には多大な時間がかかる．LTL 式を用いた状態判定機能と，動作ログ内の不具合要因を絞り込めるツールを開発した．ツールによって不具合要因特定の工数が削減できた．これは LTL 式による状態判定と本ツールによる不具合要因の特定手法が有用であることを示している．