区間解析法とモンテカルロ法の連携によるSimulinkテストケースの自動生成