Skip to main content
QUICK REVIEW

[論文レビュー] Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles

Ziyuan Zhong, Gail E. Kaiser|arXiv (Cornell University)|Sep 13, 2021
Software Testing and Debugging Techniques参考文献 60被引用数 10
ひとこと要約

本稿では、自動運転車(AV)コントローラーにおける交通違反を発見するため、文法に従う、ニューラルネットワークで強化された進化的ファズィング手法であるAutoFuzzを提案する。シミュレータAPIの文法を活用し、制約付きニューラルネットワークで探索を最適化することで、高精細シミュレーション環境において4つのAVコントローラーでベースライン手法と比較して10–39%多く、意味的に妥当で複雑な走行シナリオを生成した。

ABSTRACT

Self-driving cars and trucks, autonomous vehicles (AVs), should not be accepted by regulatory bodies and the public until they have much higher confidence in their safety and reliability -- which can most practically and convincingly be achieved by testing. But existing testing methods are inadequate for checking the end-to-end behaviors of AV controllers against complex, real-world corner cases involving interactions with multiple independent agents such as pedestrians and human-driven vehicles. While test-driving AVs on streets and highways fails to capture many rare events, existing simulation-based testing methods mainly focus on simple scenarios and do not scale well for complex driving situations that require sophisticated awareness of the surroundings. To address these limitations, we propose a new fuzz testing technique, called AutoFuzz, which can leverage widely-used AV simulators' API grammars to generate semantically and temporally valid complex driving scenarios (sequences of scenes). To efficiently search for traffic violations-inducing scenarios in a large search space, we propose a constrained neural network (NN) evolutionary search method to optimize AutoFuzz. Evaluation of our prototype on one state-of-the-art learning-based controller, two rule-based controllers, and one industrial-grade controller in five scenarios shows that AutoFuzz efficiently finds hundreds of traffic violations in high-fidelity simulation environments. For each scenario, AutoFuzz can find on average 10-39% more unique traffic violations than the best-performing baseline method. Further, fine-tuning the learning-based controller with the traffic violations found by AutoFuzz successfully reduced the traffic violations found in the new version of the AV controller software.

研究の動機と目的

  • 高精細シミュレーション環境下で、自動運転車(AV)コントローラーの稀で複雑な交通違反を検出するためのスケーラブルで効果的なテスト手法の欠如に対処する。
  • 実世界テスト(費用、カバレッジ)および従来のシミュレーションベースのテスト(シナリオの多様性が限定的、スケーラビリティに欠ける)の限界を克服する。
  • シミュレータAPIの文法を活用して、意味的かつ時間的に妥当な走行シナリオを生成するファズィングフレームワークを開発する。
  • 進化的アルゴリズムフレームワーク内での制約付きニューラルネットワークを用いて、違反誘発シナリオの探索を最適化する。
  • 多様で現実的である交通違反を同定し、再訓練によるAVコントローラーのロバストネス向上を実証する。

提案手法

  • 広く使われているAVシミュレータのAPI文法を活用し、ファズィングのシード入力として妥当な初期シーン設定を生成する。
  • 文法に従う変異を適用して、走行シナリオにおける意味的・時間的妥当性を保持する新しいテストケースを生成する。
  • 進化的アルゴリズムを用いて探索プロセスをガイドし、適合度を検出された交通違反の多様性および深刻度で定義する。
  • 探索空間をモデル化し、有望な入力変異を優先するため、制約付きニューラルネットワークを統合し、収束性とカバレッジを向上させる。
  • ブラックボックスシミュレーションを用いて各生成シナリオを評価し、衝突、危険なレーン変更、譲らない行動などの交通違反を検出する。
  • パラメータ $th_1$ と $th_2$ を設定可能な一意性メトリックを適用し、異なる違反を定量化・フィルタリングすることで、重複を低減する。

実験結果

リサーチクエスチョン

  • RQ1文法に従う、ニューラルネットワークで強化された進化的ファズァーは、AVテスト用に意味的に妥当で複雑な走行シナリオを効果的に生成できるか?
  • RQ2このようなファズァーは、高精細シミュレーション環境において、既存のベースライン手法と比較して、どれほど多くの独自の交通違反を発見できるか?
  • RQ3ファズァーが発見した交通違反を再訓練に活用することで、学習ベースのAVコントローラーのロバストネスを向上させることができるか?
  • RQ4制約付きニューラルネットワークは、意味的制約に違反せずに、違反誘発シナリオへの進化的探索をどれほど効果的にガイドできるか?
  • RQ5シナリオの複雑さや環境要因(例:天候、交通密度)を変化させた場合、交通違反の検出率にどのような影響を与えるか?

主な発見

  • AutoFuzzは、高精細シミュレーション環境における5つの複雑な走行シナリオで、何百もの独自で現実的である交通違反を発見した。
  • 各シナリオにおいて、最良のベースライン手法と比較して、AutoFuzzは10–39%多く独自の交通違反を発見し、優れたカバレッジと多様性を示した。
  • 突然の停止、譲らない行動、歩行者や障害物との衝突を含む違反を効果的に同定し、現実の衝突シナリオに類似した事象を再現した。
  • AutoFuzzが発見した違反を用いて学習ベースのAVコントローラーを再訓練した結果、更新後のバージョンで同様の違反の数が有意に減少した。
  • 制約付きニューラルネットワークは、入力空間の有望な領域に注目することで、探索効率を著しく向上させ、無効または重複するテストケースの生成を削減した。
  • 本手法は、アリューミン6.0を含む産業用レベルのシステムを含む多様なAVコントローラーで有効であったため、実世界のAVソフトウェアスタックへの広範な適用可能性を示した。

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。