高信頼性ソフトウェア開発のための効用理論に基づいたテスト労力最適配分問題に関する研究