サイバー物理システムのためのデータ駆動突然変異解析【JST・京大機械翻訳】

Vigano Enrico; Cornejo Oscar; Pastore Fabrizio; Briand Lionel

プレプリント

J-GLOBAL ID：202202220192404260 整理番号：22P0279320

サイバー物理システムのためのデータ駆動突然変異解析【JST・京大機械翻訳】

Data-driven Mutation Analysis for Cyber-Physical Systems

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (4件)： , , ,
資料名：
発行年： 2022年01月25日プレプリントサーバーでの情報更新日： 2022年10月05日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

サイバー-物理システム(CPS)は,一般的に,広範囲の統合,不均一成分から成る。その結果,それらの臨界故障の大部分は,そのような成分の相互運用性に関係する。残念なことに,ほとんどのCPS試験自動化技術は予備的で,産業は手動試験に大きく依存している。潜在的に不完全で,手動で生成されたテストスイートで,それらの品質を評価することは,最も重要である。突然変異解析は,いくつかの特定の状況におけるテストスイート品質を評価する有効な手段であるが,CPSのためのアプローチを欠いている。実際,既存の手法は,インタオペラビリティ問題を目標とせず,ブラックボックスまたはシミュレーション成分,CPSによる典型的な状況の存在下では実行できない。本論文では,データ駆動突然変異解析を導入し,ソフトウェアコンポーネントによって交換されたデータを突然変異することによってシミュレートしたインタオペラビリティ故障を検出するかどうかを検証することによって,テストスイート品質を評価するアプローチである。この目的のために,データバッファを通して交換されたデータを自動的に変えるデータ駆動突然変異解析技術(DaMAT)について述べた。本技法は,エンジニアが一連の突然変異オペレータの選択と構成によりデータ項目をいかに変異するかを指定する表形式における故障モデルによって駆動される。空間領域におけるCPSsによるDaMATを評価した。特に,マイクロサテライトとナノ衛星のソフトウェアシステムのためのテストセットは,軌道の最後の年に打ち上げられた。結果は,このアプローチが,テストスイートの欠点を効果的に検出して,等価で冗長な突然変異体によって影響されず,許容できるコストを必要とすることを示した。【JST・京大機械翻訳】

, , , , , , , , ,
, , , , , 【Automatic Indexing@JST】

電力系統一般 , 電話・データ通信・交換一般

, ,

前のページに戻る