NGHIÊN CỨU NGÔN NGỮ ĐẶC TẢ KIỂM THỬ CHO HỆ THỐNG TƯƠNG TÁC

Abstract

Theo các nghiên cứu thống kê đã khẳng định, giai đoạn kiểm thử là giai đoạn đòi hỏi nhiều chi phí nguồn tài nguyên (theo [5], khoảng 40% tổng chi phí của một dự án phần mềm). Chúng ta có thể kết luận rằng giảm chi phí các hoạt động kiểm thử sẽ giảm được tổng chi phí của dự án phần mềm. Vì vậy, trong nội dung này tác giả trình bày kết quả nghiên cứu các phương pháp, ngôn ngữ đặc tả kiểm thử nhằm áp dụng trong tự động sinh dữ liệu thử cho hệ thống tương tác