tailieunhanh - 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ú 59 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 390 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 315 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 2

(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 461861 55

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

14 22625 59

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 10883 529

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

14 10061 446

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 9517 104

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

249 8277 1125

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

16 8227 423

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

8 7863 2220

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

17 6672 253

Vật lý hạt cơ bản (1)

29 5768 85

TỪ KHÓA LIÊN QUAN

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

Giáo án mầm non chương trình đổi mới: Đề tài: Ôn xác định vị trí trên – dưới, trước- sau của đối tượng khác.

8 352 3 25-04-2024

Động cơ đốt trong và máy kéo công nghiêp tập 2 part 8

32 259 0 25-04-2024

Mass Transfer in Multiphase Systems and its Applications Part 19

40 255 1 25-04-2024

Bibliography on Medieval Women, Gender, and Medicine 1980-2009

82 208 0 25-04-2024

Trading Strategies Profit Making Techniques For Stock_3

23 184 0 25-04-2024

Bơm máy nén quạt trong công nghệ part 1

20 249 2 25-04-2024

Lịch sử Đội TNTP Hồ Chí Minh - CHƯƠNG III VÂNG LỜI BÁC DẠY, LÀM NGHÌN VIỆC TỐT, CHỐNG MỸ, CỨU NƯỚC, THIẾU NIÊN SĂN SÀNG

45 136 0 25-04-2024

Hướng dẫn sử dụng Quickoffice cho Ipad và Iphone

13 151 0 25-04-2024

New Trends and Developments in Automotive Industry Part 7

35 94 0 25-04-2024

Báo cáo khoa học: "Modèle d’évolution des peuplements en futaie jardinée M Bruciamacchie"

10 77 0 25-04-2024

TÀI LIỆU HOT

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

8 7863 2220

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 5712 1363

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

112 3766 1231

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

62 5316 1136

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

249 8277 1125

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

561 3495 642

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 10883 529

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

122 3681 525

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

274 4043 514

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

35 4124 480