Fugu-MT 論文翻訳(概要): Scenario-based System Testing for Distributed Robotics Applications

論文の概要: Scenario-based System Testing for Distributed Robotics Applications

arxiv url: http://arxiv.org/abs/2604.25772v1
Date: Tue, 28 Apr 2026 15:37:26 GMT
ステータス: 翻訳完了
システム内更新日: 2026-04-29 16:49:17.927535
Title: Scenario-based System Testing for Distributed Robotics Applications
Title（参考訳）: 分散ロボティクスアプリケーションのためのシナリオベースシステムテスト
Authors: Jan Peleska, Felix Brüning, Wen-Ling Huang, Anne E. Haxthausen,
Abstract要約: システムレベルのテストの自動生成と実行のためのSCSL(SCenario Specification Language)を提案する。 SCSLは、古典的なモデルベースのテストが実用的でない複雑な分散システム(例えば、自律ロボットの共同作業)をターゲットにしている。本稿では,ロボットが救助任務を行うシステムテスト例を用いて,SCSLの構文と意味について述べる。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We present the SCenario Specification Language (SCSL) for automated generation and execution of system-level tests. SCSL targets complex distributed systems (e.g., collaborating autonomous robots) where classical model-based testing becomes impractical because (1) the overall system complexity is too high for a single monolithic model, (2) test behaviour cannot be fully precomputed due to substantial nondeterminism in the distributed system under test (SUT), and (3) the SUT configuration may change dynamically at runtime. Challenge (1) is addressed by scenarios: each scenario specifies test-specific expected SUT behaviour and/or stimuli to be applied during execution. Complex system tests are composed from elementary scenarios using sequential and parallel composition. To address (2), the SCSL tool platform supports online (on-the-fly) testing, selecting and executing test steps during runtime. For (3), SCSL provides a collaboration construct that supports dynamic reconfiguration: removing unavailable components, registering newly joining components, and rewiring interfaces during test execution. We illustrate the syntax and semantics of SCSL using a system-test example in which robots perform a salvage mission, and we use an automatically generated test execution to demonstrate the concepts supported by our prototype tool platform.
Abstract（参考訳）: システムレベルのテストの自動生成と実行のためのSCSL(SCenario Specification Language)を提案する。 SCSLは,(1)システム全体の複雑さが単一モノリシックモデルでは高すぎること,(2)テスト中の分散システムにおける実質的非決定性(SUT)のためテスト動作を完全にプリ計算できないこと,(3)実行時にSUT構成が動的に変化すること,などの理由から,従来のモデルベーステストが実用的でない複雑な分散システム(例えば,自律ロボット)をターゲットにしている。それぞれのシナリオは、テスト固有のSUTの振る舞いや実行時に適用される刺激を指定する。複雑なシステムテストは、逐次および並列合成を用いた基本的なシナリオから構成される。 (2)に対処するため、SCSLツールプラットフォームはオンライン(オンザフライ)テストをサポートし、実行中にテストステップを選択し、実行する。 (3)のために、SCSLは動的再構成をサポートする協調構成を提供する。非利用可能なコンポーネントの削除、新規に結合したコンポーネントの登録、テスト実行中のインターフェイスの切り替えである。本稿では,ロボットが救難ミッションを行うシステムテスト例を用いて,SCSLの構文と意味を記述し,自動生成テスト実行を用いて,プロトタイプツールプラットフォームがサポートする概念を実証する。

関連論文リスト

WebTestBench: Evaluating Computer-Use Agents towards End-to-End Automated Web Testing [57.7131457251794]
エンドツーエンドの自動Webテストを評価するベンチマークであるWebTestBenchを紹介します。テストプロセスを2つのカスケードサブタスク、チェックリストの生成と欠陥検出に分解し、WebTesterを提案する。以上の結果から,現在のコンピュータ利用エージェント能力と産業レベルの展開要求との間に大きなギャップがあることが判明した。
論文参考訳（メタデータ） (2026-03-26T09:27:29Z)
SWE-rebench V2: Language-Agnostic SWE Task Collection at Scale [39.33317467753191]
SWE-rebench V2は、実行可能な実世界のSWEタスクを回収し、大規模にRLトレーニング環境を構築するための自動パイプラインである。 20の言語と3,600以上のリポジトリにまたがる32,000以上のタスクのデータセットを構築し、再現可能な画像を生成する。トレーニングデータをさらにスケールするために、インストール命令、フェール・ツー・パステスト、豊富なメタデータを備えた12000以上のタスクもリリースしています。
論文参考訳（メタデータ） (2026-02-27T10:06:10Z)
Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution [24.305511228249486]
大規模言語モデルと視覚言語モデルは、信号と行動論理を抽出するために使用される。パイプラインは検索拡張生成を使用して、マッピング前に候補VSS信号をプリセレクトする。本稿では,SDVサブシステムのためのエンドツーエンド要求-テストパイプラインの実現可能性とアーキテクチャ実証について述べる。
論文参考訳（メタデータ） (2026-02-17T14:03:35Z)
Rethinking Testing for LLM Applications: Characteristics, Challenges, and a Lightweight Interaction Protocol [83.83217247686402]
大言語モデル(LLM)は、単純なテキストジェネレータから、検索強化、ツール呼び出し、マルチターンインタラクションを統合する複雑なソフトウェアシステムへと進化してきた。その固有の非決定主義、ダイナミズム、文脈依存は品質保証に根本的な課題をもたらす。本稿では,LLMアプリケーションを3層アーキテクチャに分解する: textbftextitSystem Shell Layer, textbftextitPrompt Orchestration Layer, textbftextitLLM Inference Core。
論文参考訳（メタデータ） (2025-08-28T13:00:28Z)
iPanda: An LLM-based Agent for Automated Conformance Testing of Communication Protocols [11.749977502129898]
大きな言語モデル(LLM)は、印象的なテキスト理解とコード生成能力を示している。プロトコル適合性テストを自動化するために LLM を利用した最初のフレームワークである iPanda を提案する。様々なプロトコルの実験により、iPandaは純粋なLCMベースのアプローチよりも大幅に優れていた。
論文参考訳（メタデータ） (2025-07-01T02:27:44Z)
Automated Web Application Testing: End-to-End Test Case Generation with Large Language Models and Screen Transition Graphs [0.5965410190046627]
本稿では,Webアプリケーションの2つの重要な側面であるサイトナビゲーションとフォームフィリングのためのテストケース自動生成システムを提案する。サイトナビゲーションでは、画面遷移グラフとLCMを使用してナビゲーションフローをモデル化し、テストシナリオを生成する。フォームフィリングにはステートグラフを使用して条件付きフォームを処理し、Seleniumスクリプト生成を自動化する。
論文参考訳（メタデータ） (2025-06-03T07:08:21Z)
Text2Scenario: Text-Driven Scenario Generation for Autonomous Driving Test [15.601818101020996]
Text2Scenarioは、ユーザー仕様と密接に一致したシミュレーションテストシナリオを自律的に生成するフレームワークである。結果は、手動のシナリオ構成に必要な労力を伴わない、多様なADスタックの効率的かつ正確な評価である。
論文参考訳（メタデータ） (2025-03-04T07:20:25Z)
Commit0: Library Generation from Scratch [77.38414688148006]
Commit0は、AIエージェントにスクラッチからライブラリを書くよう促すベンチマークである。エージェントには、ライブラリのAPIを概説する仕様文書と、インタラクティブなユニットテストスイートが提供されている。 Commit0はまた、モデルが生成したコードに対して静的解析と実行フィードバックを受け取る、インタラクティブな環境も提供する。
論文参考訳（メタデータ） (2024-12-02T18:11:30Z)
ProS: Prompting-to-simulate Generalized knowledge for Universal Cross-Domain Retrieval [123.51277978744677]
textbfPrompting-to-textbfSimulate (ProS) を提案し,Universal Cross-Domain Retrieval (UCDR) にプロンプトチューニングを適用する。 ProSは、Content-Aware Dynamic Prompts (CaDP)をシミュレートする2段階のプロセスを採用している。本手法は過剰なパラメータを伴わずに新しい最先端性能を実現する。
論文参考訳（メタデータ） (2023-12-19T14:39:11Z)
Rethinking End-to-End Evaluation of Decomposable Tasks: A Case Study on Spoken Language Understanding [101.24748444126982]
分解可能なタスクは複雑で、サブタスクの階層から構成される。しかし、既存のベンチマークでは、通常は表面レベルのサブタスクのみの例が示される。サブタスク固有のユーティリティ関数上の座標アセントを用いて、ロバストなテストセットを構築するためのフレームワークを提案する。
論文参考訳（メタデータ） (2021-06-29T02:53:59Z)
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments [89.04823188871906]
リアルタイム戦略(RTS)環境では,多様な現実シナリオの生成が難しい。既存のシミュレータのほとんどは環境をランダムに生成することに頼っている。我々は、研究者を支援するために、既存の形式シナリオ仕様言語であるSCENICを採用する利点を紹介する。
論文参考訳（メタデータ） (2021-06-18T21:49:46Z)

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

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