車載ソフトウェアの品質向上のための自動検査システムの開発