ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ TRẦN THỊ MÙI PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ UML 2.0 VÀ ỨNG DỤNG CHO KIỂM THỬ PHẦN MỀM LUẬN VĂN THẠC SĨ Ngành: Hệ thống thông tin HÀ NỘI – 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ TRẦN THỊ MÙI PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ UML 2.0 VÀ ỨNG DỤNG CHO KIỂM THỬ PHẦN MỀM Ngành: Hệ thống thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60 48 01 04 LUẬN VĂN THẠC SĨ Ngành: Hệ thống thông tin NGƢỜI HƢỚNG DẪN KHOA HỌC: TS Phạm Ngọc Hùng HÀ NỘI – 2015 VIETNAM NATIONAL UNIVERSITY, HANOI UNIVERSITY OF ENGINEERING AND TECHNOLOGY TRAN THI MUI A METHOD AND TOOL SUPPORTING FOR AUTOMATED TESTING OF UML 2.0 SEQUENCE DIAGRAMS THE MS THESIS Major: Information Systems Supervisor: Dr Pham Ngoc Hung HANOI - 2015 LỜI CẢM ƠN Đầu tiên, xin gửi lời cảm ơn chân thành sâu sắc tới thầy Phạm Ngọc Hùng – Ngƣời trực tiếp hƣớng dẫn nhiệt tình, giúp đỡ động viên nhiều, cho có hội đƣợc tiếp xúc với tài liệu tham khảo quý giá, góp ý cho lời khuyên chân thành trình nghiên cứu để hoàn thành đề tài Tiếp theo xin gửi lời cảm ơn đến thầy cô giảng viên Trƣờng Đại học Công Nghệ - Đại học Quốc Gia Hà Nội – ngƣời tận tâm truyền đạt kiến thức quý báu làm tảng cho suốt năm học Cuối cùng, xin gửi lời biết ơn sâu sắc tới gia đình bên cạnh tôi, mang lại cho nguồn động viên tinh thần to lớn tạo điều kiện thuận lợi cho trình học tập hoàn thành luận văn Mặc dù cố gắng nhƣng luận văn không tránh khỏi thiếu sót Rất mong nhận đƣợc ý kiến đóng góp quý báu Thầy, Cô giáo bạn để luận văn đƣợc hoàn thiện Xin trân trọng cảm ơn! Hà Nội, ngày 22 tháng 11 năm 2015 Học viên: Trần Thị Mùi i TÓM TẮT Luận văn tập trung nghiên cứu phƣơng pháp sinh kiểm thử từ biểu đồ UML 2.0 dựa lý thuyết kiểm thử mô hình nhằm tự động hóa trình kiểm thử, nâng cao hiệu quả, tiết kiệm chi phí thời gian Phƣơng pháp đƣợc thực thông qua bƣớc sau Đầu tiên, để có đƣợc mô hình làm đầu vào cho kiểm thử, phƣơng pháp thực chuyển đổi biểu đồ đồ thị dòng điều khiển cách tiến hành bóc, tách khối (fragment) biểu đồ Các khối lồng nhau, dựa vào quan hệ chúng, tiến hành xây dựng đồ thị cho khối, sau lồng chúng lại nhằm sinh đồ thị dòng điều khiển tƣơng ứng với biểu đồ Kế tiếp, đồ thị dòng điều khiển đƣợc phân tích để xây dựng tập đƣờng kiểm thử Vận dụng kỹ thuật thực thi tƣợng trƣng (Symbolic Execution - SE) nhằm xây dựng hệ ràng buộc tƣơng ứng cho tập đƣờng kiểm thử Cuối cùng, sử dụng công cụ SMT solver để giải hệ ràng buộc nhằm tìm kiếm nghiệm từ sinh ca kiểm thử Một công cụ hỗ trợ phƣơng pháp đƣợc cài đặt thử nghiệm với số ví dụ đơn giản nhằm minh chứng cho tính đắn hiệu phƣơng pháp Kết thực nghiệm cho thấy tiềm ứng dụng công cụ việc kiểm thử tự động công ty Từ khóa: Kiểm thử dựa mô hình, kiểm thử tự động, biểu đồ tuần tự, đồ thị dòng điều khiển, ca kiểm thử, độ bao phủ ii ABSTRACT This thesis researches a method to generate a set of test cases from the UML 2.0 sequence diagrams based on model-based testing in order to automate the testing process, increase effectiveness, reduce cost and time of testing The method follows the following steps At first, in order to have the input model for testing, it analyzes and divides the input diagram into fragments These fragments can be sequential or nested based on their relationship After that, it builds the corresponding graph for each of the fragments and merges them together in order to generate the corresponding control flow graph for the input sequence diagram The final control flow graph is analyzed to generate a set of testing paths Symbolic Execution (SE) technique is used to create restrictions associated with that set of testing paths Finally, the method uses SMT solver to solve the set of restrictions to find solution and then to generate a set of test cases A tool is also implemented and tested with some simple examples in order to show the correctness and effectiveness of the method The experimental results give us the potential application of the tool in automation testing in companies Keywords: Model base testing, automated testing, sequence diagram, control flow testing, test case iii LỜI CAM ĐOAN Tôi xin cam đoan nghiên cứu sinh tự động kiểm thử từ biểu đồ đƣợc trình bày luận văn dƣới hƣớng dẫn TS Phạm Ngọc Hùng Những viết không chép từ tài liệu, không sử dụng kết ngƣời khác mà không trích dẫn cụ thể Tôi xin cam đoan công cụ kiểm thử tự động trình bày luận văn tự phát triển, không chép mã nguồn ngƣời khác Nếu sai hoàn toàn chịu trách nhiệm theo quy định Trƣờng Đại học Công Nghệ - Đại học Quốc Gia Hà Nội Hà nội, ngày 22 tháng 11 năm 2015 Học viên: Trần Thị Mùi iv MỤC LỤC LỜI CẢM ƠN i TÓM TẮT ii ABSTRACT iii LỜI CAM ĐOAN iv DANH SÁCH BẢNG BIỂU vii DANH SÁCH HÌNH VẼ viii BẢNG THUẬT NGỮ x Chƣơng GIỚI THIỆU Chƣơng TỔNG QUAN KIỂM THỬ DỰA TRÊN MÔ HÌNH 2.1 Khái niệm kiểm thử dựa mô hình 2.2 Quy trình chung kiểm thử dựa mô hình 2.3 Phƣơng pháp đặc tả mô hình máy trạng thái UML 2.4 Thuận lợi khó khăn kiểm thử tự động dựa mô hình Chƣơng PHƢƠNG PHÁP SINH ĐỒ THỊ DÕNG ĐIỀU KHIỂN TỪ BIỂU ĐỒ TUẦN TỰ 10 3.1 Biểu đồ 10 3.2 Đồ thị dòng điều khiển 18 3.3 Đƣờng kiểm thử 19 3.4 Chuyển đổi biểu đồ sang đƣờng kiểm thử 20 3.5 Định dạng chuẩn viết tệp xmi từ biểu đồ 21 3.6 Thuật toán sinh tự động đƣờng kiểm thử 22 3.6.1 Thuật toán phân tích biểu đồ 23 3.6.2 Thuật toán chuyển cấu trúc liệu biểu đồ sang đƣờng kiểm thử 25 3.6.3 Thuật toán xác định đƣờng kiểm thử cho khối alt 25 3.6.4 Thuật toán xác định đƣờng kiểm thử cho khối opt break 26 3.6.5 Thuật toán xác định đƣờng kiểm thử cho khối loop 27 v 3.6.6 Thuật toán xác định đƣờng kiểm thử cho khối par seq 29 3.6.7.Thuật toán xác định đƣờng kiểm thử cho khối weak 30 3.6.8 Thuật toán xác định đƣờng kiểm thử cho khối strict 31 3.6.9 Thuật toán xác định đƣờng kiểm thử cho khối ignore 31 Chƣơng PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ ĐỒ THỊ DÒNG ĐIỀU KHIỂN 33 4.1 Xây dựng hệ ràng buộc 33 4.2 Tìm nghiệm thỏa mãn hệ ràng buộc 35 4.2.1 Giải hệ sử dụng kỹ thuật sinh ngẫu nhiên 35 4.2.2 Giải hệ sử dụng SMT-Solver 35 4.2.3 Nhận xét ƣu điểm, nhƣợc điểm hai hƣớng sinh ca kiểm thử 43 Chƣơng THỰC NGHIỆM 44 5.1 Giới thiệu công cụ 44 5.2 Thực nghiệm 45 5.3 Ý nghĩa thực nghiệm 54 Chƣơng KẾT LUẬN 55 TÀI LIỆU THAM KHẢO 57 vi DANH SÁCH BẢNG BIỂU Bảng 4.1 Độ ƣu tiên toán tử 39 Bảng 5.1 Môi trƣờng thử nghiệm công cụ sinh ca kiểm thử từ thiết kế 45 vii Thực thi Công cụ sinh ca kiểm thử Tập ca kiểm thử Báo cáo kiểm thử Đường kiểm thử Biểu đồ (xmi, xml) Hình 5.1 Kiến trúc công cụ Trên hình phƣơng pháp sinh mô hình, có nơi để truyền giá trị đầu vào Để chọn file xmi, ta sử dụng nút ―Browse‖ bên cạnh đầu vào File chứa đƣờng kiểm thử đầu vào đƣợc định dạng theo cách đƣờng kiểm thử dòng, hành động ngăn cách dấu - -> Sau lựa chọn file đầu vào, nhấn ―Generate and view‖ để sinh đƣờng kiểm thử ca kiểm thử Kết sinh đƣợc hiển thị giao diện hình 5.2 Thực nghiệm Để kiểm thử tính đắn hiệu lập trình so với thiết kế, thực thử nghiệm với số đầu vào khác nhƣ sau: Bảng 5.1 Môi trƣờng thử nghiệm công cụ sinh ca kiểm thử từ thiết kế Processor Intel(R) Core(TM) i3/i7-2120 CPU @ 3.30GHz, 3300 Mhz, Core(s), Logical Processor(s) Total Physical Memory 3.40 GB OS Name Microsoft Windows 7/8 Ultimate IDE Eclipse Ví dụ 1: Đầu vào công cụ: 45 Object1 loop1 Object2 Object3 Object4 Object5 [size>0] alt a1 (1) [banacel>0] in1() snd1() ack1() (2) in2() snd2() ack2() Hình 5.2 Hình vẽ biểu đồ tƣơng ứng với ví dụ Dƣới tệp xmi tƣơng ứng: 46 47 Đầu công cụ: 49 Hình 5.3 Kết đầu công cụ ví dụ Ví dụ 2: Đầu vào công cụ: Tệp xmi nhƣ sau: 50 51 52 Object1 Object2 loop1 alt a1 in1() (1) out1() (2) in2() out2() Hình 5.4 Hình vẽ biểu đồ tƣơng ứng với ví dụ Đầu công cụ: Hình 5.5 Kết đầu công cụ ví dụ 53 Object3 5.3 Ý nghĩa thực nghiệm Công cụ sinh tự động ca kiểm thử từ biểu đồ đƣợc đề xuất giải pháp cho việc kiểm thử tự động từ thiết kế Thực nghiệm cho thấy hƣớng phát triển tiềm kỹ thuật kiểm thử dựa mô hình với độ bao phủ lớn ca kiểm thử xảy Kiểm thử viên cần tạo đặc tả biểu đồ tuần tự, sau công cụ tự động sinh ca kiểm thử Trƣớc đây, muốn kiểm thử cho toàn hệ thống kiểm thử viên phải viết kịch kiểm thử cho hệ thống đó, điều gây rủi ro cao, giá thời gian công sức bỏ lớn Thực nghiệm cho thấy, sau ghép nối, có 20 đƣờng kiểm thử mà đó, đƣờng dẫn chứa gần 70 đƣờng chuyển trạng thái, việc áp dụng công cụ để kiểm thử tự động mang lại nhiều lợi ích Với lợi ƣu điểm nêu, tƣơng lai công cụ có khả áp dụng vào thực tế Hiện tại, công cụ đƣợc triển khai thử nghiệm với số hệ thống phần mềm số công ty nhận đƣợc phản hồi tích cực từ phía công ty 54 Chƣơng KẾT LUẬN Trong ngữ cảnh công nghiệp đại, kiểm thử tự động đƣợc xem giải pháp nhằm đảm bảo chất lƣợng, giảm chi phí thời gian trình phát triển sản phẩm phần mềm Đã có nhiều giải pháp công cụ đƣợc đề xuất nhằm thực hóa mục tiêu Tuy nhiên, hầu hết công cụ đề xuất tập trung cho kiểm thử đơn vị kiểm thử số yêu cầu phi chức nhƣ tính an toàn, bảo mật, khả chịu tải, v.v Trong thực tế, kiểm thử tự động từ thiết kế toán mở chƣa có giải pháp thỏa đáng Nghiên cứu đề xuất phƣơng pháp giải đƣợc vấn đề Ý tƣởng phƣơng pháp gồm hai trình chuyển đổi biểu đồ đồ thị dòng điều khiển từ đồ thị dòng điều khiển sinh kiểm thử Biểu đồ đƣợc cung cấp dƣới dạng tệp xmi đƣợc phân tích đƣờng kiểm thử tƣơng ứng đặc tả hoạt động Qua trình phân tích, liệu từ tệp xmi đƣợcchuyển đổi thành cấu trúc liệu biểu đồ tƣơng ứng Ứng với khối biểu đồ tuần tự, tiến hành bóc, tách khối dựa vào quan hệ khối để lồng khối nhằm sinh đồ thị dòng điều khiển Vận dụng kỹ thuật SE để xây dựng hệ ràng buộc tƣơng ứng cho tập đƣờng kiểm thử Cuối cùng, cách kết hợp kỹ thuật sinh ngẫu nhiên tận dụng mạnh công cụ SMT-Solver, hệ ràng buộc đƣợc giải để sinh ca kiểm thử Phƣơng pháp đề xuất yêu cầu đầu vào thiết kế dƣới dạng biểu đồ thành phần đƣợc chuẩn hóa thành tệp xmi Đây ƣu điểm lớn phƣơng pháp thực tế, việc xây dựng biểu đồ thành phần công việc đơn giản Nhờ đó, công việc kiểm thử đảm bảo chất lƣợng giảm thiểu chi phí hạn chế tình trạng bùng nổ số lƣợng trạng thái Luận văn trình bày kiến thức lý thuyết kiểm thử dựa mô hình, cung cấp phƣơng pháp sinh đồ thị dòng điều khiển từ biểu đồ sinh ca kiểm thử từ đồ thị dòng điều khiển Công cụ thực phƣơng pháp đƣợc cài đặt thành công Về mặt thực nghiệm, công cụ dùng để sinh mô hình tự động Ngoài ra, công cụ đóng vai trò to lớn việc tự động hóa số công đoạn việc phát triển phần mềm từ thiết kế, sinh mã nguồn, kiểm thử tự động cho nghiên cứu sau 55 Phƣơng pháp hứa hẹn không áp dụng thiết kế mà kiểm thử mức mã nguồn Hiện nay, nhiều công cụ chuyển đổi từ mã nguồn sang biểu đồ đặc tả hành vi Trong tƣơng lai, nghiên cứu tiếp tục pháp triển phƣơng pháp với loại thiết kế đƣợc đặc tả dạng khác Cấy lỗi vào mã nguồn tƣơng ứng để đánh giá khả phát lỗi kiểm thử 56 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 (2014), ―Giáo trình kiểm thử phần mềm‖, Nhà xuất giáo dục Việt Nam [2] Đỗ Đức Giáo (2011), ―Toán rời rạc ứng dụng tin học‖, Nhà xuất giáo dục Việt Nam [3] Vũ Thị Đào, Tô Văn Khánh, Nguyễn Việt Hà (2014), ―Phương pháp sinh ca kiểm thử tự động từ mô hình thiết kế UML ngôn ngữ ràngbuộc đối tượng OCL”, Tạp trí ―Các công trình nghiên cứu, phát triển ứng dụng CNTT-TT Tập V-1, Số 11 (31)‖ [4] Nguyễn Đức Anh (2015), ―Khóa luận tốt nghiệp”, Trƣờng Đại học Công nghệ, Đại học Quốc Gia, Hà Nội Tiếng Anh [5] Vahid Garousi, Lionel C Briand, and Yvan Labiche (2008), ―Control Flow Analysis of UML 2.0 Sequence Diagrams” - Software Quality Engineering Laboratory (SQUALL), Department of Systems and Computer Engineering, Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada {vahid, briand, labiche} @ sce.carleton.ca [6] R.V Binder (1996), ―Testing object-oriented software: a survey, Software TestingVerification and Reliability”, 6(3/4), 125-252 [7] R Mall (2009), ―Fundamentals of Software Engineering, Prentice Hall, 3th edition” [8] J C King (1976), ―Symbolic execution and program testing‖, Communciations of the ACM, vol 19, no 7, , pp 385–394 [9] Manish Mishra, Shashi Mishra and Rabins Porwal (2012), ―Basic Principle for testcase Generation Automatically‖, VSRD-IJCSIT, Vol (9), pp.772-781 [10] Abdurazik Aynur and Offutt Jeff (2000),―Using uml collaboration diagrams for static checking and test generation”, Proceedings of the 3rd international conference on The unified modeling language: advancing the standard (Berlin, Heidelberg), UML‘00, Springer-Verlag, pp 383–395 [11] El-Far I K and Whittaker J.A (2002), ―Model-based software testing”, Encyclopedia of Software Engineering 825—-837 [12] J.C Corb ett, M.B Dwyer, J Hatcliff, S Laubach , C.S Pasareanu, Robby a nd Hong jun Zheng, "Bandera: extracting finite-state mo dels from Java source co de", Software Engineering, Pro ceedings of the 2000 Internat ional Conference on, pp 439-448d, 2000 [13] O Tkac huk, M.B Dwyer and C.S Pasareanu, ―Automated environment generati on for software mo del checking―, Automated Software Engineering, Pro c eedings 18th IEEE International Conference on, pp 116-127, 2003 [14] D Lore nzoli, L Marian i and M Pezzè, ―Automatic generation of software b ehavioral mo dels", ACM, Pro ceedings of the 30th international conference on Software engineering, pp 501-510, 2008 [15] L B Cuong and P N Hung, ―A Metho d for Gene rating Mo dels of Black-b ox Comp onents ", 4th International Conference on Knowledge and Systems Engineering (KSE 2012), IEEE Computer So cie ty Press, pp 177-222, 2012 [16] A Gro ce, D Peled, and M Y annak a ki s, ―Black box checking", J Autom Lang Comb., p p 225-246, Nov 2001 [17] A Gro ce, D Peled, and M Y annak a ki s, ―Adaptive Mo del Checking", Logic Journal of the IGPL, vol 14, no 5, pp 729-744, Oct 2006 [18] H.M Duong, L.K Trin h and P N Hung, ―An Assume-Guarantee Mo d el Checker for Comp onent-Based Systems", The 10th IEEE-RIVF International Conference on Computing and Communication Technologies, 2013 [19] L B Cuong and P N Hung, ―A Method for Generating Models of Black-box Components‖, 4th International Conference on Knowledge and Systems Engineering (KSE 2012), IEEE Computer Society Press, pp 177-222, 2012 [20] D Lorenzoli, L Mariani and M Pezz` e, ―Automatic generation of software behavioral models‖, ACM, Proceedings of the 30th international conference on Software engineering, pp 501-510, 2008 [21] J.C Corbett, M.B Dwyer, J Hatcliff, S Laubach, C.S Pasareanu, Robby and Hongjun Zheng, ‖Bandera: extracting finite-state models from Java source code‖, Software Engineering, Proceedings of the 2000 International Conference on, pp 439-448d, 2000 [22] O Tkachuk, M.B Dwyer and C.S Pasareanu, ―Automated environment generation for software model checking‖, Automated Software Engineering, Proceedings 18th IEEE International Conference on, pp 116-127, 2003 [23] H M Duong, L K Trinh, and P N Hung, ―An Assume-Guarantee Model Checker for Component-Based Systems‖, The 10th IEEE-RIVF International Conference on Computing and Communication Technologies, 2013 (accepted) [24] A Groce, D Peled, and M Y annak akis, ―Black box checking‖, J Autom Lang Comb., pp 225-246, Nov 2001 [25] A Groce, D Peled, and M Y annak akis, ―Adaptive Model Checking‖, Logic Journal of the IGPL, vol 14, no 5, pp 729-744, Oct 2006 [26] OMG document, UML 2.0 Superstructure Specification, 2003 http://www.omg.org/cgi-bin/doc?ptc/03-08-02 [27] UML sequence diagram http://www.uml-diagrams.org/sequence-diagrams-combined-fragment.html [28] Interaction operators in sequence diagrams http://pic.dhe.ibm.com/infocenter/rsarthlp/v8r5/topic/com.ibm.xtools.sequen ce.doc/topics/rinteracoperate.html [29] Business and Information System Modelling Solutions http://www.zicomi.com/combinedFragmentNegative.jsp [...]... phƣơng pháp nhằm xây dựng một công cụ hỗ trợ phân tích biểu đồ dòng điểu khiển dựa trên biểu đồ tuần tự UML 2. 0 và ứng dụng để sinh bộ kiểm thử 3 Phƣơng pháp nghiên cứu gồm hai quá trình chính là chuyển đồi biểu đồ tuần tự về đồ thị dòng điều khiển và từ đồ thị dòng điều khiển sinh bộ kiểm thử Biểu đồ tuần tự đƣợc cung cấp dƣới dạng tệp xmi sẽ đƣợc phân tích để cho ra một đƣờng kiểm thử tƣơng ứng đặc... Chƣơng 3 PHƢƠNG PHÁP SINH ĐỒ THỊ DÕNG ĐIỀU KHIỂN TỪ BIỂU ĐỒ TUẦN TỰ Chƣơng này đề xuất phƣơng pháp kiểm thử tính đúng đắn thiết kế cho các phần mềm dựa trên mô hình Để có đƣợc mô hình làm đầu vào cho phƣơng pháp kiểm thử, phƣơng phápchuyển đổi biểu đồ tuần tự về đồ thị dòng điều khiển, đồ thị dòng điều khiển đƣợc sinh ra trở thành đầu vào để sinh ca kiểm thử. Nếu bản thiết kế là đúng đắn phƣơng pháp đƣa ra... bày cơ sở lý thuyết của kiểm thử mô hình, bao gồm các khái niệm cơ bản, quy trình thực hiện, phƣơng pháp đặc tả mô hình bằng máy trạng thái UML, thuận lợi và khó khăn của kiểm thử dựa trên mô hình và áp dụng cho kiểm thử phần mềm Phƣơng pháp sinh đồ thị dòng điều khiển từ biểu đồ tuần tự bao gồm tổng quan về đồ thị dòng điều khiển, cách đặc tả biểu đồ tuần tự, phƣơng pháp sinh đồ thị dòng điều khiển... gian hơn 3.4 Chuyển đổi biểu đồ tuần tự sang đƣờng kiểm thử Việc biến đổi biểu đồ tuần tự sang đƣờng kiểm thử là một công việc quan trọng Đây là quá trình chuyển đổi thiết kế sang biểu thức đặc tả các hành vi Đƣờng kiểm thử đƣợc sinh ra sẽ làm đầu vào sinh mô hình đặc tả hành vi cho thành phần phần mềm, phục vụ cho quá trình kiểm thử tính đúng đắn của thiết kế Biểu đồ tuần tự Đồ thị dòng điều khiển(CCFG)... covered= "00 1"/> 3.6 Thuật toán sinh tự động các đƣờng kiểm thử Dƣới đây là chín thuật toán sinh tự động các đƣờng kiểm thử do tác giả tự đề xuất 22 3.6.1 Thuật... đường kiểm thử) Hình 3.17 Chuyển biểu đồ tuần tự thành đƣờng kiểm thử Phƣơng pháp đề xuất yêu cầu thiết kế đƣợc biểu diễn bởi biểu đồ tuần tự của các thành phần dƣới dạng xmi Một công cụ đã đƣợctôi xây dựng để phân tích file xmi và sinh ra đồ thị dòng điều khiển hiển thị dƣới dạng đƣờng kiểm thử Tôi sẽ cung cấp tập các quy tắc (định dạng) để xây dựng file xmi từ biểu đồ tuần tự tƣơng 20 ứng Từ đó việc... trên mô hình [23 ], [24 ], và [25 ] Trong [23 ], các tác giả đã sử dụng thuật toán học L* để học đặc tả của một thành phần phần mềm thông qua một biểu thức chính quy để sinh ra mô hình cho thành phần đó Biểu thức chính quy đó là kết quả của khâu thiết kế, có thể đƣợc sinh ra từ từ biểu đồ tuần tự theo phƣơng pháp đƣợc đề cập trong [23 ] Tuy phƣơng pháp này sinh đƣợc mô hình cho phần mềm, nhƣng sử dụng nhiều... sinh ra nhƣ là một phần của quá trình khác nhƣ kiểm thử hộp đen, kiểm chứng mô hình Luận văn này tập trung vào việc chỉ sinh mô hình cho thành phần phần mềm Bằng cách này, chúng ta tập trung vào việc có đƣợc mô hình bằng một cách thực tế hơn nhƣ từ biểu đồ tuần tự [23 ] Những mô hình này sau đó có thể đƣợc dùng nhƣ là đầu vào cho các phƣơng pháp khác nhƣ kiểm chứng mô hình, kiểm thử dựa trên mô hình... trình kiểm thử sản phẩm - Đầy đủ tài liệu: Mô hình hệ thống, các đƣờng đi, các ca kiểm thử là các tài liệu quan trọng trong quá trình phát triển phần mềm nói chung và quá trình kiểm thử phần mềm nói riêng Các tài liệu này cũng giúp cho các kiểm thử viên hiểu hơn về các ca kiểm thử và các kịch bản kiểm thử - Khả năng sử dụng lại cao: Mỗi khi phần mềm bị tiến hóa, chúng ta dễ dạng sinh thêm các ca kiểm thử. .. niệm kiểm thử dựa trên mô hình Trong quá trình kiểm thử tự động phần mềm, kiểm thử viên trƣớc tiên sẽ tạo ra các kịch bản kiểm thử bằng cách ghi lại tính năng của phần mềm đó Sau đó, kiểm thử viên tiến hành kiểm thử theo kịch bản đã đƣợc tạo ra với những tham số khác nhau Quá trình kiểm thử đƣợc chạy tự động Tuy nhiên, việc tạo kịch bản kiểm thử lại đƣợc tiến hành thủ công Hầu hết các công cụ kiểm thử ... TRẦN THỊ MÙI PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ BIỂU ĐỒ TUẦN TỰ UML 2. 0 VÀ ỨNG DỤNG CHO KIỂM THỬ PHẦN MỀM Ngành: Hệ thống thông tin Chuyên ngành: Hệ thống thông tin Mã số: 60 48 01 04 LUẬN VĂN THẠC... tích biểu đồ dòng điểu khiển dựa biểu đồ UML 2. 0 ứng dụng để sinh kiểm thử Phƣơng pháp nghiên cứu gồm hai trình chuyển đồi biểu đồ đồ thị dòng điều khiển từ đồ thị dòng điều khiển sinh kiểm thử Biểu. .. khăn kiểm thử tự động dựa mô hình Chƣơng PHƢƠNG PHÁP SINH ĐỒ THỊ DÕNG ĐIỀU KHIỂN TỪ BIỂU ĐỒ TUẦN TỰ 10 3.1 Biểu đồ 10 3 .2 Đồ thị dòng điều khiển 18 3.3 Đƣờng kiểm thử