ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ BÍCH HÀ SINH CA KIỂM THỬ TỪ CÁC BIỂU ĐỒ UML LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN HÀ NỘI - 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN THỊ BÍCH HÀ SINH CA KIỂM THỬ TỪ CÁC BIỂU ĐỒ UML 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 NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS Trương Ninh Thuận HÀ NỘI - 2015 LỜI CAM ĐOAN Tôi xin cam đoan kết đạt luận văn nghiên cứu, sưu tầm, tổng hợp xếp lại phù hợp với yêu cầu luận văn Toàn điều trình bày khóa luận cá nhân, tham khảo tổng hợp từ nguồn tài liệu khác Tất tài liệu tham khảo, tổng hợp trích dẫn với nguồn gốc rõ ràng Toàn chương trình, mã nguồn thiết kế xây dựng, không chép chưa công bố phương tiện Tôi xin chịu hoàn toàn trách nhiệm lời cam đoan Nếu có điều sai trái, xin chịu hình thức kỷ luật theo qui định Hà Nội, tháng năm Học viên Nguyễn Thị Bích Hà i LỜI CẢM ƠN Lời đầu tiên, xin bày tỏ lòng biết ơn chân thành đến thầy cô giáo khoa Công nghệ Thông tin, Đại học Công Nghệ, Đại học Quốc Gia Hà Nội tận tình truyền đạt kiến thức động viên giúp đỡ học tập trường Đặc biệt, muốn gửi lời cảm ơn sâu sắc đến thầy giáo, phó giáo sư, tiến sĩ Trương Ninh Thuận, người tận tình bảo, hướng dẫn suốt trình nghiên cứu hoàn thiện luận văn tốt nghiệp Tôi xin cảm ơn bạn bè, đồng nghiệp thành viên gia đình tạo điều kiện tốt nhất, động viên, cổ vũ suốt trình học tập làm luận văn tốt nghiệp Hà Nội, ngày tháng năm Học viên Nguyễn Thị Bích Hà ii MỤC LỤC LỜI CAM ĐOAN .i LỜI CẢM ƠN ii BẢNG CÁC CHỮ VIẾT TẮT iv DANH MỤC CÁC HÌNH VẼ VÀ CÁC BẢNG v CHƯƠNG 1:TỔNG QUAN 1.1 Đặt vấn đề 1.2 Tổng quan tình hình nghiên cứu 1.3 Nội dung nghiên cứu 1.4 Cấu trúc khóa luận CHƯƠNG 2: KIẾN THỨC CHUNG 2.1 Kiểm thử phần mềm 2.1.1 Các khái niệm kiểm thử phần mềm 2.1.2 Mức kiểm thử 2.2 Giới thiệu ngôn ngữ UML 12 2.2.1 Biểu đồ trạng thái 15 2.2.2 Biểu đồ 16 2.2.3 Đồ thị 18 CHƯƠNG 3: PHƯƠNG PHÁP SINH CA KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ VÀ BIỂU ĐỒ TRẠNG THÁI 20 3.1 Phương pháp thực 20 3.2 Ví dụ minh họa 22 3.3 Cài đặt thử nghiệm 27 3.3.1 Giới thiệu Modelio 28 3.3.2 Các bước tạo module cho Modelio 29 3.3.3 Các thuật toán áp dụng 36 3.3.3.1 Thuật toán chuyển từ biểu đồ sang đồ thị 36 3.3.3.2 Thuật toán duyệt đồ thị xác định test path 40 3.3.3.3 Kết hợp biểu đồ trạng thái vào test path 41 iii 3.3.4 Kết cài đặt thử nghiệm 42 CHƯƠNG 4: KẾT LUẬN 44 4.1 Các kết đạt hạn chế 44 4.2 Các công việc tương lai 44 TÀI LIỆU THAM KHẢO 45 iv BẢNG CÁC CHỮ VIẾT TẮT Chữ viết Cách viết đầy đủ Dịch nghĩa Tiếng Việt tắt UML Unified Modeling Language Ngôn ngữ mô hình hóa thống BPMN Business Process Modeling Notaion Hệ thống ký hiệu mô hình hoá tiến trình nghiệp vụ SysML System Modeling Language Ngôn ngữ mô hình hoá hệ thống SoaML Service Oriented Architecture Ngôn ngữ mô hình hoá kiến trúc Modeling Language hướng dịch vụ Artificial Intelligence Trí tuệ nhân tạo AI iv DANH MỤC CÁC HÌNH VẼ VÀ CÁC BẢNG Hình 2.1: Quy trình kiểm thử phần mềm Hình 2.2: Các hướng nhìn UML 12 Hình 2.3: loại biểu đồ ngôn ngữ UML 14 Hình 2.4: Các thành phần mô hình thường gặp UML 14 Hình 2.5: Ví dụ biểu đồ trạng thái 15 Hình 2.6: Ví dụ biểu đồ 17 Hình 2.7: Biểu đồ 18 Hình 2.8: Đồ thị tương ứng hình 2.7 19 Hình 3.1: Các bước sinh ca kiểm thử 21 Hình 3.2: Sơ đồ use case hệ thống máy rút tiền ATM từ góc nhìn người sử dụng 22 Hình 3.3: Biểu đồ chức rút tiền 24 Hình 3.4: Biểu đồ trạng thái máy ATM chức rút tiền 25 Hình 3.5: Đồ thị chức rút tiền 26 Hình 3.6: Kết hợp đồ thị biểu đồ trạng thái 26 Bảng 3.1: Kết danh sách ca kiểm thử theo định nghĩa 27 Bảng 3.2: Các đặc điểm Modelio 29 Hình 3.7: Tạo Maven Project 30 Hình 3.8 Thêm Archetype Catalog Modelio 31 Hình 3.9: Chọn Archetypes tương ứng với Modelio 32 Hình 3.10: Tạo Modelio Module 33 Hình 3.11: Debug Configuration 34 Hình 3.12: Triển khai module 35 Hình 3.13: Chọn file jmdac 35 Hình 3.14: Giao diện Config/ Module Catalog 36 Bảng 3.3: Bảng mô tả trình duyệt phần từ danh sách Interaction Fragment 39 v Hình 3.15: Thuật toán duyệt đồ thị 40 Hình 3.16: Thuật toán kết hợp state vào test path 41 Hình 3.17: Kết chạy thử nghiệm 43 vi CHƯƠNG 1:TỔNG QUAN 1.1 Đặt vấn đề Trong trình phát triển phần mềm, hoạt động kiểm thử nhằm đảm bảo chất lượng phần mềm có vai trò quan trọng, định đến tồn hệ thống phần mềm Khi phức tạp kích thước phần mềm tăng lên, thời gian công sức cần thiết để thực kiểm thử cách hiệu tăng theo Nhiều nghiên cứu cho 50% chi phí phát triển phần mềm phân bổ cho việc kiểm thử [2] Một toán quan trọng nghiên cứu kiểm thử phần mềm sinh ca kiểm thử, việc thiết kế ca kiểm thử thực chúng tốn thời gian công sức Thiết kế kịch kiểm thử cách thủ công tốn thời gian dễ gặp lỗi Do vậy, việc nghiên cứu kỹ thuật để sinh tự động kịch kiểm thử cần thiết Có hai hướng tiếp cận việc sinh ca kiểm thử tự động Một hướng tiếp cận cố gắng thiết kế ca kiểm thử từ yêu cầu, đặc tả phần mềm hướng khác sinh từ mã nguồn Thiết kế ca kiểm thử từ mã nguồn lộn xộn khó tự động [3] Các ký hiệu thiết kế sử dụng làm sở cho việc kiểm tra đầu ra, làm giảm đáng kể chi phí trình kiểm thử Tiến trình sinh kiểm tra từ thiết kế thường giúp kiểm thử viên phát vấn đế thiết kế Nếu bước làm sớm, vấn đề loại bỏ sớm, tiết kiệm thời gian nguồn lực đồng thời cho phép hoạt động kiểm thử chuyển lên bước sớm trình phát triển phần mềm Khi kiểm thử sinh ra, kiểm thử viên tìm điểm không quán, nhập nhằng đặc tả thiết kế, cho phép cải thiện đặc tả thiết kế trước chương trình viết Một lợi điểm khác liệu dùng để kiểm tra độc lập với cài đặt (tức độc lập với mã nguồn) Việc tự động hóa tiến trình sinh ca kiểm thử rút ngắn thời gian công sức kiểm thử viên, cải thiện kết trình kiểm thử Hầu hết yêu cầu thiết kế mức cao phần mềm tài liệu hóa mô hình Những mô hình sử dụng cho trình sinh ca kiểm thử công cụ tự động Hình 3.8 Thêm Archetype Catalog Modelio · Chọn Archetypes tương ứng với modelio (Ví dụ dùng modelio 3.3.x chọn Archetype có version 3.3.x) 31 Hình 3.9: Chọn Archetypes tương ứng với Modelio · Điền Artifact ID, thông số project Maven bình thường Bước 2: Tạo Modelio Module: · Project vừa tạo có sẵn sample mẫu cho phép thêm Command vào Context menu Modelio Ta chỉnh sửa Command sample này, thực thuật toán sinh test case theo ý muốn Tất cấu hình (icon, phạm vi xuất hiện) nằm file src/main/conf/module.xml 32 Hình 3.10: Tạo Modelio Module Hình 3.10: Giao diện mộ module modelio tạo Mỗi module đóng gói file jmdac Để thực đóng gói module lập trình thành file jmdac thao tác cách nháy chuột phải vào file pom.xml chọn Run as/Maven install, file jmdac xuất thư mục target project Bước 3: Debug project module Modelio · Chọn Run/Debug Configuration tạo cấu hình debug phần Eclipse Application Tại trường Bootstrap entries tab Main điền đường dẫn thư mục chứa Modelio Tại phần Working directory thẻ Arguments chọn Other điền đường dẫn thư mục chứa Modelio Sau ấn Apply để lưu lại thông số chọn Debug để tiến hành debug chương trình 33 Hình 3.11: Debug Configuration Hình 3.11: Giao diện cấu hình debug chương trình Bước 4: Add module build vào chương trình Modelio · Để add thêm module modelio vào project ta thao tác sau: Chuột phải vào Project, chọn Administration, chọn Deploy a moudule directly from a jmac file 34 Hình 3.12: Triển khai module Hình 3.13: Chọn file jmdac · Sau thêm thành công module vào Modelio, ta nháy chuột phải vào diagram bất kỳ, thấy Command phát triển 35 · Debug module: Có thể đặt breakpoint Eclipse để dừng điểm muốn debug Sau chỉnh sửa code module, cần phải build cập nhật lại module Modelio, thao tác sau: Chọn Configuration/Module Catalog, chọn module cần chỉnh sửa chọn Remove module from Catalog để loại bỏ module cũ Sau đó, chọn Add a module to the catalog để add lại module chỉnh sửa vào Modelio Hình 3.14: Giao diện Config/ Module Catalog Hình 3.14: Giao diện config module catalog, ta thêm xóa bỏ module danh sách module 3.3.3 Các thuật toán áp dụng Phần trình bày thuật toán áp dụng để sinh ca kiểm thử theo định nghĩa ban đầu Bao gồm thuật toán để bóc tách liệu từ biểu đồ vẽ Modelio thành đồ thị tuần tự, thuật toán duyệt biểu đồ xác định test path, thuật toán sử dụng để kết hợp test path với biểu đồ trạng thái đối tượng 3.3.3.1 Thuật toán chuyển từ biểu đồ sang đồ thị Trên biểu đồ tuần tự, mô tả luồng điều khiển khác sử dụng đoạn gộp (combined fragment) để hiển thị luồng điều khiển phức tạp vòng 36 lặp, nhánh hay lựa chọn thay Mỗi combined fragment bao gồm nhiều toán hạng tương tác (Interaction Operand) Trong Combined Fragment Interaction Operand chứa nhiều thông điệp Sau có biểu đồ UML vẽ Modelio Các thông tin từ Modelio có bao gồm: · Danh sách MessageEnd (là tất message biểu đồ tuần tự) Mỗi thông điệp ghi lại tên line number tương ứng biểu đồ · Danh sách Combined Fragment, danh sách Interaction Operand Mỗi Combined Fragment có thông tin line number Mỗi Interaction Operand có thông tin Line number End line Number tương ứng chúng Như sau có thông tin từ biểu đồ tuần tự, ta cần bóc tách duyệt thành phần biểu đồ để xác định đồ thị tương ứng theo luồng/ nhánh biểu diễn biểu đồ ban đầu Danh sách MessageEnd biểu đồ danh sách đỉnh tương ứng đồ thị tuần tự, việc xác định cạnh đồ thị Để thực việc này, ta dùng stack để lưu thông tin sau: · List Interaction fragment: Lưu danh sách Interaction Fragment (gồm Message End, Combined Fragment, Interaction Operand) xếp theo line number biểu đồ · Working stack: Lưu lại Interaction Fragment làm việc · Message before CF Stack (Combined Fragment) stack: lưu lại Message End nằm trước Combined Fragment (Cần lưu lại Message End Message End cần phải liên kết với Message End đứng đầu Interaction Operand) (loại bỏ Message End Message End liên kết với hết Message End đứng đầu Interaction Operand thuộc Combined Fragment mà Message End đứng trước) · End message IO Stack (Interaction Operand) stack: lưu lại Message End đứng cuối Interaction Operand (Cần lưu lại Message End 37 Message End cần phải liên kết với Message End đứng sau Combined Fragment) · Current CF (Combined Fragment) Stack: lưu lại Combined Fragment chứa Interaction Fragment làm việc working stack (Cần lưu lại Combined Fragment có nhiều Combined Fragment lồng Combined Fragment nên cần lưu lại Combined Fragment làm việc loại bỏ Combined Fragment khỏi stack duyệt hết Interaction Fragment thuộc Combined Fragment đó) Quá trình duyệt thực thực việc lấy phần tử List Interaction Fragment đưa vào Working Stack Xem xét phần tử chứa Working Stack phần tử đưa vào Working Stack, với cặp tương ứng xử lý theo bảng sau: Phần tử Phần tử danh sách Interaction Fragment Working Message End Combine Fragment Interaction Operand Stack - Đẩy Combine fragment vào Working Stack - CF gặp message có nghĩa - Remove phần tử - Remove phần tử trước message message working Stack đến gặp khỏi Working Stack trước combine fragment Combined Message thay phần tử Message lưu vào dừng End xét before CF stack để link tiếp Fragment lại - Đẩy Interaction Operand - Tạo cạnh nối với message vào Working Stack message nhánh bên combined - Message End đẩy vào fragment End message IO Stack - Đẩy Combined Fragment vào Current CF Stack 38 Không có trường hợp Message gặp với CF (Mess nằm CF, không Combined Fragment gặp trực tiếp CF mà phải thông qua IO, CF bao IO nên gặp Mess gặp - Không xét trường hợp - Đẩy Interaction Operand trường hợp vào Working Stack, combined fragment không remove phần tử phần tử / toán hạng Working Stack IO, không xét trường hợp CF IO nào) - Đẩy Message vào Working Stack, không remove phần tử khỏi Working Stack - Message gặp IO có Interaction nghĩa Message Operand Message IO, link với message Combined trước - Không có trường hợp này, Interaction Operand - Không có trường hợp này, chứa bới Combined Fragment Interaction Operand không xét trường hợp IO phải chứa message không chứa message Fragment chứa ( Message before CF stack)à Tạo cạnh Bảng 3.3: Bảng mô tả trình duyệt phần từ danh sách Interaction Fragment Quá trình kết thúc toàn phần tử danh sách List Interaction Fragment duyệt, danh sách rỗng Kết ta có thông tin đồ thị tương ứng với đồ thị vẽ Modelio bao gồm tập đỉnh tập cạnh đồ thị 39 3.3.3.2 Thuật toán duyệt đồ thị xác định test path Hình 3.15: Thuật toán duyệt đồ thị Hình 3.15 mô tả thuật toán sử dụng để duyệt đồ thị có để xác định test path, dựa vào thuật toán tìm kiếm theo chiều sâu ta bắt đầu xuất phát từ đỉnh tiếp, sau quay lại đỉnh đầu, trình quay lại: Nếu gặp đường khác không tiếp không tiếp Nếu không tìm đường khác ngừng việc tìm kiếm Trong trình duyệt đỉnh đến đỉnh lưu lại Khi duyệt đến đỉnh kết thúc ta có đường từ đỉnh xuất phát đên đỉnh kết thúc test path cần tìm 40 3.3.3.3 Kết hợp biểu đồ trạng thái vào test path Tạo đường test state path tương ứng với test path sinh từ đồ thị tuần tự, xác định chuyển trạng thái đối tượng path xác định phía Các bước thực sau: Hình 3.16: Thuật toán kết hợp state vào test path Hình 3.16 mô tả thuật toán kết hợp biểu đồ trạng thái test path có để xác định test state path tương ứng với test path xác định Việc kết hợp giúp ta có xác định chuyển trạng thái đối tượng kiểm thử 41 test path Với đồ thị trạng thái ta xác định tất bước chuyển trạng thái Tương ứng duyệt test path, kiểm tra message đường có dẫn đến với bước chuyển trạng thái đồ thị trạng thái không Nếu có trạng thái trước trạng thái sau đối tượng thực message ghi lại Duyệt hết test path ta có tương ứng test state path tương ứng Chi tiết thuật toán trình bày hình 3.16 3.3.4 Kết cài đặt thử nghiệm Sau xây dựng module sinh ca kiểm thử theo thuật toán phía trên, ta add module vào Modelio chạy thử chương theo bước: Bước 1: Cấu hình thêm module sinh ca kiểm thử vào Modelio: Module xây dựng đóng gói dạng file jmdac chọn để thêm vào danh mục module hệ thống Bước 2: Vẽ biểu đồ biểu đồ trạng thái Modelio Bước 3: Chạy tool, module sinh ca kiểm thử đưa vào thành chức menu chuột phải Chuột phải vào biểu đồ Chọn “Gen TC from sequence diagram” Bước 4: Nhập tên biểu đồ trạng thái muốn map biểu đồ tuần tự: Sau thực bước ta có kết sinh ca kiểm thử sau: 42 Hình 3.17: Kết chạy thử nghiệm Hình 3.17 hiển thị kết chạy thử nghiệm module, kết hợp biểu đồ biểu đồ trạng thái ta có test case kiểm tra chuyển trạng thái đối tượng path 43 CHƯƠNG 4: KẾT LUẬN 4.1 Các kết đạt hạn chế Luận văn tìm hiểu kỹ thuật mức độ kiểm thử bản, trình bày loại kỹ thuật kiểm thử cần trọng Luận văn đồng thời tìm hiểu nêu lý thuyết UML, tìm hiểu kĩ thuật sinh ca kiểm thử từ việc kết hợp biểu đồ biểu đồ trạng thái UML, xây dựng công cụ hỗ trợ việc sinh ca kiểm thử tự động Tại giai đoạn thiết kế phần mềm sau mô hình hóa hoạt động đối tượng hệ thống phần mềm biểu đồ biểu đồ trạng thái ta sử dụng công cụ để sinh ca kiểm thử mức đơn giản Hạn chế luận văn: Các kĩ thuật kiểm thử trình bày mức tìm hiểu, chưa trình bày chi tiết Các nội dung trình bày phần tìm hiểu UML mức Kỹ thuật sinh ca kiểm thử tìm hiểu chưa hỗ trợ sinh liệu cho ca kiểm thử 4.2 Các công việc tương lai Trong tương lai mở rộng nghiên cứu để sinh ca kiểm thử với đầy đủ liệu đưa vào cho ca kiểm thử Kỹ thuật áp dụng luận văn sinh ca kiểm thử đạt độ bao phủ thông điệp bao phủ trạng thái, tương lai hướng nghiên cứu áp dụng thêm kỹ thuật khác làm tăng độ bao phủ ca kiểm thử sinh ra, với mục tiêu sinh ca kiểm thử tốt 44 TÀI LIỆU THAM KHẢO Tiếng Việt [1] Phạm Ngọc Hùng, Trương Anh Hoàng, Đặng Văn Hưng ,“Giáo trình kiểm thử phần mềm”, NXB Đại học Quốc Gia, 2014 Tiếng Anh [2] R.V Binder “Testing Object-Oriented Systems Models, Patterns, and Tools” Object Technology Series Addision Wesley, Reading, Massachusetts, October 1999 [3] S Muchnick, “Advanced Compiler Design and Implementation”, 1997 [4] Debasish Kundu, Debasis Samanta, "A Novel Approach to Generate Test Cases from UML Activity Diagrams", 2009 [5] F Basanieri, A Bertomated, E Marchetti, A Rinoline, G Lombardi, and G Nucerga “An Automated Test Strategy Based on UML Diagrams”, 2001 [6] Lionel Briand, Yvan Labiche “A UML-Based Approach to System Testing”, 2002 [7] Monalisa Sarma, Rajib Mall, “Automatic Test Case Generation from UML Models”, 2007 [8] G Booch, J Rumbaugh, and I Jacobson “The Unified Modeling Language User Guide”, 1999 [9] Kshirasagar Naik, Priyadarshi Tripathy, “Software testing and quanlity assurance”, 2008 [10] OMG, “UML 2.0 OCL Specification,” 2004 45 [...]... Sinh ca kiểm thử từ các biểu đồ UML mà cụ thể là từ biểu đồ trạng thái và biểu đồ tuần tự UML Chương 2: Kiến thức chung 3 Chương hai sẽ trình bày về các khái niệm cơ bản của kiểm thử phần mềm, các mức độ kiểm thử, kỹ thuật kiểm thử tĩnh và động Chương hai cũng đưa ra các kiến thức cơ bản về UML, tìm hiểu biểu đồ tuần tự và biểu đồ trạng thái trong UML Chương 3: Phương pháp sinh ca kiểm thử từ biểu. .. một biểu đồ ca sử dụng thành đồ thị ca sử dụng, chuyển biểu đồ tuần tự thành một đồ thị gọi là đồ thị biểu đồ tuần tự, sau đó tích hợp hai đồ thị này thành đồ thị kiểm thử hệ thống, duyệt đồ thị kiểm thử hệ thống để sinh các ca kiểm thử 1.3 Nội dung nghiên cứu Nội dung nghiên cứu của luận văn bao gồm: Nghiên cứu tổng quan về kiểm thử phần mềm, các phương pháp kiểm thử cơ bản Nghiên cứu tổng quan về UML, ... kiểm thử hệ thống TOTEM (Kiểm thử các hệ thống hướng đối tượng bằng UML) Các yêu cầu hệ thống được lấy từ biểu đồ ca sử dụng, biểu đồ tuần tự và lớp tương ứng với mỗi ca sử dụng Chúng mô tả sự phụ thuộc tuần tự giữa các ca sử dụng vào một biểu đồ hoạt động Dựa trên các phụ thuộc tuần tự này, họ sinh ra những chuỗi hợp lệ của các ca sử dụng để sinh các ca kiểm thử Cách tiếp cận của họ về cơ bản là cách... điểm của việc kiểm thử này là tốn kém chi phí và thời gian thực hiện Ca kiểm thử Ca kiểm thử là một tập hợp các giá trị đầu vào, các điều kiện tiên quyết thực thi, các kết quả mong đợi và các điều kiện kết thúc được xây dựng cho mục đích kiểm thử Có 2 cách tiếp cận để thiết kế ca kiểm thử là kiểm thử hộp đen và kiểm thử hộp trắng Kiểm thử hộp đen Kiểm thử hộp đen là phương pháp kiểm thử hoàn toàn không... phương pháp sinh các ca kiểm thử sử dụng biểu đồ UML use case và những biểu đồ tương tác (đặc biệt, các biểu đồ thông điệp tuần tự) Căn bản nó hướng đến kiểm thử tích hợp để kiểm chứng rằng những thành phần hệ thống đã test trước tương tác chính xác Họ sử dụng phương pháp phân 2 hoạch loại và sinh các ca kiểm thử thủ công theo luồng của các thông điệp gửi giữa các thành phần trong biểu đồ tuần tự Briand... PHÁP SINH CA KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ VÀ BIỂU ĐỒ TRẠNG THÁI 3.1 Phương pháp thực hiện Mô hình UML cung cấp rất nhiều thông tin không nên bỏ qua trong các bài thử nghiệm Bằng cách kết hợp các thành phần UML khác nhau, các góc nhìn khác nhau của chương trình theo các bài kiểm tra được sử dụng Chương này tập trung vào kĩ thuật để tạo ra các ca kiểm thử từ sự kết hợp của biểu đồ tuần tự và biều đồ trạng... Phương pháp sinh ca kiểm thử từ biểu đồ tuần tự và biểu đồ trạng thái Chương ba trình bày phương pháp sinh ca kiểm thử từ biểu đồ tuần tự và biểu đồ trạng thái UML, đưa ra ví dụ minh họa từng bước thực hiện cho phương pháp Chương này cũng trình bày về ý tưởng, phân tích và xây dựng công cụ sinh ca kiểm thử tự động từ biểu đồ tuần tự và biểu đồ trạng thái UML, trình bày các thuật toán đã áp dụng trong việc... Mức kiểm thử Dựa trên các công đoạn phát triển phần mềm mà người ta chia thành các mức độ kiểm thử khác nhau: Kiểm thử mức đơn vị, kiểm thử mức tích hợp, kiểm thử mức hệ thống, kiểm thử mức chấp nhận Kiểm thử mức đơn vị (Unit test): Là kiểm thử ở mức độ thấp nhất Việc kiểm thử được thực hiện đối với các đơn vị chương trình (các phương thức, hàm, lớp trong mã nguồn) một cách độc lập Mục đích của kiểm thử. .. thái sẽ được chuyển từ Running sang Idle 2.2.2 Biểu đồ tuần tự Biểu đồ tuần tự là một trong các loại biểu đồ UML Các biểu đồ tuần tự là các biểu đồ căn bản cho việc mô hình hóa các phương diện hành vi của một hệ thống [8], đặc biệt phù hợp với các phần mềm hướng đối tượng, nơi chúng có thể biểu diễn các luồng điều khiển trong các tương tác của các đối tượng Biểu đồ tuần tự chỉ ra các đối tượng tham... dụng UML ngày càng nhiều để mô hình hóa các phần mềm hướng đối tượng, những nhà nghiên cứu bắt đầu xem xét cách thức sử dụng UML trong kiểm thử Trong khuôn khổ luận văn này tôi thực hiện nghiên cứu phương pháp sinh ca kiểm thử tự động từ biểu đồ tuần tự và biểu đồ trạng thái UML 1.2 Tổng quan tình hình nghiên cứu Cách tiếp cận sử dụng các biểu đồ UML để sinh ca kiểm thử tự động có thể kể đến một số nghiên ... kiến thức UML, tìm hiểu biểu đồ biểu đồ trạng thái UML Chương 3: Phương pháp sinh ca kiểm thử từ biểu đồ biểu đồ trạng thái Chương ba trình bày phương pháp sinh ca kiểm thử từ biểu đồ biểu đồ trạng... tài Sinh ca kiểm thử từ biểu đồ UML mà cụ thể từ biểu đồ trạng thái biểu đồ UML Chương 2: Kiến thức chung Chương hai trình bày khái niệm kiểm thử phần mềm, mức độ kiểm thử, kỹ thuật kiểm thử. .. nghiên cứu phương pháp sinh ca kiểm thử tự động từ biểu đồ biểu đồ trạng thái UML 1.2 Tổng quan tình hình nghiên cứu Cách tiếp cận sử dụng biểu đồ UML để sinh ca kiểm thử tự động kể đến số nghiên