發送短信 : 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

  ______    ______             _    _    _    _   
 /_   _//  /_   _//   ____    | || | || | |  | || 
 `-| |,-    -| ||-   |    \\  | || | || | |/\| || 
   | ||     _| ||_   | [] ||  | \\_/ || |  /\  || 
   |_||    /_____//  |  __//   \____//  |_// \_|| 
   `-`'    `-----`   |_|`-`     `---`   `-`   `-` 
                     `-`