TY  - CONF
ID  - SisLab1515
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1515/
A1  - Chu, Thi Minh Hue
A1  - Nguyen, Ngoc Binh
A1  - Dang, Duc Hanh
Y1  - 2016/03/26/
N2  - 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?
TI  - 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
M2  - Hanoi
AV  - public
T2  - SW4PHD: the 2016 Scientific Workshop for PhD Students
ER  -