(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 74 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC C ÒNG NGHẸNGUYỄN VĂN HÒAPHƯƠNG PHÁP SINH Dữ LIỆU KIỂM THỦ TỤ ĐỘNG TỪ BIẺƯ ĐÒ TUẦN Tự UML, BIÉU ĐÒ LỚP VÀ RÀNG B

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCLBUỘC OCLLUẬN VĂN THẠC sỉ KỸ THUẬT PHÀN MÈMHANOI-2016ĐẠI HỌC QUÓC GI A HÀ NỘI TRƯỜNG ĐẠI HỌC C ÔNG NGHẸNGUYỀN VÀN HÒAPHƯƠNG PHÁP SINH Dữ LIỆU KIỀM THỦ

Tự ĐỘNG TỪ BIÉU ĐÒ TƯẢN Tự UML, BIẺL ĐÒ LỚP VÀ RÀNG BUỘC OCLNgành: Còng nghệ thòng tin Chuyên ngành: Kỳ thuật phần mềm Mà số: 60480103LUẬN VĂN THẠC sĩ (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

KỸ THUẬT PHÀN MỀMCÁN BỌ HƯỚNG DẤN KHOA HỌC: PGS. TS. PHẠM NGỌC HÙNGHÀ NỘI-2016VIETNAM NATION AL UNIVERSITY, HANOI UNIVERSITY OF ENGINEERING TECHNOLOG

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

YNGUYEN VAN HOAA METHOD AND TOOL SUPPORTING FOR AUTOMATED TESTING FROM UML SEQUENC E DIAGRAMS, CLASS DIAGRAMS AND OCL CONSTRAINSTHE MS. THESIS INFORMA

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL Ngọc Hùng -Người đà trực tiếp hướng dần nhiệt tinh, giúp dở và động viên tôi rất nhiều, cho tòi có cơ hội được tiếp xúc vói các tải liệu tham kháo qu

ý giá. góp ý cho tòi những lời khuyên chân thành trong quá trinh nghiên cứu đề hoàn thành đề tài n«ày.Tiếp theo tòi xin gửi lời cảm ơn đến các thầy cô (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

giảng viên Trường Đại học Công Nghệ - Đại học Quốc Gia Hà Nội - những người dà tận tâm truyền đạt những kiến thức quỷ báu lãm nền tảng cho tôi suốt 2

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

năm học.Cuối cùng, tòi xin gửi lời biết ơn sâu săc tới gia đình vi đã luôn ở bên cạnh tòi, mang lại cho tòi nguồn động viên tinh thần to lớn và tạo m

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCLgiáo và các bạn quan tâm đê hoàn thiện vã phát trièn nhiều hơn về các phương pháp mói trong kiêm thử phần mềm.Xin trân trọng câm ơn!Hà Nội. ngày 10 th

áng 10 năm 2016Học viênNguyền Văn HòaiiTÓM TẤTLuận vãn này trình bày một phương pháp nghiên cứu tự đông hóa quá trinh kiêm thử dự án phần mềm từ biểu (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

đồ tuần lự UML 2.0. Hướng nghiên cứu dựa trên lý thuyết kiêm thử dựa trên mó hình. Mục tiêu đề ra là tự động hóa quá trinh kiêm thử. nàng cao hiệu quã

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

kiêm thử. tiết kiệm chi phi và thời gian phát triển dự án. Phương pháp được đề xuất với nôi dung chinh như sau Đầu vào là biêu đồ tuần tự ƯML 2.0 lưu

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL tử đó vè đồ thị dòng điều khiển tương ứng. Từ dồ thị dòng điều khiển sử dụng thuật toán dò tìm. thuật toán sinh ca kiềm thử cho các toán tử song song

có các diêm chia sẽ dừ liệu tìm ra các đường đi àr diêm bát đau cho tới diêm kết thúc gọi là các đường kiêm thử. Tập các đường kiêm thử dược chia tươ (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

ng ứng thành 3 cấp độ kiềm thư klì«ác nhau. Các ràng buộc trên mồi đường đi được thu thập và giải Lấy kết quà dưa trên còng cụ SMT solver kết hợp phươ

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

ng pháp sinh ngầu nhiên. Kết quã thu được sau khi giâi hệ chính Là đầu vào cho các ca kiêm thứ tương ứng. Cuối cùng trích xuát ra tệp excel Là các ca

(LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCLiệm với một số vi dụ dơn giãn nhẩm minh chửng cho tinh đúng dãn và hiệu quã của phương pháp trên. Ket quã thực nghiệm cho thấy hiệu quả của các ca kiê

m thứ cùng Là khà quan đề áp dung cho các còng ty phát triển phần mềm.Từ khóa: Kiêm thử dựa trên mó hình, kiêm thử lự động, biêu đồ tuần tự. đồ thị dò (LUẬN văn THẠC sĩ) phương pháp sinh dữ liệu kiểm thử tự động từ biểu đồ tuần tự UML, biểu đồ lớp và ràng buộc OCL

ng điều khiên, kiêm thử luồng song song, kiêm thử có chia sẻ dữ liệu luồng song song.iiiABSTRACT