組込みソフトウェアのためのテスティングツールの開発