本論文は、Cyber-Physical Systems (CPSs)のコントローラをモデル化するためによく使われるシミュリンク-ステートフローモデルのバグを自動的に修復するための新しい検索ベースのアプローチを提案している。
まず、論文は、CPSのソフトウェアを修復する際の2つの主な課題を説明する。1つ目は、CPSのシミュレーション実行時間が長いことで、多数のテストケースを使うことができない。2つ目は、従来の修復目的関数では適切ではなく、新しい修復目的関数が必要である。
そこで提案されたアプローチ「FLOWREPAIR」は以下の特徴を持つ:
評価では、9つの実際のバグを含むデータセットを使用し、提案手法が8つのバグを修復できることを示した。また、ベースラインアルゴリズムと比較して、より多くのバグを修復できることも示された。
Vers une autre langue
à partir du contenu source
arxiv.org
Questions plus approfondies