TAILIEUCHUNG - Tóm tắt Luận án Tiến sĩ: Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML

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 .

Nam Tú 70 27 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Dự thảo tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu phương pháp phân tích dạng một số nguyên tố độc hại trong đối tượng môi trường

27 389 7

Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu quy trình tách chiết, phân tích ADN và tế bào phôi thai tự do trong máu ngoại vi của mẹ để chẩn đoán trước sinh

23 312 3

Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu tính đa dạng nguồn cây thuốc được sử dụng trong cộng đồng các dân tộc ở tỉnh Thái Nguyên nhằm bảo tồn và phát triển bền vững

26 314 7

Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu vi sinh vật ứng dụng cho sản xuất biogas làm tăng hiệu suất trong điều kiện môi trường nước lợ và nước mặn

23 246 1

Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu nhân dòng và biểu hiện trên bề mặt bào tử Bacillus subtilis gen mã hóa kháng nguyên VP28 của virus gây bệnh đốm trắng ở tôm

27 285 3

Dự thảo Tóm tắt Luận án Tiến sĩ Toán học: Một số phương pháp kết hợp giải hệ phương trình toán tử

26 291 1

(Dự thảo) Tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu các phức chất đa nhân kim loại chuyển tiếp d-f trên cơ sở phối tử thioure

27 248 0

Dự thảo Tóm tắt Luận án Tiến sĩ Địạ lí: Nghiên cứu cảnh quan cho định hướng không gian phát triển nông lâm nghiệp huyện miền núi Quỳ châu, tỉnh Nghệ An

27 304 0

(Dự thảo) Tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu chế tạo một số hệ nhũ tương sinh nhiệt để xử lý, ngăn ngừa parafin lắng đọng trong đường ống dẫn dầu thô ở Việt Nam

27 263 2

Dự thảo tóm tắt Luận Án Tiến sĩ Sinh học: Nghiên cứu đa dạng sinh học ba bộ côn trùng nước bộ phù du (ephemeroptera), bộ cánh úp (plecoptera) và bộ cánh lông (trichoptera) ở vườn quốc gia Hoàng liên, tỉnh Lào Cai

27 248 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 462336 61

Giới thiệu :Lập trình mã nguồn mở

14 25915 79

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11335 542

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10543 466

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9835 108

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8885 1161

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8499 426

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8098 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 7709 1788

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 7240 268

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Quy Trình Canh Tác Cây Bông Vải

8 164 3 23-12-2024

Báo cáo nghiên cứu khoa học " HÃY LÀM CHO HUẾ XANH HƠN VÀ ĐẸP HƠN "

6 180 3 23-12-2024

Chương 10: Các phương pháp tính quá trình quá độ trong mạch điện tuyến tính

57 232 7 23-12-2024

báo cáo hóa học:" Perceptions of rewards among volunteer caregivers of people living with AIDS working in faith-based organizations in South Africa: a qualitative study"

10 156 1 23-12-2024

Giáo án điện tử tiểu học môn lịch sử: Cách mạng mùa thu

39 164 1 23-12-2024

Báo cáo y học: "The Factors Influencing Depression Endpoints Research (FINDER) study: final results of Italian patients with depressio"

9 147 1 23-12-2024

Báo cáo " Bàn về hành vi pháp luật và hành vi đạo đức "

11 177 2 23-12-2024

Báo cáo nghiên cứu khoa học " Vai trò chính quyền địa phương trong phát triển kinh tế : khu chuyên doanh gốm sứ ( Trung Quốc ) và Bát Tràng ( Việt Nam )("

11 212 1 23-12-2024

Word Games with English 1

65 137 1 23-12-2024

Chủ đề 3 : SỰ CÂN BẰNG CỦA VẬT RẮN (4 tiết)

9 206 1 23-12-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8098 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 7709 1788

Ebook Chào con ba mẹ đã sẵn sàng

112 4406 1371

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 6273 1266

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8885 1161

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3835 680

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3917 609

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4700 565

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11335 542

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4501 490