大会名称
2015年 情報科学技術フォーラム(FIT)
大会コ-ド
F
開催年
2015
発行日
2015/08/25
セッション番号
1P
セッション名
ネットワークと電力システム
講演日
2015/09/15
講演場所(会議室等)
共通教育講義棟3階 講35
講演番号
O-013
タイトル
設備機器の網羅的な通信試験におけるモデル検査の活用
著者名
中野裕梨黒岩丈瑠青山裕介久代紀之
キーワード
モデル検査, 通信試験, 自動試験, 組み合わせ, 設備機器
抄録
近年、競争的に事業を推進するため、組込みシステムの開発においてもグローバルかつスピーディーな製品展開が要求されることが多い。このような要求に対する開発効率化策として、効率的に組込みソフトウェアのテストを実現する、自動試験環境が構築されつつある。しかし、通信は論理上無限通りの組み合わせがあり、網羅的な通信試験の実現は著しく困難であるといった課題がある。本論文では、空調・照明を初めとする設備機器システムの通信試験におけるこれらの課題、及び モデル検査を活用し網羅的に試験ケースの組み合わせを抽出する技術について述べる。
本文pdf
PDF download (369.5KB)