FIT2015第14回情報科学技術フォーラム 開催日:2015年9月15日(火)~17日(木) 会場:愛媛大学城北キャンパス
抄録
O-013
設備機器の網羅的な通信試験におけるモデル検査の活用
中野裕梨・黒岩丈瑠(三菱)・青山裕介・久代紀之(九工大)
近年、競争的に事業を推進するため、組込みシステムの開発においてもグローバルかつスピーディーな製品展開が要求されることが多い。このような要求に対する開発効率化策として、効率的に組込みソフトウェアのテストを実現する、自動試験環境が構築されつつある。しかし、通信は論理上無限通りの組み合わせがあり、網羅的な通信試験の実現は著しく困難であるといった課題がある。本論文では、空調・照明を初めとする設備機器システムの通信試験におけるこれらの課題、及び モデル検査を活用し網羅的に試験ケースの組み合わせを抽出する技術について述べる。