Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Chu Thị Minh Huệ KIỂM THỬ DỰA TRÊN MÔ HÌNH VỚI CÁCH TIẾP CẬN MƠ HÌNH HĨA CHUN BIỆT MIỀN LUẬN ÁN TIẾN SỸ CÔNG NGHỆ THÔNG TIN Hà Nội - 2019 LỜI CAM ĐOAN Tôi xin cam đoan luận án ”Kiểm thử dựa mơ hình với cách tiếp cận mơ hình hóa chun biệt miền” cơng trình nghiên cứu riêng tơi Các số liệu, kết trình bày luận án hồn tồn trung thực chưa công bố cơng trình khác □ Tơi trích dẫn đầy đủ tài liệu tham khảo, cơng trình nghiên cứu liên quan nước quốc tế Ngoại trừ tài liệu tham khảo này, luận án hồn tồn cơng việc riêng tơi □ Trong cơng trình khoa học cơng bố luận án, tơi thể rõ ràng xác đóng góp đồng tác giả tơi đóng góp □ Luận án hồn thành thời gian làm Nghiên cứu sinh Bộ môn Công nghệ phần mềm, Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội Tác giả: Hà Nội: i LỜI CẢM ƠN Trước hết, muốn bày tỏ biết ơn đến PGS TS Nguyễn Ngọc Bình TS Đặng Đức Hạnh, cán hướng dẫn, thầy trực tiếp giảng dạy định hướng suốt thời gian học cao học, thực luận văn thạc sĩ luận án Một vinh dự lớn cho học tập, nghiên cứu hướng dẫn Thầy Tôi xin bày tỏ biết ơn sâu sắc đến Thầy Cô Bộ môn Công nghệ phần mềm giúp đỡ Thầy Cơ đóng góp hữu ích cho luận án Tơi xin trân trọng cảm ơn Khoa Công nghệ thông tin, Phòng Đào tạo Ban giám hiệu trường Đại học Công nghệ tạo điều kiện thuận lợi cho suốt q trình thực luận án Tơi bày tỏ biết ơn đến Trường Đại học Sư phạm Kỹ thuật Hưng Yên tạo điều kiện thời gian tài cho tơi thực luận án Tôi muốn cảm ơn đến Ban chủ nhiệm, cán bộ, giảng viên Khoa Công nghệ thông tin - Trường Đại học Sư phạm Kỹ thuật Hưng Yên cổ vũ động viên sát cánh bên suốt q trình nghiên cứu Tơi muốn cảm ơn đến tất người bạn tôi, người chia sẻ, động viên tơi cần tơi ln ghi nhớ điều Cuối cùng, tơi xin bày tỏ lịng biết ơn vơ hạn cha mẹ, chồng, gia đình ủng hộ yêu thương cách vô điều kiện Nếu khơng có ủng hộ gia đình chồng tơi khơng thể hồn thành luận án ii iii TÓM TẮT Luận án trình bày số phương pháp cho phép sinh tự động ca kiểm thử chức mức hệ thống từ ca sử dụng áp dụng kỹ thuật kiểm thử dựa mơ hình với hướng tiếp cận mơ hình hóa chun biệt miền (Domain Specific Modeling - DSM ) Cụ thể, luận án quan tâm đến phương pháp đặc tả rõ ràng ca sử dụng ca kiểm thử mơ hình ngơn ngữ mơ hình hóa chun biệt miền phương pháp chuyển tự động mơ hình ca sử dụng sang mơ hình ca kiểm thử ngơn ngữ đặc tả chun biệt miền Các đóng góp luận án sau Đề xuất ngôn ngữ USL (Use Case Specification Language) để đặc tả rõ ràng ca sử dụng, hướng đến khả sinh tự động chế tác phần mềm (software artifacts) khác quy trình phát triển phần mềm chuyển đổi mơ hình Ngơn ngữ xây dựng với cách tiếp cận mơ hình hóa chun biệt miền Xây dựng ngơn ngữ TCSL (Test Case Specification Language) để đặc tả rõ ràng ca kiểm thử Ngôn ngữ xây dựng với cách tiếp cận mơ hình hóa chun biệt miền Đề xuất phương pháp USLTG (USL-based Test Generation) để sinh tự động ca kiểm thử từ ca sử dụng cách chuyển đổi tự động mơ hình USL vào mơ hình TCSL Xây dựng cơng cụ hỗ trợ USL để thực hóa đề xuất luận án Bộ công cụ hỗ trợ USL cho phép tích hợp ngơn ngữ USL vào phương pháp phát triển phần mềm hướng mơ hình Cụ thể, cơng cụ cung cấp trình soạn thảo để tạo mơ hình USL trực quan cung cấp sinh tự động chế tác khác từ mơ hình Trọng tâm luận án sinh ca kiểm thử tự động từ mơ hình USL Ngồi ra, luận án trình bày ví dụ nghiên cứu áp dụng cho phương pháp luận án, cung cấp đánh giá ngôn ngữ USL với ngôn ngữ đặc tả khác, so sánh phương pháp USLTG với số phương pháp sinh ca kiểm thử từ ca sử dụng khác Từ khóa: ca sử dụng, ca kiểm thử, sinh ca kiểm thử tự động, mơ hình hóa chun biệt miền, USL, TCSL, USLTG Mục lục Lời cam đoan Lời cảm ơn i ii Tóm tắt iii Mục lục iv Danh mục từ viết tắt Danh mục bảng Danh mục hình vẽ vii ix x Danh mục thuật toán xii Danh mục đặc tả xiii Chương MỞ ĐẦU 1.1 Đặt vấn đề 1.2 Mục tiêu nghiên cứu đóng góp luận án 1.3 Cấu trúc luận án 1 Chương KIẾN THỨC CƠ SỞ 11 2.1 Kiểm thử dựa ca sử dụng 11 2.1.1 Kiểm thử phần mềm 11 2.1.2 Ca sử dụng 22 2.1.3 Xây dựng ca kiểm thử từ ca sử dụng 25 2.2 Mơ hình hóa chun biệt miền .27 2.2.1 Một số khái niệm 27 2.2.2 Phương pháp xây dựng DSML 28 2.2.3 Xây dựng DSML Eclipse .31 2.3 Chuyển đổi mô hình .32 2.3.1 Chuyển đổi mơ hình sang mơ hình 32 iv 2.3.2 Chuyển đổi mơ hình sang văn 34 2.4 Ngôn ngữ ràng buộc đối tượng OCL 38 2.4.1 Cơ OCL 38 2.4.2 Công cụ hỗ trợ OCL 41 2.5 Tổng kết chương 46 Chương ĐẶC TẢ CA SỬ DỤNG THEO HƯỚNG MƠ HÌNH HĨA CHUN BIỆT MIỀN 47 3.1 Giới thiệu 47 3.2 Các nghiên cứu liên quan .49 3.3 Xác định miền cho ngữ cảnh đặc tả ca sử dụng 52 3.4 Cú pháp USL 58 3.4.1 Cú pháp trừu tượng USL 58 3.4.2 Các luật hợp lệ siêu mơ hình USL 62 3.4.3 Cú pháp cụ thể USL 66 3.5 Ngữ nghĩa hình thức mơ hình USL .69 3.6 Chuyển đổi mơ hình USL .76 3.6.1 Sinh ca kiểm thử 76 3.6.2 Sinh mơ hình cấu trúc mơ hình hành vi 77 3.6.3 Sinh TUCDs .78 3.7 Tổng kết chương 81 Chương PHƯƠNG PHÁP SINH TỰ ĐỘNG CÁC CA KIỂM THỬ TỪ MƠ HÌNH CA SỬ DỤNG VÀ MƠ HÌNH KHÁI NIỆM MIỀN CỦA HỆ THỐNG 82 4.1 Giới thiệu 82 4.2 Các nghiên cứu liên quan .85 4.3 Tổng quan phương pháp đề xuất 88 4.4 Ngôn ngữ đặc tả ca kiểm thử TCSL 89 4.4.1 Xác định miền cho ngữ cảnh đặc tả ca kiểm thử chức 90 4.4.2 Định nghĩa siêu mô hình TCSL 92 4.5 Chuyển đổi mơ hình từ USL sang TCSL .96 4.5.1 Xác định tiêu chí phủ 96 4.5.2 Sinh kịch ca sử dụng ràng buộc 97 4.5.3 Sinh liệu đầu vào kiểm thử .101 4.5.4 Sinh mơ hình TCSL 106 4.6 Tổng kết chương 109 Chương THỰC NGHIỆM VÀ ĐÁNH GIÁ 111 5.1 Giới thiệu 111 5.2 Công cụ hỗ trợ USL 112 5.3 Ví dụ minh họa 115 5.4 Đánh giá 122 5.4.1 Đánh giá ngôn ngữ USL .122 5.4.2 Đánh giá phương pháp sinh ca kiểm thử USLTG 129 5.5 Tổng kết chương 133 Chương KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN 134 6.1 Các đóng góp luận án 135 6.2 Hướng phát triển 137 DANH MỤC CÁC CÔNG TRÌNH KHOA HỌC 140 TÀI LIỆU THAM KHẢO 140 DANH MỤC CÁC TỪ VIẾT TẮT Từ viết tắt Dạng đầy đủ ATL Diễn giải ATLAS Transformation Ngôn ngữ chuyển đổi ATLAS Language DSL Domain-Specific Language Ngôn ngữ chuyên biệt miền DSM Domain-Specific Modeling Mơ hình hóa chun biệt miền DSML Domain-Specific Modeling Ngơn ngữ mơ hình hóa Language chun biệt miền EMF Eclipse Modeling Framework Khung mơ hình hóa eclipse GMF Graphical Modeling Khung mơ hình hóa Framework đồ họa Keyword-Driven Testing Khung kiểm thử Framework hướng từ khóa Labelled Transition System Hệ thống chuyển KDTF LTS gán nhãn MBT Model-Based Testing Kiểm thử dựa mơ hình MDD Model-Driven Deverlop Phát triển hướng mơ hình MDE Model-Driven Engineering Kỹ nghệ hướng mơ hình MOF Meta-Object Facility Phương tiện siêu đối tượng M2M Model to Model Mơ hình sang mơ hình M2T Model to Text Mơ hình sang văn NLP Natural Language Processing Xử lý ngôn ngữ tự nhiên vii Danh mục từ viết tắt NTD RNL RSL viii Navigational Development Các kỹ thuật phát triển Techniques điều hướng Restricted-form of Natural Định dạng bị giới hạn Language ngôn ngữ tự nhiên Requirements Specification Ngôn ngữ đặc tả u cầu Language Restricted Use Case Mơ hình hóa ca sử dụng Modeling giới hạn OMG Object Management Group Nhóm quản lý đối tượng OCL Object Constraint Language Ngôn ngữ ràng buộc đối tượng TCSL Test Case Specification Ngôn ngữ đặc tả Language ca kiểm thử TSL Test Specification Language Ngôn ngữ đặc tả kiểm thử UCTM Use Case Test Model Mơ hình kiểm thử ca sử dụng UML Unified Modeling Language Ngơn ngữ mơ hình hóa thống USL Use Case Specication Ngôn ngữ đặc tả ca sử dụng RUCM Language USLTG USL-based Test Generation Sinh kiểm thử dựa mơ hình USL XML eXtensible Markup Language Ngôn ngữ đánh dấu mở rộng DANH MỤC CÁC BẢNG 2.1 2.2 2.3 2.4 Một mẫu mô tả ca sử dụng 24 Các kịch ca sử dụng Đăng nhập 25 Các ca kiểm thử cho ca sử dụng Đăng nhập 26 Các ca kiểm thử ca sử dụng Đăng nhập với giá trị xác định 26 3.1 3.2 3.3 3.4 Mô tả ca sử dụng Lend book 54 Các ký hiệu đồ họa khái niệm mơ hình USL .66 Danh sách hàm định nghĩa D .72 Ngữ nghĩa dựa LTS khái niệm USL 74 4.1 Hai ca kiểm thử ca sử dụng Lend book .91 5.1 Mô tả ca sử dụng Withdraw .115 5.2 Các biến đầu vào điều kiện gác xử lý kịch ca sử dụng Withdraw 119 5.3 Các đối tượng EV sinh kịch ca sử dụng Withdraw 119 5.4 Các ca kiểm thử sinh ca sử dụng Lend book 120 5.5 So sánh khả diễn tả ngôn ngữ đặc tả ca sử dụng 124 5.6 Số kịch sinh số nghiên cứu 130 5.7 Sự so sánh thông tin xác định ngôn ngữ đặc tả kiểm thử phương pháp 131 ix ... hình Ngơn ngữ xây dựng với cách tiếp cận mơ hình hóa chuyên biệt miền Xây dựng ngôn ngữ TCSL (Test Case Specification Language) để đặc tả rõ ràng ca kiểm thử Ngôn ngữ xây dựng với cách tiếp cận. .. động hóa kiểm thử phần mềm áp dụng cho kiểm thử chức Để thực mục tiêu sinh tự động ca kiểm thử chức từ ca sử dụng, luận án sử dụng phương pháp kiểm thử dựa mơ hình với hướng tiếp cận mơ hình hóa. .. thuật kiểm thử dựa mơ hình với hướng tiếp cận mơ hình hóa chuyên biệt miền (Domain Specific Modeling - DSM ) Cụ thể, luận án quan tâm đến phương pháp đặc tả rõ ràng ca sử dụng ca kiểm thử mơ hình