Luận văn thạc sĩ về kiểm thử dựa trên mô hình và ứng dụng trong công nghệ thông tin