%A Thi Minh Hue Chu
%A Ngoc Binh Nguyen
%A Duc Hanh Dang
%T Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa miền chuyên biệt
%X Trong phát triển phần mềm, kiểm thử là một quy trình quan trong và không thể thiếu để phát triển một hệ thống phần mềm tin cậy và có chất lượng cao. Để có thể giảm chi phí, tăng chất lượng cho hoạt động kiểm thử một hướng tiếp cận cho kiểm thử phần mềm là kỹ thuật kiểm thử dựa trên mô hình (Model-Based Tesing - MBT). Kỹ thuật này cho phép sinh tự động các ca kiểm thử và thực thi tự động các ca kiểm thử từ mô hình. Trong nghiên cứu này, chúng tôi tập trung vào nghiên cứu quy trình sinh tự động (Automated Test Cases Generation) các ca kiểm thử từ mô hình với hướng tiếp cận mô hình hóa miền chuyên biệt (Domain-Specific Modeling - DSM) cho vấn đề sinh các ca kiểm thử từ đặc tả ca sử dụng (Use Case Specification). Đặc tả ca sử dụng được viết trong tài liệu đặc tả phần mềm bằng ngôn ngữ tự nhiên vì vậy mà việc sinh tự động các ca kiểm thử từ đặc tả này vẫn còn nhiều thách thức. Chất lượng sinh các ca kiểm thử phụ thuộc vào tiêu chí phủ các ca kiểm thử. Nghiên cứu này của chúng tôi tập chung vào nghiên cứu và đề xuất phương pháp sinh tự động các ca kiểm thử từ đặc tả ca sử dụng với độ phủ các ca kiểm thử đạt được các tiêu chí phủ kiểm thử
%C Hanoi
%D 2016
%L SisLab1515