論文の概要: Search-based Testing of Simulink Models with Requirements Tables

• arxiv url: http://arxiv.org/abs/2501.05412v1
• Date: Thu, 09 Jan 2025 18:13:22 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-10 14:00:07.277015
• Title: Search-based Testing of Simulink Models with Requirements Tables
• Title（参考訳）: 要求表付きシミュリンクモデルの探索による検証
• Authors: Federico Formica, Chris George, Shayda Rahmatyan, Vera Pantelic, Mark Lawford, Angelo Gargantini, Claudio Menghi,
• Abstract要約: 本研究は,要求表(RT)をサポートするSimulinkモデルに対して,最初のブラックボックステスト手法を提案する。 私たちのフレームワークは、モデルとRTの組み合わせの70%でフェールリベリングテストケースを返しました。
• 参考スコア（独自算出の注目度）: 3.098157748113599
• License:
• Abstract: Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many SBST techniques for Simulink models rely on requirements being expressed in logical languages, limiting their adoption in industry. To help with the adoption, SBST methods and tools for Simulink models need to be integrated with tools used by engineers to specify requirements. This work presents the first black-box testing approach for Simulink models that supports Requirements Table (RT), a tool from Simulink Requirements Toolbox used by practitioners to express software requirements. We evaluated our solution by considering 60 model-RT combinations each made by a model and an RT. Our SBST framework returned a failure-revealing test case for 70% of the model-RT combinations. Remarkably, it identified a failure-revealing test case for three model-RT combinations for a cruise controller of an industrial simulator that other previously used tools were not able to find. The efficiency of our SBST solution is acceptable for practical applications and comparable with existing SBST tools that are not based on RT.
• Abstract（参考訳）: Simulinkモデルの検索ベースのソフトウェアテスト(SBST)は、システムが要求の1つに違反する状態に達することを実証するシナリオを見つけるのに役立つ。 しかし、Simulinkモデルの多くのSBST技術は、論理言語で表現される要求に依存しており、業界における採用を制限している。 採用を支援するため、SimulinkモデルのSBSTメソッドとツールをエンジニアが要件を特定するために使用するツールに統合する必要がある。 本研究は,Simulink の要求表 (RT) をサポートする,Simulink モデルに対するブラックボックステストのアプローチとして,実践者がソフトウェア要件を表現するために使用する Simulink 要求表 (RT) のツールボックスである。 モデルとRTで作成した60種類のモデル-RTの組み合わせを検討した。 私たちのSBSTフレームワークは、モデルとRTの組み合わせの70%でフェールリベリングテストケースを返しました。 注目すべきは、工業用シミュレーターのクルーズコントローラの3つのモデル-RTの組み合わせで、これまで使用されていた他のツールが見つけられなかった失敗例を特定したことだ。 我々のSBSTソリューションの効率は、実用的なアプリケーションには受け入れられ、RTをベースとしていない既存のSBSTツールに匹敵する。

関連論文リスト

• Reference Trustable Decoding: A Training-Free Augmentation Paradigm for Large Language Models [79.41139393080736]
  大規模言語モデル(LLM)は急速に進歩し、印象的な機能を示している。 In-Context Learning (ICL) など。 効率的なファインチューニング(PEFT)は、現在2つの主要な拡張方法である。 下流タスクへのLLM。 我々は、モデルが微調整なしで新しいタスクに迅速に適応できるパラダイムである参照信頼復号(RTD)を提案する。
  論文  参考訳（メタデータ） (2024-09-30T10:48:20Z)
• AutoIRT: Calibrating Item Response Theory Models with Automated Machine Learning [8.079755354261328]
  本稿では、アウトオブボックス自動機械学習(AutoML)ツールと互換性のある多段階のフィッティング手順を提案する。 モンテカルロEM(MCEM)の外ループに2段の内ループがあり、アイテムの特徴を使って非パラメトリックオートMLグレードモデルを訓練し、続いてアイテム固有のパラメトリックモデルを訓練する。 結果のモデルは通常より良好で、予測性能が向上し、既存の手法よりも正確なスコアが得られます。
  論文  参考訳（メタデータ） (2024-09-13T13:36:51Z)
• An approach for performance requirements verification and test environments generation [1.359087929215203]
  モデルに基づく性能試験の系統的なマッピングを行った。 自然言語ソフトウェア要件の仕様について検討し、どの要件が典型的に規定されているか、そしてどのようにパフォーマンス要件が規定されているかを理解する。 MBT技術はいずれもモデリングの大きな利点を支えなかったため,本手法は性能要件を検証し,テスト環境のジェネラティオンアプローチを開発した。
  論文  参考訳（メタデータ） (2024-02-29T19:59:26Z)
• Requirements' Characteristics: How do they Impact on Project Budget in a Systems Engineering Context? [3.2872885101161318]
  自然言語要求(NLR)の品質の制御と保証は困難である。 スウェーデン交通庁 (STA) と共同で, 要件の特性が変更要求や予算変更に与える影響について検討した。
  論文  参考訳（メタデータ） (2023-10-02T17:53:54Z)
• Provengo: A Tool Suite for Scenario Driven Model-Based Testing [2.4387555567462647]
  Provengoは、シナリオ駆動型モデルベーステスト(SDMBT)の実装を容易にするために設計されたツールスイートである。 Provengoでは、テスタが努力せずに自然なユーザストーリを作成し、効果的なテストを生成することのできるモデルにシームレスに統合することが可能になる。
  論文  参考訳（メタデータ） (2023-08-30T10:34:12Z)
• Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator [3.2610650450951364]
  自動車ソフトウェア開発では,機能要件と乾燥性要件の両方の違反を検出するために,システムをテストする必要がある。 本稿では,自動検索ベースのソフトウェアテスティングフレームワークの有用性を評価する。
  論文  参考訳（メタデータ） (2023-05-29T20:58:49Z)
• Energy-efficient Task Adaptation for NLP Edge Inference Leveraging Heterogeneous Memory Architectures [68.91874045918112]
  Adapter-ALBERTは、様々なタスクにわたる最大データ再利用のための効率的なモデル最適化である。 検証されたNLPエッジアクセラレータ上でシミュレーションを行うことにより、モデルを不均一なオンチップメモリアーキテクチャにマッピングする利点を実証する。
  論文  参考訳（メタデータ） (2023-03-25T14:40:59Z)
• SWARM Parallelism: Training Large Models Can Be Surprisingly Communication-Efficient [69.61083127540776]
  ディープラーニングアプリケーションは、数十億のパラメータを持つ大きなモデルを使用することの恩恵を受ける。 これらのモデルのトレーニングは、特殊なHPCクラスタを必要とするため、非常に高価である。 安価な"プリエンプティブル"インスタンスを使用するか、あるいは複数のリージョンから既存のリソースをプールする。
  論文  参考訳（メタデータ） (2023-01-27T18:55:19Z)
• ROAD-R: The Autonomous Driving Dataset with Logical Requirements [54.608762221119406]
  論理要求付きROADイベント認識データセット(ROAD-R)を紹介する。 ROAD-Rは、論理的制約として表現された要件を持つ、自動運転のための最初の公開データセットである。 我々は、(i)パフォーマンスが良く、(ii)要求自体に準拠することが保証されているモデルを作成するためにそれらを活用できることを示します。
  論文  参考訳（メタデータ） (2022-10-04T13:22:19Z)
• Bilaterally Slimmable Transformer for Elastic and Efficient Visual Question Answering [75.86788916930377]
  左右にスリム化可能なトランスフォーマー(BST)は任意のトランスフォーマーベースのVQAモデルに統合される。 1つのスリム化MCAN-BSTサブモデルは、VQA-v2で同等の精度を達成する。 最も小さなMCAN-BSTサブモデルは、推論中に9Mパラメータと0.16GのFLOPを持つ。
  論文  参考訳（メタデータ） (2022-03-24T02:26:04Z)
• SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) [71.12474112166767]
  我々は、このスペクトルで最も調査されたモデルの1つ、すなわち単純なアーティファクトシステム(SAS)の変種を紹介する。 このDLは適切なモデル理論特性を享受し、後方到達性を適用可能なSASを定義することができ、対応する安全問題のPSPACEにおける決定可能性をもたらす。
  論文  参考訳（メタデータ） (2021-08-27T15:04:11Z)

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

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