本論文では、複雑な自律システムのテストを効率的に行うための手法を提案している。
まず、システムの要件と未知のテスト目的をそれぞれ時間論理式で表現する。次に、オートマトン理論とネットワークフローを用いて、テスト環境を合成する最適化問題を定式化する。この問題では、テスト目的を満たしつつ、システムの要件を満たせるような最小限の制約を見つけることが目的となる。
具体的には、仮想プロダクトグラフを構築し、そこでのネットワークフローの最大化問題を解くことで、静的障害物や反応型障害物、動的なテストエージェントといったテスト環境を合成する。この際、システムの要件を満たせるような制約を課すことで、テストが実現可能であることを保証する。
最終的に、シミュレーションと実機実験を通じて、提案手法の有効性を示している。
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Josefine B. ... a las arxiv.org 04-16-2024
https://arxiv.org/pdf/2404.09888.pdfConsultas más profundas