Tự động sinh bộ kiểm thử dựa trên tài liệu đặc tả yêu cầu nghiệp vụ SRS

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TỰ ĐỘNG SINH BỘ KIỂM THỬ DỰA TRÊN TÀI LIỆU ĐẶC TẢ YÊU CẦU NGHIỆP VỤ SRS Tác giả: Bùi Thị Thúy LUẬN VĂN THẠC SĨ Chuyên ngành: HỆ THỐNG THÔNG TIN Hà Nội, 10/2016 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TỰ ĐỘNG SINH BỘ KIỂM THỬ DỰA TRÊN TÀI LIỆU ĐẶC TẢ YÊU CẦU NGHIỆP VỤ SRS Tác giả: Bùi Thị Thúy Giảng viên hướng dẫn: PGS.TS Trƣơng Ninh Thuận Hà Nội, 10/2016 LỜI CAM ĐOAN Tác giả xin cam đoan kết đạt đƣợc luận văn sản phẩm riêng cá nhân Tác giả đƣợc hƣớng dẫn khoa học PGS TS Trƣơng Ninh Thuận, không chép lại ngƣời khác Trong toàn nội dung luận văn, điều trình bày cá nhân đƣợc tổng hợp nhiều nguồn tài liệu Tất tài liệu tham khảo có xuất xứ rõ ràng đƣợc trích dẫn hợp pháp Tác giả xin hoàn toàn chịu trách nhiệm chịu hình thức kỷ luật theo quy định cho lời cam đoan Hà Nội, ngày tháng năm 2016 HỌC VIÊN Bùi Thị Thúy LỜI CẢM ƠN Lời đầu tiên, em xin gửi lời cảm ơn chân thành sâu sắc tới PGS.TS Trƣơng Ninh Thuận, ngƣời thầy trực tiếp hƣớng dẫn tận tình đóng góp ý kiến quý báu cho em suốt trình thực luận văn tốt nghiệp Em xin gửi lời cảm ơn đến thầy cô giáo trƣờng Đại học Công nghệ - Đại học Công nghệ - Đại học Quốc gia Hà Nội, tận tâm truyền đạt kiến thức quý báu làm tảng cho em công việc sống Qua đây, em xin gửi lời cảm ơn đến đồng nghiệp công ty TNHH FPT Software giúp đỡ em trình làm thực nghiệm cho luận văn Cuối cùng, em xin đƣợc cảm ơn cha mẹ, ngƣời thân, bạn bè đồng nghiệp em tại, ngƣời bên em, khuyến khích động viên em sống học tập HỌC VIÊN Bùi Thị Thúy MỤC LỤC Danh mục ký hiệu chữ viết tắt Danh mục bảng Danh mục hình vẽ MỞ ĐẦU 10 CHƢƠNG 1: GIỚI THIỆU CHUNG Error! Bookmark not defined 1.1 Nội dung luận văn .Error! Bookmark not defined 1.2 Cấu trúc luận văn .Error! Bookmark not defined CHƢƠNG CÁC KHÁI NIỆM TỔNG QUAN Error! Bookmark not defined 2.1 Giới thiệu tổng quan SRS Error! Bookmark not defined 2.1.1 Khái niệm SRS Error! Bookmark not defined 2.1.2 Vị trí SRS trình xây dựng phần mềm Error! Bookmark not defined 2.1.3 2.2 Cấu trúc tổng quan SRS .Error! Bookmark not defined Giới thiệu Use Case Error! Bookmark not defined 2.2.1 Khái niệm Use Case Error! Bookmark not defined 2.2.2 Vai trò Use Case SRS .Error! Bookmark not defined 2.2.3 Cấu trúc tổng quan Use Case .Error! Bookmark not defined 2.3 Giới thiệu tổng quan Test Case Error! Bookmark not defined 2.3.1 Khái niệm Test Case Error! Bookmark not defined 2.3.2 Vị trí Test Case trình xây dựng phần mềm Error! Bookmark not defined 2.3.3 Cấu trúc tổng quan Test Case Error! Bookmark not defined CHƢƠNG GIẢI PHÁP XÂY DỰNG TEST CASE DỰA TRÊN SRS Error! Bookmark not defined 3.1 Dữ liệu đầu vào Error! Bookmark not defined 3.1.1 Thuộc tính Use Case Error! Bookmark not defined 3.1.2 Luồng hoạt động (Activities Flow) Error! Bookmark not defined 3.1.3 Các quy tắc nghiệp vụ (Business Rules) Error! Bookmark not defined 3.2 Dữ liệu đầu .Error! Bookmark not defined 3.3 Phƣơng pháp thực .Error! Bookmark not defined 3.3.1 Xây dựng thông tin Use Case Test Case Error! Bookmark not defined 3.3.2 Xây dựng Điều kiện cần (Pre-condition) cho Test Case Error! Bookmark not defined 3.3.3 Xây dựng Actor cho Test Case: Error! Bookmark not defined 3.3.4 Xây dựng thông tin cho Use Case ID, Test Case ID Error! Bookmark not defined 3.3.5 Xây dựng Tên Test Case (Test Case Title) .Error! Bookmark not defined 3.3.6 Xây dựng Các bƣớc thực (Test Procedure) Error! Bookmark not defined 3.3.7 Xây dựng kết mong đợi (Expected Result) Error! Bookmark not defined 3.3.8 Xây dựng Test Case dựa bullet numbering Error! Bookmark not defined CHƢƠNG CÔNG NGHỆ SỬ DỤNG Error! Bookmark not defined 1.1 POI Apache Error! Bookmark not defined 4.1.1 Tính Apache POI .Error! Bookmark not defined 4.1.2 Sử dụng Apache POI đọc file SRS Error! Bookmark not defined 4.2 JXLS Error! Bookmark not defined 4.2.1 Giới thiệu .Error! Bookmark not defined 4.2.2 Tính năng, đặc điểm Error! Bookmark not defined 4.2.3 Sử dụng JXLS để tạo file excel Error! Bookmark not defined KẾT LUẬN VÀ HƢỚNG PHÁT TRIỂN Error! Bookmark not defined TÀI LIỆU THAM KHẢO 11 Danh mục ký hiệu chữ viết tắt STT 10 11 12 13 Từ viết tắt SRS ID POI HSSF XSSF HPSF HWPF HSLF HDGF HPBF HSMF DDF XML Nghĩa đầy đủ Software Specification Identification Poor Obfuscation Implementation Horrible SpreadSheet Format XML SpreadSheet Format Horrible Property Set Format Horrible Word Processor Format Horrible Slide Layout Format Horrible DiaGram Format Horrible PuBlisher Format Horrible Stupid Mail Format Dreadful Drawing Format eXtensible Markup Language Ghi Danh mục bảng Table 1Cấu trúc Test Case thông thƣờng .Error! Bookmark not defined Table 2: Thuộc tính Use Case Error! Bookmark not defined Table 3: Bảng mô tả luồng hoạt động Use Case Error! Bookmark not defined Danh mục hình vẽ Figure 1: Vị trí SRS quy trình sản xuất phần mềm Error! Bookmark not defined Figure 2: Use Case Diagram cho hệ thống điện thoại đơn giản Error! Bookmark not defined Figure 3: Vị trí Test Case trình xây dựng phần mềm Error! Bookmark not defined Figure 4: Xây dựng thông tin Use Case Test Case .Error! Bookmark not defined Figure 5: Xây dựng Điều kiện cần (Pre-condition) cho Test Case Error! Bookmark not defined Figure 6: Xây dựng Actor cho Test Case Error! Bookmark not defined Figure 7: Xây dựng nội dung cho “Tên Test Case” Test Case Error! Bookmark not defined Figure 8: Xây dựng nội dung cho “Các bƣớc thực hiện” Test Case Error! Bookmark not defined Figure 9: Xây dựng nội dung cho “Kết mong đợi” trƣờng hợp Validation passed .Error! Bookmark not defined Figure 10: Xây dựng nội dung cho “Kết mong đợi” trƣờng hợp Validation fail Error! Bookmark not defined Figure 11: Business rules với điều kiện rẽ nhánh cha-con Error! Bookmark not defined Figure 12: Xây dựng Test Case dựa điều kiện rẽ nhánh cha-con Error! Bookmark not defined MỞ ĐẦU Ngày này, quy trình sản xuất phần mềm, khâu hình thành xây dựng sản phẩm, công ty chuyên sản xuất phần mềm trọng đến trình đầu vào đầu sản phẩm, hai trình tác động cách trực tiếp đến mục tiêu chất lƣợng sản phẩm phần mềm Về trình đầu vào sản phẩm, số công ty phần mềm lớn xây dựng quy trình thu thập yêu cầu phần mềm xây dựng tài liệu chuẩn để làm đầu vào cho trình coding xây dựng sản phẩm Đầu trình tài liệu yêu cầu phần mềm, đƣợc gọi SRS (Software Requirement Specification) Với liệu chuẩn này, bên liên quan sử dụng nhƣ tài liệu chung chuẩn nhất, đƣợc cập nhật nhƣ sử dụng xuyên suốt toàn dự án phần mềm Về trình đầu sản phẩm, hầu hết công ty xây dựng đội ngũ kiểm thử chất lƣợng sản phẩm, toàn quy trình hoạt động sản phẩm để đảm bảo sản phẩm phần mềm đƣợc xây dựng theo nhƣ yêu cầu mục tiêu đề ban đầu Hiện nay, công ty phần mềm lớn nhỏ, họ xây dựng đội ngũ kiểm thử, đƣợc gọi tester, với khóa đào tạo chuyên nghiệp để tiến hành chạy test case sau sản phẩm hoàn thành, đảm bảo sau sản phẩm đƣa vào sử dụng với mục tiêu yêu cầu ban đầu, tránh đƣợc lỗi coding, mang lại cho ngƣời sử dụng sản phẩm tƣơng đối hoàn hảo Trong trình kiểm thử đầu sản phẩm, tất test case đƣợc tester viết tay, sau sử dụng test case cho việc kiểm thử Công việc công việc tƣơng đối tốn thời gian, sản phẩm phần mềm thƣờng có số lƣợng test case lớn, có sản phẩm phần mềm với quy mô lớn lên đến hàng chục nghìn test case, điều vô hình chung thƣờng mang lại áp lực vô hình cho ngƣời làm công việc kiểm thử phần mềm Từ mong muốn nhu cầu thiết thực trên, mong muốn nghiên cứu xây dựng sản phẩm tự động chuyển hóa thông tin từ SRS thành dạng test case, để hỗ trợ cho trình xây dựng test case chuẩn từ yêu cầu phần mềm, phục vụ cho trình kiểm thử phần mềm, giúp tiết kiệm thời gian cho tester việc viết test case 10 TÀI LIỆU THAM KHẢO Glenford J Myers, Tom Badgett and Corey Sandler (2015), The Art of Software Testing, Third Edition Practice Book for the Paper-based GRE ® revised General Test (PDF), Second Edition Glenn Fulcher and Fred Davidson (2006), Language Testing and Assessment: An Advanced Resource Book Rekard Edgren (2012), The Little Black Book on Test Design Cem Kaner and Jack Falk, Testing Computer Software IIBA | International Institute of Business Analysis (2015), A Guide to the Business Analysis Body of Knowledge® (BABOK® Guide), Third Edition IEEE Computer Society (1998), IEEE Recommended Practice for Software Requirements Specifications John D Gannon, James M Purtilo, Marvin V Zelkowitz (2001), MarylandSOFTWARE SPECIFICATION: A Comparison of Formal Methods, Department of Computer Science University of Maryland College Park Ivar Jacobson, Ian Spence, Kurt Bittner (2011), USE-CASE 2.0 - The Guide to Succeeding with Use Cases 10 Donald Bell and IBM Glabal Service (2003), UML basics: An introduction to the Unified Modeling Language 11 Addison-Wesley (2001), Writing effective Use Cases 11 ...ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TỰ ĐỘNG SINH BỘ KIỂM THỬ DỰA TRÊN TÀI LIỆU ĐẶC TẢ YÊU CẦU NGHIỆP VỤ SRS Tác giả: Bùi Thị Thúy Giảng viên hướng dẫn: PGS.TS Trƣơng... coding xây dựng sản phẩm Đầu trình tài liệu yêu cầu phần mềm, đƣợc gọi SRS (Software Requirement Specification) Với liệu chuẩn này, bên liên quan sử dụng nhƣ tài liệu chung chuẩn nhất, đƣợc cập... vô hình cho ngƣời làm công việc kiểm thử phần mềm Từ mong muốn nhu cầu thiết thực trên, mong muốn nghiên cứu xây dựng sản phẩm tự động chuyển hóa thông tin từ SRS thành dạng test case, để hỗ