実走行データを活用した制御システム自動検証手法の開発

抄録

大規模・複雑化する制御ソフトの品質確保は重要課題である。これに対し、望ましくない振る舞いにつながる入力シナリオを自動探索するサーチベーステストを開発してきた。本研究では探索効率の向上を目指し、実走行データより得られる実走行条件分布を基にした新たな入力シナリオ生成機能を開発した。