@inproceedings{SisLab1515,
       booktitle = {SW4PHD: the 2016 Scientific Workshop for PhD Students},
           month = {March},
           title = {Ki?m th? d?a tr{\^e}n m{\^o} h{\`i}nh v?i c{\'a}ch ti?p c?n m{\^o} h{\`i}nh h{\'o}a mi?n chuy{\^e}n bi?t},
          author = {Thi Minh Hue Chu and Ngoc Binh Nguyen and Duc Hanh Dang},
            year = {2016},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1515/},
        abstract = {Trong ph{\'a}t tri?n ph?n m?m, ki?m th? l{\`a} m?t quy tr{\`i}nh quan trong v{\`a} kh{\^o}ng th? thi?u {\dj}? ph{\'a}t tri?n m?t h? th?ng ph?n m?m tin c?y v{\`a} c{\'o} ch?t l??ng cao. {\DJ}? c{\'o} th? gi{\h a}m chi ph{\'i}, t{\u a}ng ch?t l??ng cho ho{\d a}t {\dj}?ng ki?m th? m?t h??ng ti?p c?n cho ki?m th? ph?n m?m l{\`a} k{\~y} thu?t ki?m th? d?a tr{\^e}n m{\^o} h{\`i}nh (Model-Based Tesing - MBT). K{\~y} thu?t n{\`a}y cho ph{\'e}p sinh t? {\dj}?ng c{\'a}c ca ki?m th? v{\`a} th?c thi t? {\dj}?ng c{\'a}c ca ki?m th? t? m{\^o} h{\`i}nh. Trong nghi{\^e}n c?u n{\`a}y, ch{\'u}ng t{\^o}i t?p trung v{\`a}o nghi{\^e}n c?u quy tr{\`i}nh sinh t? {\dj}?ng (Automated Test Cases Generation) c{\'a}c ca ki?m th? t? m{\^o} h{\`i}nh v?i h??ng ti?p c?n m{\^o} h{\`i}nh h{\'o}a mi?n chuy{\^e}n bi?t (Domain-Specific Modeling - DSM) cho v?n {\dj}? sinh c{\'a}c ca ki?m th? t? {\dj}?c t{\h a} ca s? d{\d u}ng (Use Case Specification). {\DJ}?c t{\h a} ca s? d{\d u}ng {\dj}??c vi?t trong t{\`a}i li?u {\dj}?c t{\h a} ph?n m?m b?ng ng{\^o}n ng? t? nhi{\^e}n v{\`i} v?y m{\`a} vi?c sinh t? {\dj}?ng c{\'a}c ca ki?m th? t? {\dj}?c t{\h a} n{\`a}y v?n c{\`o}n nhi?u th{\'a}ch th?c. Ch?t l??ng sinh c{\'a}c ca ki?m th? ph{\d u} thu?c v{\`a}o ti{\^e}u ch{\'i} ph{\h u} c{\'a}c ca ki?m th?. Nghi{\^e}n c?u n{\`a}y c{\h u}a ch{\'u}ng t{\^o}i t?p chung v{\`a}o nghi{\^e}n c?u v{\`a} {\dj}? xu?t ph??ng ph{\'a}p sinh t? {\dj}?ng c{\'a}c ca ki?m th? t? {\dj}?c t{\h a} ca s? d{\d u}ng v?i {\dj}? ph{\h u} c{\'a}c ca ki?m th? {\dj}{\d a}t {\dj}??c c{\'a}c ti{\^e}u ch{\'i} ph{\h u} ki?m th?}
}