文献

J-GLOBAL ID：201702275542912972   整理番号：17A1631732

ハイブリッドオートマトンを用いたサイバー-物理システムのための自動モードカバレージ解析【Powered by NICT】

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata ^* * This work has been performed with support from the Swedish Governmental Agency for Innovation Systems (VINNOVA) under project TESTRON 2015-04893

著者 (7件)： Eddeland Johan (Volvo Car Corporation, Gothenburg, Sweden) ,  Eddeland Johan (Chalmers University of Technology, Gothenburg, Sweden) ,  Cepeda Javier Gil (Volvo Car Corporation, Gothenburg, Sweden) ,  Fransen Rick (Eindhoven University of Technology, Eindhoven, Netherlands) ,  Miremadi Sajed (Volvo Car Corporation, Gothenburg, Sweden) ,  Fabian Martin (Chalmers University of Technology, Gothenburg, Sweden) ,  Åkesson Knut (Chalmers University of Technology, Gothenburg, Sweden)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 50  号： 1  ページ： 9260-9265  発行年： 2017年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： サイバーフィジカルシステム(CPS)の試験は複雑な作業,主に連続動力学の存在に起因していた。業界では,CPSは典型的には安全性とそれらの複雑さは急速に増加している。試験がどのように働くかをよく知ることが重要である。テスト品質を確保する一つの一般的なアプローチは,カバレッジ基準,例えばよく知られたMC/DCを用いることである。しかし,業界で使用されているカバレッジ基準の大部分はシステムにおけるエラーを発見するためのコード構造に依存し,完全な動的挙動を把握するために失敗する可能性がある。二被覆率定義はシステムを構成するすべての連続動力学を検討したことを保証するために使用できることを示した。MC/DC基準はすべてのシステム挙動を試験するために十分な厳密なわけではないことを示した。最後に,提案したカバレッジ基準はVolvo自動車会社で使用される植物モデルのためのテスト品質を評価する自動的に適用した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 被覆率 ,  *品質 ,  モデル ,  高速度 ,  自動車 ,  安全性
準シソーラス用語： 動的挙動 ,  カバレッジ【プログラム検証】 ,  サイバーフィジカルシステム ,  *ハイブリッドオートマトン , 【Automatic Indexing@JST】

著者キーワード (5件)： テストカバレージ ,  サイバーフィジカルシステム ,  ハイブリッドオートマトン ,  植物モデル ,  連続動力学

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： ハイブリッドオートマトン ,  物理 ,  カバレージ ,  解析