- ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ. - 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. - Tiếp theo tôi xin gửi lời cảm ơn đến các thầy cô giảng viên Trƣờng Đại học Công Nghệ - Đại học Quốc Gia Hà Nội – những ngƣời đã tận tâm truyền đạt những kiến thức quý báu làm nền tảng cho tôi suốt 2 năm học.. - Luận văn này tập trung nghiên cứu phƣơng pháp sinh bộ kiểm thử từ biểu đồ tuần tự UML 2.0 dựa trên lý thuyết kiểm thử mô hình nhằm tự động hóa quá trình kiểm thử, nâng cao hiệu quả, tiết kiệm chi phí và thời gian. - Phƣơng pháp này đƣợc thực hiện thông qua các bƣớc chính sau. - Đầu tiên, để có đƣợc mô hình làm đầu vào cho kiểm thử, phƣơng pháp thực hiện chuyển đổi biểu đồ tuần tự về đồ thị dòng điều khiển bằng cách tiến hành bóc, tách từng khối (fragment) trong biểu đồ tuần tự. - Các khối này có thể tuần tự hoặc lồng nhau, dựa vào quan hệ của chúng, tiến hành xây dựng đồ thị cho mỗi khối, sau đó lồng chúng lại nhằm sinh ra đồ thị dòng điều khiển tƣơng ứng với biểu đồ tuần tự. - 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ệ các ràng buộc nhằm tìm kiếm nghiệm và từ đó sinh ca kiểm thử.. - Một công cụ hỗ trợ phƣơng pháp này đã đƣợ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 tiềm năng ứng dụng của công cụ này trong việc kiểm thử tự động ở các công ty.. - Từ khóa: Kiểm thử dựa trên 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ủ.. - 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.. - 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.. - Tôi xin cam đoan rằng những nghiên cứu về sinh tự động bộ kiểm thử từ biểu đồ tuần tự đƣợc trình bày trong luận văn này dƣới sự hƣớng dẫn của TS.. - Tôi xin cam đoan công cụ kiểm thử tự động tôi trình bày trong luận văn là do tôi tự phát triển, không sao chép mã nguồn của ngƣời khác. - Nếu sai tôi hoàn toàn chịu trách nhiệm theo quy định của Trƣờng Đại học Công Nghệ - Đại học Quốc Gia Hà Nội.. - Error! Bookmark not defined.. - TỔNG QUAN KIỂM THỬ DỰA TRÊN MÔ HÌNHError! Bookmark not defined.. - Khái niệm kiểm thử dựa trên mô hình. - Quy trình chung của kiểm thử dựa trên mô hìnhError! Bookmark not defined.. - Phƣơng pháp đặc tả mô hình bằng máy trạng thái UMLError! Bookmark not defined.. - Thuận lợi và khó khăn của kiểm thử tự động dựa trên mô hìnhError! Bookmark not defined.. - PHƢƠNG PHÁP SINH ĐỒ THỊ DÒNG ĐIỀU KHIỂN TỪ BIỂU ĐỒ TUẦN TỰ Error! Bookmark not defined.. - Biểu đồ tuần tự. - Đồ thị dòng điều khiển. - Đƣờng kiểm thử. - Chuyển đổi biểu đồ tuần tự sang đƣờng kiểm thửError! Bookmark not defined.. - Định dạng chuẩn khi viết tệp xmi từ biểu đồ tuần tựError! Bookmark not defined.. - Thuật toán sinh tự động các đƣờng kiểm thửError! Bookmark not defined.. - Thuật toán phân tích biểu đồ tuần tự. - Thuật toán chuyển cấu trúc dữ liệu biểu đồ tuần tự sang đƣờng kiểm thửError! Bookmark not defined.. - Thuật toán xác định đƣờng kiểm thử cho khối alt. - Thuật toán xác định đƣờng kiểm thử cho khối opt và breakError! Bookmark not defined.. - Thuật toán xác định đƣờng kiểm thử cho khối loop. - Thuật toán xác định đƣờng kiểm thử cho khối par và seqError! Bookmark not defined.. - 3.6.7.Thuật toán xác định đƣờng kiểm thử cho khối weak. - Thuật toán xác định đƣờng kiểm thử cho khối strict. - Thuật toán xác định đƣờng kiểm thử cho khối ignore . - PHƢƠNG PHÁP SINH BỘ KIỂM THỬ TỪ ĐỒ THỊ DÒNG ĐIỀU. - Môi trƣờng thử nghiệm công cụ sinh ca kiểm thử từ thiết kế. - [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 bản 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 các ca kiểm thử tự động từ các mô hình thiết kế UML và 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 và ứ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.. - King (1976), ―Symbolic execution and program testing‖, Communciations of the ACM, vol. - 2 (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. - 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. - International Conference on, pp. - Pezzè, ―Automatic generation of software b ehavioral mo dels", ACM, Pro ceedings of the 30th international conference on Software engineering, pp. - Hung, ―A Metho d for Gene rating Mo dels of Black-b ox Comp onents ", 4th International Conference on Knowledge and Systems. - Y annak a ki s, ―Adaptive Mo del Checking", Logic Journal of the IGPL, vol. - 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. - Hung, ―A Method for Generating Models of Black-box Components‖, 4 th International Conference on Knowledge and Systems Engineering (KSE 2012), IEEE Computer Society Press, pp. - Pezz` e, ―Automatic generation of software behavioral models‖, ACM, Proceedings of the 30th international conference on Software engineering, pp. - Pasareanu, Robby and Hongjun Zheng, ‖Bandera: extracting finite-state models from Java source code‖, Software Engineering, Proceedings of the 2000 International Conference on, pp.. - 18th IEEE International Conference on, pp. - Hung, ―An Assume-Guarantee Model Checker for Component-Based Systems‖, The 10 th IEEE-RIVF International Conference on Computing and Communication Technologies, 2013 (accepted).. - Y annak akis, ―Adaptive Model Checking‖, Logic Journal of the IGPL, vol