1. Họ và tên nghiên cứu sinh: Vũ Thị Đào
2. Giới tính: Nữ
3. Ngày sinh: 01/05/1982
4. Nơi sinh: Thái Bình
5. Quyết định công nhận nghiên cứu sinh số: 3205/QĐ-SĐT ngày 08 tháng 11 năm 2010 của Giám đốc Đại học Quốc Gia Hà Nội.
6. Các thay đổi trong quá trình đào tạo:
Theo quyết định số 1496/QĐ-ĐT ngày 20/05/2011 của Giám đốc ĐHQGHN cho phép NCS đi học tiếng Anh ở nước ngoài 08 tháng.
Theo quyết định số 3729/QĐ-ĐHQGHN ngày 18/10/2013 của Giám đốc ĐHQGHN cho phép tạm ngừng học tập trong thời gian 06 tháng vì lý do thai sản.
Thay đổi tên đề tài luận án tiến sĩ theo quyết định số 365/QĐ-ĐT, ngày 13 tháng 06 năm 2014. Tên đề tài: Các kỹ thuật sinh dữ liệu kiểm thử tự động dựa trên mô hình.
7. Tên đề tài luận án: Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML.
8. Chuyên ngành: Kỹ thuật phần mềm
9. Mã số: 62.48.01.03
10. Cán bộ hướng dẫn khoa học: PGS.TS. Nguyễn Việt Hà
11. Tóm tắt các kết quả mới của luận án:
Đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML 2.0 và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 được áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép nhau. Quá trình sinh dữ liệu kiểm thử tự động được áp dụng cho các biến số và cấu trúc động. Các kịch bản và dữ liệu kiểm thử được sinh ra có thể chuyển thủ công thành các đoạn mã kiểm thử (test script) và thực hiện tự động dựa trên các công cụ kiểm thử. Công cụ đã được cài đặt thực thi với các hệ thống cụ thể và đưa ra các kết quả để minh chứng tính hiệu quả và chính xác của phương pháp đề xuất. Các kết quả thực nghiệm chỉ ra rằng phương pháp đề xuất sinh ra dữ liệu kiểm thử có độ bao phủ và khả năng tìm lỗi tốt hơn phương pháp đã có trong hầu hết các trường hợp.
Đề xuất một phương pháp sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML 2.0 và biểu đồ lớp trong trường hợp vòng lặp và các ứng dụng tương tranh. Phương pháp sinh ra các kịch bản kiểm thử có thể tránh được sự bùng nổ các kịch bản kiểm thử và các lỗi tương tranh của hệ thống có thể được tìm thấy. Hơn nữa, điểm mới của phương pháp là sinh dữ liệu kiểm thử trong kiểm thử vòng lặp. Phương pháp này hỗ trợ các tiêu chuẩn bao phủ tương tranh khác nhau và có thể kiểm thử các lỗi liên quan đến khóa chết và đồng bộ. Các thực nghiệm chỉ ra khả năng tìm lỗi của các kịch bản kiểm thử đó tốt hơn so với phương thức kiểm thử khác trong nhiều trường hợp, chứng tỏ tính hiệu quả và độ tin cậy của phương pháp đưa ra về mặt thực nghiệm.
Đề xuất một phương pháp cải tiến việc sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML 2.0 và biểu đồ lớp với các ràng buộc chuỗi. Đồ thị dòng điều khiển là đầu vào, thuật toán đưa ra sinh các kịch bản kiểm thử để tránh bùng nổ các đường dẫn kiểm thử trong trường hợp không có điểm chia sẻ dữ liệu giữa luồng song song trong các ứng dụng. Với các kịch bản kiểm thử sinh ra đó và một tập các ràng buộc chuỗi cùng các biểu thức tại vùng biên của các biến được chuyển đổi thành định dạng đầu vào của bộ giải Z3-str. So sánh với các tiếp cận hiện tại của Z3-str, luận án đưa ra quy tắc giảm, phương pháp đệ quy cho toán tử search, replaceAll và mở rộng các quy tắc tiền xử lý cho các toán tử charAt, lastindexOf, trim, startsWith và endsWith. Các kết quả thực nghiệm chỉ ra rằng các dữ liệu kiểm thử sinh ra thỏa mãn tiêu chuẩn bao phủ biên và các ca kiểm thử có độ bao phủ cao hơn một số phương pháp hiện tại.
12. Khả năng ứng dụng trong thực tiễn: Kết quả trong luận án có thể ứng dụng vào đặc tả và kiểm thử các hệ thống có tính tương tranh, kiểm thử vòng lặp và sinh tự động dữ liệu kiểm thử với các kiểu dữ liệu số, cấu trúc động và các ràng buộc chuỗi.
13. Những hướng nghiên cứu tiếp theo: Nghiên cứu khả năng chuẩn hóa các ca kiểm thử được sinh ra để có thể thực hiện tự động trong hệ thống thực; tiếp tục phát triển phương pháp sinh tự động dữ liệu kiểm thử từ các biểu đồ UML khác hoặc kết hợp với các biểu đồ khác nhau để đạt độ bao phủ tốt hơn; nghiên cứu xác định các kịch bản kiểm thử sinh ra khả khi hoặc không khả thi mà không cần dữ liệu kiểm thử đầu vào.
14. Các công trình đã công bố có liên quan đến luận án:
[1] Vũ Thị Đào, Tô Văn Khánh và Nguyễn Việt Hà (2014), “Phương pháp sinh ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tương OCL”, Chuyên san Các công trình nghiên cứu, phát triển và ứng dụng CNTT-TT, Tập V-1, số 11(31), pp. 70-82 (ISSN: 1859–3526).
[2] Thi Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen (2015), “A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language”, In Proc. Of the Sixth International Symposium Informationand Communication Technology (SoICT 2015), pp. 335–441. ACM International Publishing.
