RO-002
CPSのためのモデル検査・実行テスト統合試験環境の構築

◎青山裕介（九工大）・黒岩丈瑠（九工大/三菱電機）・久代紀之（九工大）

Cyber Physical Systemと呼ばれる、複数の並列動作する機器で構成される、大規模な制御システムの開発が行われている。並列動作する機器には、メッセージの交換順序など実行時に初めて決まる要素が存在するため、膨大な試験を行っても必ずしも十分な評価が行えないという課題があった。
本研究では、実行時に初めて決まる要素を網羅的な組み合わせで試験する、モデル検査の技術を実行テストに導入し、この課題の解決を図った。さらに、試験対象以外の機器・機能を原因とする不具合解析が困難なモデル検査の試験結果解析の課題を、実行テストにより得られる試験全体の実機の動作ログと合わせて解析可能とすることで解決を試みた。