TAILIEUCHUNG - Tóm tắt Luận văn Thạc sĩ: Sinh tự động ca kiểm thử từ các mô hình thực thi được

Luận văn trình bày một phương pháp nghiên cứu tự động hóa quá trình sinh ca kiểm thử từ mô hình luồng quy trình nghiệp vụ (BPMN). 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á trình kiểm thử, nâng cao hiệu quả kiểm thử, tiết kiệm chi phí và thời gian phát triển sản phẩm phần mềm. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ DƯƠNG THỊ THANH HUYỀN SINH TỰ ĐỘNG CA KIỂM THỬ TỪ CÁC MÔ HÌNH THỰC THI ĐƯỢC Ngành: Công nghệ thông tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN CÁN BỘ HƯỚNG DẪN KHOA HỌC: TS. Đặng Đức Hạnh HÀ NỘI – 2017 TÓM TẮT Luận văn trình bày một phương pháp nghiên cứu tự động hóa quá trình sinh ca kiểm thử từ mô hình luồng quy trình nghiệp vụ (BPMN). 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á trình kiểm thử, nâng cao hiệu quả kiểm thử, tiết kiệm chi phí và thời gian phát triển sản phẩm phần mềm. Phương pháp được đề xuất với nội dung chính như sau: Với đầu vào là mô hình luồng nghiệp vụ BPMN lưu giữ dưới dạng tệp xml, chương trình kiểm thử biến đổi tệp xml bằng cách bóc tách các thông điệp, toán tử và các ràng buộc được đưa vào trong thiết kế. Sau đó thực hiện dò tìm và sinh ca kiểm thử cho các đường đi từ điểm bắt đầu cho tới điểm kết thúc gọi là các đường kiểm thử. Để kiểm nghiệm mức độ khả thi của phương pháp, một công cụ hỗ trợ đã được cài đặt và thử nghiệm với một số ví dụ đơn giản nhằm minh chứng cho tính đúng đắn và hiệu quả của phương pháp trên. Kết quả thực nghiệm cho thấy hiệu quả của các kịch bản ca kiểm thử là khả thi để áp dụng cho các công ty phát triển phần mềm. Từ các ca kiểm thử được sinh ra có thể áp dụng để kiểm thử tích hợp, kiểm thử hệ thống phần mềm. Hơn nữa, các ca kiểm thử còn có thể áp dụng để kiểm tra tính đúng đắn của các công cụ quản lý quy trình nghiệp vụ. Từ khóa: Kiểm thử dựa trên mô hình, kiểm thử tự động, mô hình hóa quy trình nghiệp vụ, quản lý quy trình nghiệp vụ. i TÓM TẮT . i BẢNG THUẬT NGỮ VIẾT TẮT . iv CHƯƠNG 1: ĐẶT VẤN ĐỀ .1 CHƯƠNG 2: .

Mỹ Nga 87 37 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

Tóm tắt luận văn thạc sĩ: Hoàn thiện mô hình tổ chức kế toán tại công ty điện lực Quảng Nam thuộc tổng công ty điện lực miền Trung

29 429 10

Tóm tắt luận văn thạc sĩ: Kiểm soát nội bộ hoạt động tín dụng tại ngân hàng nông nghiệp và phát triển nông thôn thành phố Đà Nẵng

25 389 5

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát nội bộ đối với hoạt động tín dụng tại các chi nhánh NHNo&PTNT khu vực miền Trung

26 286 1

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát nội bộ hoạt động tín dụng tại ngân hàng thương mại cổ phần quân đội - chi nhánh Đà Nẵng

26 332 2

Tóm tắt luận văn thạc sĩ: Tăng cường kiểm soát tín dụng tại ngân hàng NHNo&PTNT Đà Nẵng

13 333 2

Tóm tắt luận văn thạc sĩ: Thiết kế thủ tục kiểm soát trong chương trình quản lý bảo hiểm xã hội tại bảo hiểm xã hội thành phố Đà Nẵng

13 299 0

Tóm tắt luận văn thạc sĩ: Tổ chức kiểm toán nội bộ tại công ty cổ phần xây dựng xây lắp Đà Nẵng (Coxiva)

26 354 5

Mẫu báo cáo giải trình sau bảo vệ luận văn thạc sĩ

11 337 8

Mấy ý kiến về viết luận văn thạc sĩ lí luận và phương pháp dạy học văn - Trần Thanh Bình

4 414 3

Luận văn Thạc sĩ Kinh tế: Phát triển kinh tế hộ và những tác động đến môi trường khu vực nông thôn huyện Định Hóa tỉnh Thái Nguyên

148 453 13

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461864 55

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

14 22635 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 10884 529

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

14 10064 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 9519 104

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

249 8280 1125

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

16 8230 423

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

8 7864 2220

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

17 6686 253

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

29 5770 85

TỪ KHÓA LIÊN QUAN

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

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

32 260 0 26-04-2024

extremetech Hacking BlackBerry phần 9

31 248 0 26-04-2024

Trading Strategies Profit Making Techniques For Stock_3

23 184 0 26-04-2024

Trading Strategies Profit Making Techniques For Stock_8

23 175 0 26-04-2024

Anh văn bằng C-124

8 175 0 26-04-2024

Báo cáo nghiên cứu khoa học " KẾT QUẢ NGHIÊN CỨU BƯỚC ĐẦU VỀ THIÊN ĐỊCH CHÂN KHỚP TRÊN CÂY THANH TRÀ Ở THỪA THIÊN HUẾ "

7 175 0 26-04-2024

MÔN HỌC VẬT LIỆU VÀ CÔNG NGHỆ KIM LOẠI - PHẦN I: KIM LOẠI HỌC

32 176 2 26-04-2024

HƯỚNG DẪN SỬ DỤNG PHẦN MỀM CAITA part 9

18 129 0 26-04-2024

Diseases of the Liver and Biliary System - part 1

33 123 0 26-04-2024

báo cáo hóa học:" Rare ligamentum flavum cyst causing incapacitating lumbar spinal stenosis: Experience with 3 Chinese patients"

4 96 0 26-04-2024

TÀI LIỆU HOT

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

8 7864 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 5722 1368

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

112 3767 1231

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

62 5319 1136

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

249 8280 1125

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

561 3498 643

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

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

122 3684 525

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

274 4046 515

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

35 4127 480