發送短信 : Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền

 ______     ______     _____    ______    ______  
|      \\  /_   _//   / ___//  /_   _//  /_____// 
|  --  //   -| ||-    \___ \\   -| ||-   `____ `  
|  --  \\   _| ||_    /    //   _| ||_   /___//   
|______//  /_____//  /____//   /_____//  `__ `    
`------`   `-----`  `-----`    `-----`   /_//     
                                         `-`