論文の概要: Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review

• arxiv url: http://arxiv.org/abs/2512.23780v1
• Date: Mon, 29 Dec 2025 14:46:49 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-01 23:27:28.165214
• Title: Test Case Specification Techniques and System Testing Tools in the Automotive Industry: A Review
• Title（参考訳）: 自動車業界におけるテストケース仕様技術とシステムテストツール:レビュー
• Authors: Denesa Zyberaj, Pascal Hirmer, Marco Aiello, Stefan Wagner,
• Abstract要約: 自動車分野は、規制、市場圧力、機能速度を満たすために、ソフトウェア中心の開発へとシフトしつつある。 関連する標準にもかかわらず、異質でレガシに制約のあるツールチェーンにまたがる一貫性のあるシステムテスト手法は、いまだ解明されていない。 我々は,産業経験と実践を補完する体系的な文献レビューから,課題と要件を導出する。
• 参考スコア（独自算出の注目度）: 2.2702492618802
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: The automotive domain is shifting to software-centric development to meet regulation, market pressure, and feature velocity. This shift increases embedded systems' complexity and strains testing capacity. Despite relevant standards, a coherent system-testing methodology that spans heterogeneous, legacy-constrained toolchains remains elusive, and practice often depends on individual expertise rather than a systematic strategy. We derive challenges and requirements from a systematic literature review (SLR), complemented by industry experience and practice. We map them to test case specification techniques and testing tools, evaluating their suitability for automotive testing using PRISMA. Our contribution is a curated catalog that supports technique/tool selection and can inform future testing frameworks and improvements. We synthesize nine recurring challenge areas across the life cycle, such as requirements quality and traceability, variability management, and toolchain fragmentation. We then provide a prioritized criteria catalog that recommends model-based planning, interoperable and traceable toolchains, requirements uplift, pragmatic automation and virtualization, targeted AI and formal methods, actionable metrics, and lightweight organizational practices.
• Abstract（参考訳）: 自動車分野は、規制、市場圧力、機能速度を満たすために、ソフトウェア中心の開発へとシフトしつつある。 このシフトにより、組み込みシステムの複雑さが増加し、テスト能力が低下する。 関連する基準にもかかわらず、異質でレガシに制約されたツールチェーンにまたがる一貫性のあるシステムテストの方法論はいまだ解明されておらず、プラクティスは体系的な戦略よりも個々の専門知識に依存していることが多い。 我々は,産業経験と実践を補完する体系的文献レビュー(SLR)から,課題と要件を導出する。 ケース仕様の手法やテストツールにマップし、PRISMAを用いた自動車テストの適合性を評価する。 私たちの貢献は、テクニック/ツールの選択をサポートし、将来のテストフレームワークと改善を通知できるキュレートされたカタログです。 要求品質やトレーサビリティ,可変性管理,ツールチェーンの断片化など,ライフサイクル全体で繰り返される9つの課題領域を合成する。 次に、モデルベースの計画、相互運用可能でトレース可能なツールチェーン、要件アップリフト、実用的な自動化と仮想化、ターゲットとするAIとフォーマルなメソッド、実行可能なメトリクス、軽量な組織プラクティスを推奨する優先順位付けされた基準カタログを提供します。

関連論文リスト

• Large Language Models for Unit Test Generation: Achievements, Challenges, and the Road Ahead [15.43943391801509]
  単体テストは、ソフトウェアの検証には不可欠だが、面倒なテクニックである。 大規模言語モデル(LLM)は、コードセマンティクスとプログラミングパターンに関するデータ駆動の知識を活用することで、この制限に対処する。 このフレームワークは、コアジェネレーティブ戦略と一連の拡張テクニックに関する文献を分析します。
  論文  参考訳（メタデータ） (2025-11-26T13:30:11Z)
• A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System [56.40989626804489]
  この調査は、Large Language Modelsを使ったソフトウェアエンジニアリングに関する、最初の総合的な分析を提供する。 本稿では,150以上の最近の論文をレビューし,(1)素早い,微調整,エージェントベースのパラダイムに分類した解法,(2)コード生成,翻訳,修復などのタスクを含むベンチマークという2つの重要な側面に沿った分類法を提案する。
  論文  参考訳（メタデータ） (2025-10-10T06:56:50Z)
• 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)
• Requirements-Driven Automated Software Testing: A Systematic Review [12.953746641112518]
  この体系的な文献は、要求入力フォーマット、変換技術、生成されたテストアーティファクト、評価方法、一般的な制限の現状を批判的に検証する。 本研究は,機能要件,モデルベース仕様,自然言語フォーマットの優位性に注目した。 テストケース、構造化されたテキスト形式、要求カバレッジは一般的だが、完全な自動化は依然として稀である。
  論文  参考訳（メタデータ） (2025-02-25T23:13:09Z)
• A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction [5.742965094549775]
  本稿では,自律システムのシミュレーションに基づくテストの戦略的ロードマップを開拓する。 本稿では,テスト自動化と品質保証に着目し,ACPSの課題と障害について論じる。
  論文  参考訳（メタデータ） (2024-05-02T07:42:33Z)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。 コントローラと証明書を形式的に合成する自動化手法を提案する。 我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
  論文  参考訳（メタデータ） (2023-09-12T09:37:26Z)

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

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