この資料をSMS送信: A formal model for the functional test of software to achieve maturity integrated level 2