文献

J-GLOBAL ID：202102234401764934   整理番号：21A1334933

CPSTest:自動のCPSテストのフレームワーク

CPSTest: Framework for Automated Testing of Cyber-Physical Systems

著者 (2件)： ERICH Floris (AIST) ,  ANDO Noriaki (AIST)
資料名： 計測自動制御学会システムインテグレーション部門講演会(CD-ROM)  (SICE SI (CD-ROM))
巻： 21st  ページ： ROMBUNNO.3A1-07  発行年： 2020年12月15日 
JST資料番号： F1751A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： ・自動のCPSテストにおけるCPSTestフレームワークの開発について記述:CPSTestと呼ぶ,リアクティブシステムのテストを支援する新しいフレームワーク。
・ROSPIT(ロボットアプリケーションの物理統合テスト)からCPSTestへ拡張:2つの方法(並列テスト処理する能力の導入,テストケースが前提条件を待つ能力の導入)で拡張。
・CPSに相当する「Hello World」,サーモスタットについて事例研究:ライフサイクルを使用して,テストケースを指定(室温が目標前提条件以下なら加熱,以上なら冷却,同等ならオフ)。
・CPSTestはモデルベーステストや形式的手法等の代替手段に比して,参入障壁が低い反応テストの解法として開発。

シソーラス用語： センサネットワーク ,  *プログラム検査 ,  フレームワーク【ソフトウェア開発】 ,  応用プログラム ,  システム設計 ,  並列処理 ,  恒温装置 ,  事例研究 ,  形式的手法【計算機】 ,  プログラム検証 ,  温度センサ
準シソーラス用語： サイバーフィジカルシステム ,  CPS【システム】 ,  *CPSテスト ,  テストケース ,  リアクティブシステム ,  並列テスト処理 ,  ロボットアプリケーション ,  サーモスタット ,  モデルベーステスト

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (6件)：

• Erich, F., Saksena, A., Biggs, G. and Ando, N., Design and development of a physical integration testing framework for robotic manipulators. In 2019 IEEE/SICE International Symposium on System Integration (SII) (pp. 602-607). 2020.
• Erich, F., Biggs, G. and Ando, N., “Using Point Clouds for Automated Condition Verification in Physical Integration Testing”. In 2020 IEEE/SICE International Symposium on System Integration (SII) (pp. 1382-1387). 2020.
• Erich, F. and Ando, N., “Automated Testing of Manipulator Motion using a Physical Integration Testing”, SICE SI 2019.
• Erich, F. and Ando, N., “Determining the Configuration of a Manipulator using Minimal Amount of Passive Fiducial Markers”. In 2021 IEEE/SICE International Symposium on System Integration (SII) (pp. 1382-1387). 2021 (in press).
• Erich, F., SICE SI Thermostat GitHub repository. Online: https://github.com/FlorisE/sice_si_thermostat

タイトルに関連する用語 (2件)： テスト ,  フレームワーク