Luận án đề xuất các giải pháp hỗ trợ trong việc giải quyết các vấn đề của bài toán trên. Thứ nhất, luận án đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML và các ràng buộc OCL. Biểu đồ tuần tự UML có thể á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. Và phương pháp áp dụng cho các ràng buộc kiểu dữ liệu số và cấu trúc động. Thứ hai, luận án đề xuất phương pháp sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML và biểu đồ lớp trong trường hợp vòng lặp và các ứng dụng tương tranh, giải quyết vấn đề bùng nổ số kịch bản kiểm thử; . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ VŨ THỊ ĐÀO CÁC KỸ THUẬT SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ DỰA TRÊN CÁC BIỂU ĐỒ UML Chuyên ngành Kỹ thuật Phần mềm Mã số TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội 2018 Công trình được hoàn thành tại Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội. Người hướng dẫn khoa học PGS. TS Nguyễn Việt Hà Phản biện 1 Phản biện 2 Phản biện 2 Luận án tiến sĩ sẽ được bảo vệ trước hội đồng cấp Đại học Quốc gia chấm luận án tiến sĩ họp tại Vào hồi 14h giờ 00 ngày 28 tháng 11 năm 2017 Có thể tìm hiểu luận án tại - Thư viện Quốc gia Việt Nam - Trung tâm Thông tin Thư viện Đại học Quốc gia Hà Nộ Chương 1 Giới thiệu Đặt vấn đề Trong quá trình phát triển phần mềm kiểm thử là giai đoạn quan trọng và thực sự cần thiết để tạo ra một hệ thống phần mềm có chất lượng cao. Các công ty phần mềm cũng như các tổ chức phát triển phần mềm hướng tới giải pháp tự động hóa quá trình kiểm thử. Tuy nhiên đa số quá trình thực hiện tự động đều tập trung vào việc thực thi kịch bản và dữ liệu kiểm thử mà không quan tâm nhiều đến việc thiết kế chúng. Hơn nữa việc phát hiện lỗi phần mềm chủ yếu là do chất lượng của các kịch bản và dữ liệu kiểm thử được thiết kế. Vì vậy luận án tập trung giải quyết ở giai đoạn thiết kế kiểm thử sinh các kịch bản và dữ liệu kiểm thử từ các biểu đồ UML Unified Modeling Language và các ràng buộc OCL Object Constraint Language . Luận án đề xuất các giải pháp hỗ trợ trong việc giải quyết các vấn đề của bài toán trên. Thứ nhất luận án đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML và các ràng buộc OCL. Biểu đồ tuần tự UML có thể á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. Và phương pháp áp dụng cho các ràng buộc kiểu dữ liệu số và cấu trúc động. Thứ hai luận án đề xuất phương pháp sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML và biểu đồ lớp trong trường hợp vòng lặp và các ứng dụng tương tranh giải quyết vấn đề bùng nổ số kịch bản .
