この資料をSMS送信: A model-based testing framework for trusted platform module