本論文は、Cyber-Physical Systems (CPSs)のコントローラをモデル化するためによく使われるシミュリンク-ステートフローモデルのバグを自動的に修復するための新しい検索ベースのアプローチを提案している。
まず、論文は、CPSのソフトウェアを修復する際の2つの主な課題を説明する。1つ目は、CPSのシミュレーション実行時間が長いことで、多数のテストケースを使うことができない。2つ目は、従来の修復目的関数では適切ではなく、新しい修復目的関数が必要である。
そこで提案されたアプローチ「FLOWREPAIR」は以下の特徴を持つ:
評価では、9つの実際のバグを含むデータセットを使用し、提案手法が8つのバグを修復できることを示した。また、ベースラインアルゴリズムと比較して、より多くのバグを修復できることも示された。
Naar een andere taal
vanuit de broninhoud
arxiv.org
Belangrijkste Inzichten Gedestilleerd Uit
by Aitor Arriet... om arxiv.org 04-09-2024
https://arxiv.org/pdf/2404.04688.pdfDiepere vragen