論文の概要: Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection

• arxiv url: http://arxiv.org/abs/2610.24475v1
• Date: Sat, 17 Oct 2026 05:44:20 GMT
• ステータス: 情報取得中
• システム内更新日: 2026-10-20 11:58:44.577437
• Title: Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
• Title（参考訳）: CPSs Over-the-air Updatesの安全性分析:テストケースの優先順位付けと選択
• Abstract要約: サイバー物理システム(Cyber-Physical Systems)のオーバー・ザ・エア(OTA)アップデートは、多数のソフトウェア構成を生成することができる。 これらの構成の爆発は、CPSのエラーを検出するための標準慣行であるSW試験を妨害する。 OTA更新の文脈でテストケースの優先順位付けと選択をサポートする新しいフレームワークであるCRISPを提案する。
• 参考スコア（独自算出の注目度）: 3.838378179110354
• License:
• Abstract: Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update software without physical access to the vehicle. However, OTA updates can generate a large number of possible software configurations. For example, end users may decide whether or not to install any given OTA updates. The combinatorial explosion of these configurations hampers SW testing, a standard practice for detecting errors in CPS. To overcome this limitation, we propose CRISP (CRIticality-based Selection and Prioritization), a novel framework supporting test case prioritization and selection in the context of OTA updates. Our framework leverages test case robustness, i.e., how far they are from violating the system requirements, to drive test case prioritization and selection. It enables engineers to rank test case executions from most to least critical, and to select only the critical test cases relevant to a given OTA update. We evaluated our approach using a representative SW product line consisting of seven different vehicles, 22 driving scenarios, and two software components. We considered 224 tests, requiring 59 hours of execution time. We assessed the effectiveness of CRISP across five OTA updates. We compared our solution with (a) a random test case prioritization and selection algorithm, and (b) AP-DISC, identified as the state-of-the-art solution in a recent empirical study on the subject. Our results show that CRISP outperforms our baselines in finding failure-revealing test cases, and that our selection procedure can be configured to find reasonable and practical tradeoffs among accuracy (percentage of failure-revealing test cases identified) and computational time (time required to find them).
• Abstract（参考訳）: サイバー物理システム(CPS)のオーバー・ザ・エア(OTA)アップデートにより、エンジニアはソフトウェアをワイヤレスで修正できる。 自動車分野では、メーカーは車に物理的にアクセスせずにソフトウェアを更新できる。 しかし、OTAのアップデートは多くのソフトウェア構成を生成することができる。 例えば、エンドユーザーは任意のOTAアップデートをインストールするかどうかを決定することができる。 これらの構成の組合せ爆発は、CPSのエラーを検出するための標準慣行であるSW試験をハマーする。 この制限を克服するために,テストケースの優先順位付けと選択をOTA更新のコンテキストでサポートする新しいフレームワークであるCRISP(Criticality-based Selection and Prioritization)を提案する。 私たちのフレームワークは、テストケースの堅牢性、すなわち、テストケースの優先順位付けと選択を促進するために、システム要件に違反することからどこまでの距離にあるかを活用します。 これにより、エンジニアはテストケースの実行をほとんどから最小限までランク付けし、与えられたOTAアップデートに関連する重要なテストケースのみを選択することができる。 7つの異なる車両、22の運転シナリオ、2つのソフトウェアコンポーネントからなる代表的なSW製品ラインを用いてアプローチを評価した。 59時間の実行時間を要する224のテストを検討した。 5回のOTA更新でCRISPの有効性を評価した。 私たちは解法を比較した (a)ランダムなテストケースの優先順位付けと選択アルゴリズム、及び (b)AP-DISCは,最近の実験研究で最先端の解として同定された。 その結果, CRISPは, 故障防止テストケースの発見において, ベースラインよりも優れており, 精度(故障防止テストケースの比率)と計算時間(検出に要する時間)の間に, 合理的かつ実用的なトレードオフを見出すように構成できることがわかった。

関連論文リスト

• TestJack: Should you trust the results in coding benchmarks? Agentic Coding Benchmarks Auditing via Evaluator Evolution [56.4111102268819]
  大規模言語モデル(LLM)エージェントは、ソフトウェア工学を急速に再構築している。 しかし、既存のベンチマークのほとんどすべてが、同じ数十年前の基準に依存している。 固定テストを超えてパッチを評価するスケーラブルなフレームワークであるTestJackを紹介します。
  論文  参考訳（メタデータ） (2026-10-07T07:58:04Z)
• Coverage-Guided Road Selection and Prioritization for Efficient Testing in Autonomous Driving Systems [5.135101504532172]
  本稿では,自律走行支援システムのための新しいテスト優先化フレームワークを提案する。 道路シナリオは、ADAS駆動動作の幾何学的および動的特徴に基づいてクラスタ化される。 道路は、幾何的な複雑さ、運転困難、歴史的失敗に基づいて、最終的に優先順位付けされる。
  論文  参考訳（メタデータ） (2026-01-13T14:55:27Z)
• SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models [12.705802209782506]
  SAGEは、グレーボックスゲーム環境用のセマンティックアウェア回帰テストフレームワークである。 テスト生成、メンテナンス、選択のコア課題に対処します。 バージョン更新に強い適応性を示しながら、実行コストを大幅に削減した優れたバグ検出を実現する。
  論文  参考訳（メタデータ） (2025-11-29T17:09:18Z)
• Centaur: Robust End-to-End Autonomous Driving with Test-Time Training [84.78837437133234]
  我々は,手作業によるルールやコスト関数に頼ることなく,テストタイムトレーニングを通じてプランナーの行動を更新するCentaurを提案する。 本稿では,クラスタ・エントロピー(Cluster Entropy,クラスタ・エントロピー)と呼ばれる新しい不確実性尺度を開発した。
  論文  参考訳（メタデータ） (2025-03-14T17:59:41Z)
• Feature-oriented Test Case Selection and Prioritization During the Evolution of Highly-Configurable Systems [1.5225153671736202]
  機能指向テストケースの選択と優先順位付けアプローチであるFeaTestSelPrioを紹介した。 提案手法では,多数のテストを選択し,ベースラインとして使用される変更ファイル指向アプローチよりも実行に要する時間が長い。 優先順位付けのステップでは、失敗するコミットの86%で、平均的なテスト予算を削減できます。
  論文  参考訳（メタデータ） (2024-06-21T16:39:10Z)
• Sequential Kernelized Independence Testing [77.237958592189]
  我々は、カーネル化依存度にインスパイアされたシーケンシャルなカーネル化独立試験を設計する。 シミュレーションデータと実データの両方にアプローチのパワーを実証する。
  論文  参考訳（メタデータ） (2022-12-14T18:08:42Z)
• SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning [62.997667081978825]
  従来の手法では、成長するソフトウェアシステムではスケールできないため、ビデオゲームのテストはますます難しいタスクになります。 自動化ハブとして機能しながら,テスト選択と欠陥防止を行うシステム SUPERNOVA を提案する。 この直接的な影響は、未公表のスポーツゲームタイトルの55%以上のテスト時間を減らすことが観察されている。
  論文  参考訳（メタデータ） (2022-03-10T00:47:46Z)
• Data Driven Testing of Cyber Physical Systems [12.93632948681342]
  そこで本研究では,CPSの故障防止テストケースを自動生成する手法を提案する。 スマートな建物を管理するアプリケーションから収集されたデータは、環境のモデルを学ぶために使われてきた。
  論文  参考訳（メタデータ） (2021-02-23T04:55:10Z)
• Search-based Test-Case Generation by Monitoring Responsibility Safety Rules [2.1270496914042996]
  本研究では,シミュレーションに基づく運転テストデータのスクリーニングと分類を行う手法を提案する。 本フレームワークは,S-TALIROおよびSim-ATAVツールとともに配布されている。
  論文  参考訳（メタデータ） (2020-04-25T10:10:11Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。