Kiểm thử phần mềm trên cơ sở các biểu đồ uml

NGA KIỂM THỬ PHẦN MỀM TRÊN CƠ SỞ CÁC BIỂU ĐỒ UML : 60-48-01 Trung Tuấn N - 2013 i LỜI CAM ĐOAN Tôi xin cam đoan luận văn nghiên cứu tơi, có hỗ trợ từ giáo viên hƣớng dẫn PGS.TS Đỗ Trung Tuấn Các nội dung nghiên cứu kết luận văn trung thực Những số liệu bảng biểu phục vụ cho việc phân tích, nhận xét, đánh giá đƣợc thu thập từ nguồn khác có ghi phần tài liệu tham khảo Ngồi ra, đề tài cịn sử dụng số nhận xét, đánh giá nhƣ số liệu tác giả, quan tổ chức khác, đƣợc thể phần tài liệu tham khảo Nếu phát có gian lận tơi xin hoàn toàn chịu trách nhiệm trƣớc Hội đồng, nhƣ kết luận văn Thái Nguyên, ngày 14 tháng 10 năm 2013 Học viên Nguyễn Thị Nga Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ ii LỜI CẢM ƠN Để hồn thành chƣơng trình cao học viết luận văn này, em nhận đƣợc giúp đỡ đóng góp nhiệt tình thầy trƣờng Đại học Công nghệ Thông tin Truyền Thông, Đại học Thái Nguyên Trƣớc hết, em xin chân thành cảm ơn thầy cô phận Đào tạo sau đại học, Đại học Công nghệ thông tin Truyền thơng, trƣờng Đại học Thái Ngun tận tình giảng dạy, trang bị cho em kiến thức quý báu suốt năm học qua Em xin gửi lời biết ơn sâu sắc tới PGS TS Đỗ Trung Tuấn dành nhiều thời gian tâm huyết hƣớng dẫn, bảo em suốt trình thực đề tài Xin chân thành cảm ơn gia đình, bạn bè nhiệt tình ủng hộ, giúp đỡ, động viên vật chất lẫn tinh thần thời gian học tập nghiên cứu Trong trình thực luận văn, cố gắng nhƣng khơng tránh khỏi thiếu sót Kính mong nhận đƣợc cảm thơng tận tình bảo thầy bạn Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ iii MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii MỤC LỤC iii DANH MỤC TỪ VIẾT TẮT v DANH MỤC HÌNH VẼ vi MỞ ĐẦU Chương 1: MỘT SỐ KHÁI NIỆM CƠ BẢN VỀ THIẾT KẾ PHẦN MỀM BẰNG UML VÀ KIỂM THỬ PHẦN MỀM 1.1 Thiết kế hệ thống UML 1.1.1 Một số khái niệm 1.1.2 Các mơ hình UML 1.2 Kỹ thuật kiểm thử phần mềm 14 1.2.1 Một số khái niệm 15 1.2.2 Kiểm thử chức (Black box) 18 1.2.2.1 Phân hoạch tƣơng đƣơng 18 1.2.2.2 Phân tích giá trị biên 18 1.2.2.3 Kỹ thuật đồ thị nhân 19 1.2.2.4 Kiểm thử so sánh 20 1.2.2.5 Kiểm thử dựa đặc tả 21 1.2.3 Kiểm thử cấu trúc (White box) 22 1.2.4 Công cụ kiểm thử phần mềm 23 Chương 2: KIỂM THỬ TÍCH HỢP TRÊN CƠ SỞ CÁC MƠ HÌNH UML 30 2.1 Phƣơng pháp 30 2.1.1 Mơ hình kiểm thử phần mềm dựa thành phần 30 2.1.2 Kiểm thử tích hợp sở mơ hình UML cho phần mềm dựa thành phần 32 Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ iv 2.2 Kiểm thử sở mơ hình trạng thái 33 2.2.1 Mơ hình tiếp cận mơ hình trạng thái 33 2.2.2 Các khái niệm mô hình trạng thái 33 2.2.3 Sử dụng mơ hình 35 2.3 Kiểm thử sở mơ hình trình tự 39 2.3.1 Các khái niệm mơ hình trình tự 39 2.3.2 Sử dụng mơ hình 40 2.4 Kiểm thử sở mô hình cộng tác 40 2.4.1 Các khái niệm mơ hình cộng tác 40 2.4.2 Sử dụng mơ hình 42 Chương 3: XÂY DỰNG ỨNG DỤNG THỬ NGHIỆM 45 3.1 Bài toán 45 3.2 Phân tích thiết tốn sở UML 47 3.2.1 Quy trình xây dựng tài liệu kiểm thử dựa mơ hình UML 47 3.2.2 Mơ hình xây dựng use-case với tốn thực tế 48 3.2.3 Xây dựng luồng nghiệp vụ sở cách tiếp cận mơ hình cộng tác /tuần tự trạng thái 48 3.3 Sinh test case, test path để kiểm thử mơ hình UML 58 Trình diễn số kịch chƣơng trình 66 KẾT LUẬN VÀ KIẾN NGHỊ 68 TÀI LIỆU THAM KHẢO 69 Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ v DANH MỤC TỪ VIẾT TẮT actor Tác nhân Black box Hộp đen BVA boundary value analysis CNTT Công nghệ thông tin FRAME Khung IBM Tên cơng ty máy tính script Kịch UC Biểu đồ UC (Use case diagrams) UML Ngơn ngữ mơ hình hóa tổng quát White box Hộp trắng Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ vi DANH MỤC BẢNG, HÌNH VẼ Bảng 2.1 Bảng biến đổi trạng thái nhận đƣợc đặc tả biểu đồ trạng thái 38 Hình 1.1 Các ký hiệu đồ họa biểu đồ Use Cases Hình 1.2 UC cho hệ thống xử lý đặt hàng Hình 1.3 Các ký hiệu đồ họa biểu đồ Lớp Hình 1.4 Biểu đồ lớp cho hệ thống xử lý đặt hàng Hình 1.5 Các ký hiệu đồ họa cho biểu đồ đối tƣợng Hình 1.6 Biểu đồ đối tƣợng cho hệ thống xử lý đặt hàng Hình 1.7 Biểu đồ giao tiếp cho hệ thống xử lý đặt hàng Hình 1.8 Biểu đồ cho hệ thống xử lý đặt hàng Hình 1.9 Biểu đồ trạng thái cho đối tƣợng phụ tùng hệ thống xử lý đặt hàng Hình 1.10 Biểu đồ hoạt động cho hệ thống xử lý đặt hàng 10 Hình 1.11 Biểu đồ gói OrderSubmission 10 Hình 1.12 Ký hiệu đồ họa cho biểu đồ thành phần 11 Hình 1.13 Biểu đồ thành phần cho hệ thống xử lý đặt hàng 11 Hình 1.14 Biểu đồ triển khai cho hệ thống xử lý đặt hàng 12 Hình 1.15 Biểu đồ thời gian (ký hiệu ngắn gọn) mô tả đƣờng sống máy in 12 Hình 1.16 Biểu đồ thời gian (ký hiệu dày) miêu tả trạng thái máy in 13 Hình 1.17 Biểu đồ tƣơng tác hệ thống quản lý kiểm kê 14 Hình 1.18 Tiến trình kỹ thuật nhân 20 Hình 1.19 Mơ hình tổ chức Visual Studio Team System 2008 Team Foundation Server 23 Hình 1.20 Giao diện QuickTest Professional 25 Hình 1.21 Logo JMeter 27 Hình 2.1 Biểu đồ trạng thái đặc tả thành phần máy bán hàng tự động 37 Hình 2.2 Biểu đồ trình tự thành phần máy chủ ATM 39 Hình 2.3 Biểu đồ cộng tác thành phần máy chủ ATM 41 Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ vii Hình 2.4 Biểu đồ cộng tác cho PIN hợp lệ 42 Hình 3.1 Mơ hình use case mơ tả tốn phát biểu 48 Hình 3.2 Biểu đồ trình tự khởi động hệ thống 49 Hình 3.3a Biểu đồ trình tự tắt hệ thống 49 Hình 3.3b Biểu đồ trạng thái bật tắt hệ thống 50 Hình 3.4 Biểu đồ trình tự phiên 50 Hình 3.5 Biểu đồ trạng thái phiên 51 Hình 3.6 Biểu đồ trình tự giao dịch 52 Hình 3.7 Biểu đồ trạng thái cho loại giao dịch 53 Hình 3.8 Biểu đồ cộng tác giao dịch rút tiền 54 Hình 3.9 Biểu đồ cộng tác giao dịch gửi tiền 55 Hình 3.10 Biểu đồ cộng tác giao dịch chuyển tiền 56 Hình 3.11 Biểu đồ cộng tác giao dịch truy vấn 56 Hình 3.12 Biểu đồ cộng tác PIN khơng hợp lệ 57 Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ MỞ ĐẦU Đặt vấn đề Công nghệ thông tin (CNTT) kết hợp hạ tầng phần cứng phần mềm Hạ tầng phần cứng ngày mạnh phần mềm ngày lớn phức tạp Chính lý mà cơng nghệ phần mềm (quy trình phát triển phần mềm) đƣợc tâm bàn thảo từ sớm nhằm tìm phƣơng pháp để phát triển phần mềm thuận tiện có chất lƣợng cao đáp ứng tốt nhu cầu ngày đa dạng phức tạp Tất quy trình phát triển phần mềm trải qua bƣớc từ xác định yêu cầu, phân tích, xây dựng, kiểm thử, triển khai bảo trì Trong kiểm thử khâu khơng thể thiếu q trình phát triển phần mềm Nhiều hệ thống phần mềm thất bại lỗi khơng đƣợc tìm Kiểm thử phần mềm công việc phức tạp, tốn nhiều công sức Quá trình kiểm thử gồm số pha kết hợp nhƣ: kiểm thử đơn vị, kiểm thử chức năng, kiểm thử hệ thống, kiểm thử hồi quy kiểm thử giải pháp Nhƣ vậy, kiểm thử phần mềm điều kiện tiên cho sản phẩm phần mềm có chất lƣợng tốt Ngày nay, phần lớn hệ thống phần mềm đƣợc phát triển theo phƣơng pháp hƣớng đối tƣợng chúng có nhiều ƣu việt so với phƣơng pháp truyền thống Quá trình phát triển phần mềm thƣờng thơng qua mơ hình UML Tuy nhiên, phƣơng pháp hƣớng đối tƣợng đặt nhiều thách thức cho cơng việc kiểm thử, ví dụ tƣơng tác đối tƣợng làm cho việc tìm lỗi khó khăn Đã có nhiều nghiên cứu liên quan đến kiểm thử tích hợp mơ hình UML Nhƣng chƣa có quy trình chuẩn cho việc áp dụng mơ hình UML vào việc kiểm thử phần mềm nói chung nhƣ kiểm thử hệ thống phần mềm Luận văn nhằm mục tiêu nghiên cứu học hỏi kỹ thuật mơ hình hố hệ thống phần mềm ngôn ngữ UML kỹ thuật kiểm thử phần mềm Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ Nội dung đề tài Xuất phát từ việc phân tích mục tiêu nêu trên, nội dung đề tài luận văn bao gồm vấn đề sau: Nghiên cứu, tìm hiểu số khái niệm thiết kế phần mềm UML kiểm thử phần mềm Nghiên cứu kiểm thử tích hợp sở mơ hình UML Xây dựng ứng dụng thử nghiệm Cấu trúc luận văn Luận văn đƣợc chia thành chƣơng dựa vào nội dung nêu trên: Chƣơng 1: Một số khái niệm thiết kế phần mềm UML kiểm thử phần mềm Chƣơng 2: Kiểm thử tích hợp sở mơ hình UML Chƣơng 3: Xây dựng ứng dụng thử nghiệm Cuối luận văn danh sách tài liệu tham khảo phụ lục Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 55 Hình 3.9 Biểu đồ cộng tác giao dịch gửi tiền Giao dịch gửi tiền yêu cầu khách hàng chọn loại tài khoản để gửi tiền vào (ví dụ tài khoản) từ danh mục tài khoản có, gõ số tiền bàn phím Giao dịch ban đầu đƣợc gửi đến ngân hàng để kiểm tra xem máy ATM chấp nhận khoản tiền gửi từ khách hàng tới tài khoản không Nếu giao dịch đƣợc chấp nhận, máy chấp nhận phong bì từ khách hàng chứa tiền mặt trƣớc phát hóa đơn Một phong bì đƣợc nhận, tin nhắn đƣợc gửi tới ngân hàng để xác nhận ngân hàng công nhận tài khoản khách hàng - đội ngũ xác minh nội dung phong bì tiền gửi thao tác sau (hóa đơn phong bì đƣợc ghi vào nhật ký ATM.) Giao dịch gửi tiền đƣợc hủy khách hàng ấn phím hủy thời gian trƣớc chèn phong bì có chứa tiền gửi, giao dịch tự động hủy khách hàng thất bại chèn phong bì chứa tiền gửi thời gian hợp lý sau đƣợc yêu cầu làm nhƣ Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 56 Hình 3.10 Biểu đồ cộng tác giao dịch chuyển tiền Giao dịch chuyển tiền yêu cầu khách hàng chọn loại tài khoản để chuyển từ (ví dụ tài khoản) từ danh mục tài khoản có, tới tài khoản khác chuyển tới, nhập số tiền từ bàn phím Khơng có hành động đƣợc yêu cầu giao dịch đƣợc chấp nhận ngân hàng trƣớc in hóa đơn Giao dịch chuyển tiền đƣợc hủy khách hàng ấn nút hủy lúc trƣớc nhập tiền Hình 3.11 Biểu đồ cộng tác giao dịch truy vấn Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 57 Giao dịch truy vấn (điều tra số dƣ) yêu cầu khách hàng chọn loại tài khoản để truy vấn từ danh mục tài khoản có Khơng có hành động đƣợc yêu cầu giao dịch đƣợc chấp nhận bới ngân hàng trƣớc in hóa đơn (biên lai) Giao dịch truy vấn đƣợc hủy khách hàng ấn phím hủy thời gian trƣớc lựa chọn tài khoản truy vấn Hình 3.12 Biểu đồ cộng tác PIN khơng hợp lệ PIN không hợp lệ đƣợc giao dịch báo cáo ngân hàng giao dịch không đƣợc chấp nhận PIN không hợp lệ, khách hàng đƣợc yêu cầu nhập lại PIN yêu cầu ban đầu đƣợc gửi lại cho ngân hàng Nếu mã PIN nhập lại thành cơng Nó đƣợc sử dụng cho giao dịch tất giao dịch sau Cịn ma PIN khơng trình mã PIN đƣợc nhập lại Nếu khách hàng nhập ba lần thất bại thẻ đƣợc giữ vĩnh viễn, hình hiển thị thơng báo cho khách hàng điều đề xuất liên lạc với ngân hàng Nếu khách hàng ấn phím hủy thay cho nhập lại PIN giao dịch ban đầu bị hủy bỏ Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 58 3.3 Sinh test case, test path để kiểm thử mô hình UML Ta xây dựng tình kiểm thử ứng với use case “rút tiền, gửi tiền, chuyển tiền, truy vấn PIN hợp lệ” toán thực tiễn phát biểu Tình Các bƣớc thực Rút Tiền (Withdrawal) Mở chức “rút tiền” - Chọn loại tài khoản muốn rút “tài khoản” - Chọn số tiền muốn rút (nhỏ tổng số dƣ “tài khoản”.) Thực giao Mở chức “rút tiền” dịch rút tiền từ - Chọn loại tài khoản muốn rút tài khoản “tài khoản” - Chọn số tiền muốn rút (lớn tổng số dƣ “tài khoản”.) Mở chức “rút tiền” - Chọn loại tài khoản muốn rút “tài khoản” - Chọn hủy Mở chức “rút tiền” - Chọn loại tài khoản muốn rút “tiết kiệm” - Chọn số tiền muốn rút (nhỏ tổng số dƣ “tiết kiệm”) Thực giao Mở chức “rút tiền” dịch rút tiền từ - Chọn loại tài khoản muốn rút tiết kiệm “tiết kiệm” - Chọn số tiền muốn rút (lớn tổng số dƣ “tiết kiệm”) Mở chức “rút tiền” - Chọn loại tài khoản muốn rút “tiết kiệm” - Chọn hủy Số hóa trung tâm học liệu Kết mong đợi Chƣơng trình thực giao dịch thành công, tiền bị trừ “tài khoản” tƣơng ứng số tiền rút, máy phát tiền trả số tiền vừa rút hiển thị thông tin giao dịch rút tiền Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thông báo lỗi “số dƣ tài khoản không đủ”, tiền không bị trừ từ “tài khoản” không rút đƣợc tiền Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thông báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình thực giao dịch thành công, tiền bị trừ “tiết kiệm” tƣơng ứng số tiền rút, máy phát tiền trả số tiền vừa rút hiển thị thông tin giao dịch rút tiền Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không ? co/khong Chƣơng trình hiển thị thơng báo lỗi “số dƣ tài khoản không đủ”.tiền không bị trừ từ “tiết kiệm” không rút đƣợc tiền Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không? co/khong http://www.lrc.tnu.edu.vn/ 59 Các bƣớc thực Kết mong đợi Mở chức “rút tiền” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn rút “loại tài khoản không hợp lệ” “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn có muốn thực giao dịch Thực giao - Chọn số tiền muốn rút khác không? co/khong dịch rút tiền từ thị trƣờng tiền Mở chức “rút tiền” Chƣơng trình hiển thị thơng báo tệ - Chọn loại tài khoản muốn rút “giao dịch cuối đƣợc hủy” “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác không? co/khong Gửi Tiền (Deposit) Mở chức “gửi tiền” Chƣơng trình thực giao - Chọn loại tài khoản muốn gửi dịch thành công, tiền bị cộng “tài khoản” thêm vào “tài khoản” tƣơng ứng - Nhập số tiền muốn gửi số tiền gửi hiển thị thông - Chọn đồng ý tin giao dịch gửi tiền - Đƣa tiền vào phong bì Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không? co/khong Mở chức “gửi tiền” Sau 20 giây mà khơng kích vào - Chọn loại tài khoản muốn gửi đƣa tiền vào phong bì “tài khoản” Chƣơng trình hiển thị thơng báo - Nhập số tiền muốn gửi “giao dịch cuối đƣợc hủy” - Chọn đồng ý Sau chƣơng trình hỏi bạn có muốn thực giao dịch Thực giao khác không? co/khong dịch gửi tiền Mở chức “gửi tiền” Chƣơng trình hiển thị thơng báo vào “tài - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” khoản” “tài khoản” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn đồng ý khác không? co/khong - Chọn hủy Mở chức “gửi tiền” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “tài khoản” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn hủy khác không? co/khong Mở chức “gửi tiền” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “tài khoản” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác khơng? co/khong Tình Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 60 Các bƣớc thực Kết mong đợi Mở chức “gửi tiền” Chƣơng trình thực giao - Chọn loại tài khoản muốn gửi dịch thành công, tiền bị cộng “tiết kiệm” thêm vào “tiết kiệm” tƣơng ứng - Nhập số tiền muốn gửi số tiền gửi hiển thị thông - Chọn đồng ý tin giao dịch gửi tiền - Đƣa tiền vào phong bì Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Mở chức “gửi tiền” Sau 20 giây mà khơng kích vào - Chọn loại tài khoản muốn gửi đƣa tiền vào phong bì “tiết kiệm” Chƣơng trình hiển thị thông báo - Nhập số tiền muốn gửi “giao dịch cuối đƣợc hủy” - Chọn đồng ý Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không? co/khong Thực giao dịch gửi tiền Mở chức “gửi tiền” Chƣơng trình hiển thị thông báo vào “tiết kiệm” - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “tiết kiệm” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn đồng ý khác không? co/khong - Chọn hủy Mở chức “gửi tiền” Chƣơng trình hiển thị thông báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “tiết kiệm” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn hủy khác khơng? co/khong Mở chức “gửi tiền” Chƣơng trình hiển thị thông báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “tiết kiệm” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác khơng? co/khong Mở chức “gửi tiền” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn gửi “loại tài khoản khơng hợp lệ” “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn đồng ý khác khơng? co/khong Tình Thực giao dịch gửi tiền vào “thị trƣờng tiền tệ” Mở chức “gửi tiền” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Nhập số tiền muốn gửi có muốn thực giao dịch - Chọn hủy khác không? co/khong Mở chức “gửi tiền” Chƣơng trình hiển thị thông báo - Chọn loại tài khoản muốn gửi “giao dịch cuối đƣợc hủy” “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác khơng? co/khong Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 61 Tình Các bƣớc thực Chuyển Tiền(Transfer) Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tài khoản” - Chọn số tiền chuyển tới “tài khoản” - Nhập số tiền - Chọn đồng ý Thực giao dịch chuyển tiền từ “tài khoản” vào “tài khoản” Thực giao dịch chuyển tiền từ “tài khoản” vào “tiết kiệm” Kết mong đợi Chƣơng trình hiển thị thơng báo “khơng thể chuyển tiền đến tài khoản” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không ? co/khong Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tài “giao dịch cuối đƣợc hủy” khoản” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tài “giao dịch cuối đƣợc hủy” khoản” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thông báo - Chọn số tiền chuyển từ “tài “giao dịch cuối đƣợc hủy” khoản” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác không? co/khong Mở chức “chuyển tiền” Chƣơng trình thực giao - Chọn số tiền chuyển từ “tài dịch thành công, tiền đƣợc cộng khoản” thêm vào “tiết kiệm”,và bị trừ từ - Chọn số tiền chuyển tới “tiết “tài khoản” tƣơng ứng số tiền kiệm” chuyển hiển thị thông tin - Nhập số tiền giao dịch chuyển tiền - Chọn đồng ý Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không? co/khong Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tài “giao dịch cuối đƣợc hủy” khoản” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tiết có muốn thực giao dịch kiệm” khác không? co/khong - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thông báo - Chọn số tiền chuyển từ “tài “giao dịch cuối đƣợc hủy” khoản” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tiết có muốn thực giao dịch kiệm” khác khơng? co/khong - Chọn hủy Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 62 Tình Thực giao dịch chuyển tiền từ “tài khoản” vào “thị trƣờng tiền tệ” Thực giao dịch chuyển tiền từ “tiết kiệm” vào “tiết kiệm” Các bƣớc thực Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tài khoản” - Chọn số tiền chuyển tới “thị trƣờng tiền tệ” - Nhập số tiền - Chọn đồng ý Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tài khoản” - Chọn số tiền chuyển tới “thị trƣờng tiền tệ” - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tài khoản” - Chọn số tiền chuyển tới “thị trƣờng tiền tệ” - Chọn hủy Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tiết kiệm” - Chọn số tiền chuyển tới “tiết kiệm” - Nhập số tiền - Chọn đồng ý Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tiết kiệm” - Chọn số tiền chuyển tới “tiết kiệm” - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” - Chọn số tiền chuyển từ “tiết kiệm” - Chọn số tiền chuyển tới “tiết kiệm” - Chọn hủy Kết mong đợi Chƣơng trình hiển thị thông báo “loại tài khoản không hợp lệ” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng ? co/khong Chƣơng trình hiển thị thơng báo “khơng thể chuyển tiền đến tài khoản” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơn ? co/khong Chƣơng trình hiển thị thơng báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tiết “giao dịch cuối đƣợc hủy” kiệm” Sau chƣơng trình hỏi bạn - Chọn hủy có muốn thực giao dịch khác khơng? co/khong Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 63 Tình Thực giao dịch chuyển tiền từ “tiết kiệm” vào “tài khoản” Thực giao dịch chuyển tiền từ “tiết kiệm” vào “thị trƣờng tiền tệ” Các bƣớc thực Kết mong đợi Mở chức “chuyển tiền” Chƣơng trình thực giao - Chọn số tiền chuyển từ “tiết dịch thành công tiền đƣợc cộng kiệm” thêm vào “tài khoản”,và bị trừ từ - Chọn số tiền chuyển tới “tài “tiết kiệm” tƣơng ứng số tiền khoản” chuyển hiển thị thông tin - Nhập số tiền giao dịch chuyển tiền - Chọn đồng ý Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác không? co/khong Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tiết “giao dịch cuối đƣợc hủy” kiệm” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tiết “giao dịch cuối đƣợc hủy” kiệm” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tiết “loại tài khoản không hợp lệ” kiệm” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “thị có muốn thực giao dịch trƣờng tiền tệ” khác không? co/khong - Nhập số tiền - Chọn đồng ý Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “tiết kiệm” “giao dịch cuối đƣợc hủy” - Chọn số tiền chuyển tới “thị Sau chƣơng trình hỏi bạn trƣờng tiền tệ” có muốn thực giao dịch - Nhập số tiền khác không? co/khong - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thông báo - Chọn số tiền chuyển từ “tiết “giao dịch cuối đƣợc hủy” kiệm” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “thị có muốn thực giao dịch trƣờng tiền tệ” khác khơng? co/khong - Chọn hủy Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 64 Tình Thực giao dịch chuyển tiền từ “thị trƣờng tiền tệ” vào “thị trƣờng tiền tệ” Thực giao dịch chuyển tiền từ “thị trƣờng tiền tệ” vào “tài khoản” Các bƣớc thực Mở chức “chuyển tiền” - Chọn số tiền chuyển từ trƣờng tiền tệ” - Chọn số tiền chuyển tới trƣờng tiền tệ” - Nhập số tiền - Chọn đồng ý Mở chức “chuyển tiền” - Chọn số tiền chuyển từ trƣờng tiền tệ” - Chọn số tiền chuyển tới trƣờng tiền tệ” - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” - Chọn số tiền chuyển từ trƣờng tiền tệ” - Chọn số tiền chuyển tới trƣờng tiền tệ” - Chọn hủy Mở chức “chuyển tiền” - Chọn số tiền chuyển từ trƣờng tiền tệ” - Chọn hủy Kết mong đợi Chƣơng trình hiển thị thơng báo “thị “loại tài khoản khơng hợp lệ” Sau chƣơng trình hỏi bạn “thị có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “thị “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn “thị có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “thị “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn “thị có muốn thực giao dịch khác khơng? co/khong Chƣơng trình hiển thị thơng báo “thị “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “thị “loại tài khoản khơng hợp lệ” trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác khơng? co/khong - Nhập số tiền - Chọn đồng ý Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “thị “giao dịch cuối đƣợc hủy” trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Nhập số tiền - Chọn hủy Mở chức “chuyển tiền” Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “thị “giao dịch cuối đƣợc hủy” trƣờng tiền tệ” Sau chƣơng trình hỏi bạn - Chọn số tiền chuyển tới “tài có muốn thực giao dịch khoản” khác không? co/khong - Chọn hủy Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 65 Tình Các bƣớc thực Mở chức “chuyển tiền” Kết mong đợi Chƣơng trình hiển thị thơng báo “loại tài khoản không hợp lệ” - Chọn số tiền chuyển từ “thị Sau chƣơng trình hỏi bạn trƣờng tiền tệ” có muốn thực giao dịch - Chọn số tiền chuyển tới “tiết khác không? co/khong kiệm” - Nhập số tiền - Chọn đồng ý Chƣơng trình hiển thị thông báo - Chọn số tiền chuyển từ “thị “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn trƣờng tiền tệ” có muốn thực giao dịch - Chọn số tiền chuyển tới “tiết khác không ? co/khong kiệm” Mở chức “chuyển tiền” Thực giao dịch chuyển tiền từ “thị trƣờng tiền tệ” vào “tiết kiệm” - Nhập số tiền - Chọn hủy Chƣơng trình hiển thị thơng báo - Chọn số tiền chuyển từ “thị “giao dịch cuối đƣợc hủy” Sau chƣơng trình hỏi bạn trƣờng tiền tệ” có muốn thực giao dịch - Chọn số tiền chuyển tới “tiết khác không? co/khong kiệm” Mở chức “chuyển tiền” - Chọn hủy Truy vấn số dƣ - điều tra số dƣ (Inquiry) Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn truy thông tin tài khoản Sau chƣơng trình hỏi bạn có vấn “tài khoản” muốn thực giao dịch khác không? co/khong Mở chức “truy vấn” Mở chức “truy vấn” Chƣơng trình hiển thị thơng báo - Chọn loại tài khoản muốn truy thông tin tiết kiệm Thực giao vấn “tiết kiệm” Sau chƣơng trình hỏi bạn dịch truy vấn có muốn thực giao dịch khác khơng? co/khong Mở chức “truy vấn” Chƣơng trình hiển thị thơng báo “loại tài khoản không hợp lệ” - Chọn loại tài khoản muốn truy vấn “thị trƣờng tiền tệ” Sau chƣơng trình hỏi bạn có muốn thực giao dịch khác khơng? co/khong Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 66 Trình diễn số kịch chương trình Rút tiền Chọn để chọn loại giao dịch rút tiền Chọn để rút tiền từ tài khoản Chọn để rút 20$ Máy phát tiền trả 20$ hiển thị thông tin Gửi tiền Chọn để chọn loại giao dịch gửi tiền Số hóa trung tâm học liệu Chọn để gửi tiền vào tài khoản http://www.lrc.tnu.edu.vn/ 67 Nhập số tiền muốn gửi chọn Chọn “kích vào de chèn vào phong bì” đồng ý Tiền đƣợc thêm vào tài khoản hiển thị thơng tin giao dịch (mục đích đƣa tiền mặt vào) Hiển thị thông tin tất các giao dịch khách hàng phiên Chọn “hiển thị nhật ký” Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 68 KẾT LUẬN VÀ KIẾN NGHỊ Kết thực Trong khuôn khổ luận văn tốt nghiệp, thực đƣợc số công việc: Luận văn nghiên cứu kỹ thuật mơ hình hóa hệ thống thơng tin sử dụng UML, nghiên cứu khái quát kiểm thử phần mềm Nghiên cứu kỹ lƣỡng kiểm thử phần mềm sở mơ hình trình tự, cộng tác trạng thái Thử nghiệm kiểm thử phần mềm sở mơ hình UML với hệ thống ATM Kiến nghị tiếp tục Để tiếp tục công việc nghiên cứu, có thể: Chọn hƣớng phát triển tƣơng lai nghiên cứu thêm mơ hình khác UML Đặc biệt tập trung kiểm thử tích hợp hệ thống Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ 69 TÀI LIỆU THAM KHẢO Tiếng Việt Đặng Văn Đức, Phân tích thiết kế hướng đối tượng UML Nhà xuất Giáo Dục, 2001 Nguyễn Bá Ngọc, Giáo trình nhập môn UML Nhà xuất Lao động Xã hội, 2003 Tiếng Anh Beizer, Boris, Software Testing Techniques, Second Edition Van Nostrand Reinhold, 1990 Boggs,W and Boggs,M., Mastering UML With Rational Rose Sybex, 1999 Hans-Gerhard Gross, Component-Based Software Testing With UML, Springer-Verlag, 2005 Natalia Juristo et.al., Reviewing 25 Years of Testing Technique Experiments, Kluwer Academic Publishers, 2004 Hartmann et.al UML-based Integration Testing, International Symposium on Software Testing and Analysis, 2000 Siros Supavita, Object- Oriented Software and UML-based Testing A Survey Report, Scientific Commons, 2009 Số hóa trung tâm học liệu http://www.lrc.tnu.edu.vn/ ... Chương KIỂM THỬ TÍCH HỢP TRÊN CƠ SỞ CÁC MƠ HÌNH UML 2.1 Phương pháp 2.1.1 Mơ hình kiểm thử phần mềm dựa thành phần Khi kiểm thử hệ thống phần mềm dựa thành phần, giả sử thành phần riêng biệt đƣợc kiểm. .. hệ thống quản lý kiểm kê Các phần tử tƣơng tác hiển thị biểu đồ tƣơng tác nội tại, biểu đồ biểu đồ tuần tự, biểu đồ giao tiếp, biểu đồ thời gian biểu đồ tƣơng tác Các loại biểu đồ tƣơng tác miêu... Tên biểu đồ cho biết nội dung khung 1.2 Kỹ thuật kiểm thử phần mềm Kiểm thử phần mềm khâu quan trọng quy trình phát triển phần mềm nhằm kiểm tra xem phần mềm làm có lỗi cần khắc phục Kiểm thử