論文の概要: Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice

• arxiv url: http://arxiv.org/abs/2608.24250v1
• Date: Tue, 25 Aug 2026 08:48:37 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-26 14:09:34.889292
• Title: Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice
• Title（参考訳）: シミュリンク型サイバー物理システムモデルの突然変異試験--実践上の課題と解決策
• Abstract要約: サイバー物理システムの文脈では、左のシフトは、設計中のシステムの有効性をシミュレート、プロトタイプ、分析するために使用されるデザインモデルをテストする必要があることを意味している。 本稿では,建物用換気システムを開発するDUCOの文脈において,変異検査を取り入れた際の課題と教訓を分析した。
• 参考スコア（独自算出の注目度）: 3.278806351936335
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Several experience reports illustrate that mutation testing is capable of supporting a shift-left testing strategy, especially in industries where late bug discovery incurs very high costs and risks. In the context of cyber-physical systems, a shift left implies that engineers need to test the design models used to simulate, prototype, and analyse the feasibility of the system under design. In this paper, we analyse the challenges we encountered and the lessons we learned when incorporating mutation testing in the context of DUCO, a company producing ventilation systems for buildings. The engineers within DUCO have years of experience with model-based engineering centered around Simulink and StateFlow, including unit tests for their models. During a pilot project with our tool prototype MUT4SLX we learned that equivalent mutants, requirement traceability, and mutation testing for Stateflow represent particular challenges not yet reported in the academic literature.
• Abstract（参考訳）: いくつかの経験報告では、突然変異テストは、特に後期バグ発見が非常に高いコストとリスクをもたらす業界において、左シフトテスト戦略をサポートすることができることを示している。 サイバー物理システムの文脈では、左のシフトは、設計中のシステムの有効性をシミュレート、プロトタイプ、分析するために使用されるデザインモデルをテストする必要があることを意味している。 本稿では,建物用換気システムを開発するDUCOの文脈において,変異検査を取り入れた際の課題と教訓を分析した。 DUCOのエンジニアは、モデルのためのユニットテストを含む、SimulinkとStateFlowを中心としたモデルベースのエンジニアリングを長年経験してきた。 ツールプロトタイプ MUT4SLX を用いたパイロットプロジェクトでは,Stateflow の等価変異,要求トレーサビリティ,突然変異検査が,学術文献ではまだ報告されていない特別な課題であることがわかった。

関連論文リスト

• Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models [62.62160094849002]
  RADIANTは、MDEとMulti-Agent Large Language Modelを組み合わせたエンジニアリング方法論である。 工学的なフェーズにまたがる異種モデルを自動的に生成する。 正確かつ自動的な変更インパクト分析を提供する。
  論文  参考訳（メタデータ） (2026-07-18T08:50:55Z)
• Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations [1.58310730488265]
  産業領域では、FMI(Functional Mock-up Interface)はシミュレーションモデルをFMU(Functional Mock-up Units)として交換するために使用される。 これらのシミュレーションモデルに有効なオーラクルを導出することは、明確な期待出力がないため、依然として困難である。 本稿では,FMUに基づくシミュレーションモデルの仕様ベースメタモルフィックテストのためのLLMを用いたマルチエージェントワークフローを提案する。
  論文  参考訳（メタデータ） (2026-05-24T14:30:56Z)
• Exploring the Potential of Large Language Models in Simulink-Stateflow Mutant Generation [11.706481833926818]
  LLM(Large Language Models)は、Simulink-Stateflowモデルのための高品質でドメイン固有のミュータントを生成する。 LLMは手作業による突然変異ベースのベースラインの最大13倍の速度でミュータントを生成する。 分析の結果,低-ナトリウム温度値と組み合わせることで最適な結果が得られることがわかった。
  論文  参考訳（メタデータ） (2026-02-03T23:01:47Z)
• Designing an Optimal Sensor Network via Minimizing Information Loss [41.94684238665305]
  本研究では,プロセス監視のためのセンサの設計について検討し,モデリングと最適化における時間次元を明確に考慮する。 本稿では,高効率な最適化アルゴリズムとともに,新しいモデルに基づくセンサ配置基準を提案する。 我々は,アリゾナ州フェニックスの大気温度を計測するケーススタディを通じて,最新の物理シミュレーションを用いて検証を行った。
  論文  参考訳（メタデータ） (2025-12-05T18:38:30Z)
• LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems [11.183147511573717]
  小型無人航空機の正確な挙動を検証するためには, 粗いシミュレーション試験が重要である。 開発者をサポートするために様々なsUASシミュレーションツールが存在するが、シミュレーションテストの作成、実行、分析のプロセス全体が、手作業で面倒な作業である。 複数のLLMエージェントが協調してsUASシミュレーションテストプロセスをサポートするフレームワークであるAutoSimTestを提案する。
  論文  参考訳（メタデータ） (2025-01-21T03:42:21Z)
• Transformers Use Causal World Models in Maze-Solving Tasks [49.67445252528868]
  我々は迷路解決タスクで訓練されたトランスフォーマーで世界モデルを特定する。 機能を抑圧するよりも、機能をアクティベートする方が簡単であることが分かりました。 位置符号化方式は、モデルの残留ストリーム内でのワールドモデルがどのように構成されているかに影響を与えるように見える。
  論文  参考訳（メタデータ） (2024-12-16T15:21:04Z)
• Online simulator-based experimental design for cognitive model selection [74.76661199843284]
  本稿では,抽出可能な確率を伴わない計算モデルを選択する実験設計手法BOSMOSを提案する。 シミュレーション実験では,提案手法により,既存のLFI手法に比べて最大2桁の精度でモデルを選択することができることを示した。
  論文  参考訳（メタデータ） (2023-03-03T21:41:01Z)
• Computational Discovery of Microstructured Composites with Optimal Stiffness-Toughness Trade-Offs [39.393383789980895]
  硬さと硬さの対立は、工学材料設計における根本的な問題である。 物理実験,数値シミュレーション,人工ニューラルネットワークを統合した一般化可能なパイプラインを導入し,両課題に対処する。 本手法は, 固体力学以外の様々な研究領域において, 計算設計の青写真を提供する。
  論文  参考訳（メタデータ） (2023-02-01T00:50:16Z)
• Benchmarking Model Predictive Control Algorithms in Building Optimization Testing Framework (BOPTEST) [40.17692290400862]
  物理に基づく建築エミュレータのためのデータ駆動モデリングおよび制御フレームワークを提案する。 a)モデル評価を加速し、コスト効率の良い勾配を提供し、モデル予測制御(MPC)における後退地平線に対する良好な予測精度を維持する、微分可能な代理モデルのオフライントレーニング。 ビルディング最適化テストフレームワーク(BOPTEST)で利用可能な様々なテストケースに対して、複数のサロゲートモデルと最適化フレームワークを用いて、モデリングと制御性能を広範囲に評価する。
  論文  参考訳（メタデータ） (2023-01-31T06:55:19Z)
• Demystify Transformers & Convolutions in Modern Image Deep Networks [80.16624587948368]
  本稿では,一般のコンボリューションとアテンション演算子の真の利益を,詳細な研究により同定することを目的とする。 注意や畳み込みのようなこれらの特徴変換モジュールの主な違いは、それらの空間的特徴集約アプローチにある。 様々なSTMが統合されたフレームワークに統合され、包括的な比較分析を行う。
  論文  参考訳（メタデータ） (2022-11-10T18:59:43Z)
• Emulation of physical processes with Emukit [12.704056181392415]
  我々は不確実性の下で意思決定を豊かにするPythonツールキットであるEmukitを紹介する。 3つの模範事例研究でEmukitがどのように利用できるかを示す。
  論文  参考訳（メタデータ） (2021-10-25T22:09:03Z)
• Data Driven Testing of Cyber Physical Systems [12.93632948681342]
  そこで本研究では,CPSの故障防止テストケースを自動生成する手法を提案する。 スマートな建物を管理するアプリケーションから収集されたデータは、環境のモデルを学ぶために使われてきた。
  論文  参考訳（メタデータ） (2021-02-23T04:55:10Z)
• DirectDebug: Automated Testing and Debugging of Feature Models [55.41644538483948]
  変数モデル(例えば、特徴モデル)は、ソフトウェアアーティファクトの変数と共通性を表現する一般的な方法である。 複雑でしばしば大規模な機能モデルは欠陥になりうる、すなわち、ソフトウェアアーチファクトの期待される変動特性を表現しない。
  論文  参考訳（メタデータ） (2021-02-11T11:22:20Z)

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

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