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

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG NGUYỄN THỊ NGA KIỂM THỬ PHẦN MỀM TRÊN CƠ SỞ CÁC BIỂU ĐỒ UML Chuyên ngành: Khoa học máy tính Mã số: 60-48-01 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Người hướng dẫn khoa học: PGS TS Đỗ Trung Tuấn Thái Nguyê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á thu thập từ nguồn khác có ghi phần tài liệu tham khảo Ngoài ra, đề tài sử dụng số nhận xét, đánh số liệu tác giả, quan tổ chức khác, thể phần tài liệu tham khảo Nếu phát có gian lận xin hoàn toàn chịu trách nhiệm trước Hội đồng, 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 ii LỜI CẢM ƠN Để hoàn thành chương trình cao học viết luận văn này, em nhận giúp đỡ đóng góp nhiệt tình thầy cô 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 Nguyên 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 không tránh khỏi thiếu sót Kính mong nhận cảm thông tận tình bảo thầy cô bạn iii MỤC LỤC LỜI CAM ĐOAN i Học viên i Nguyễn Thị Nga i LỜI CẢM ƠN ii MỤC LỤC .iii DANH MỤC TỪ VIẾT TẮT v DANH MỤC BẢNG, HÌNH VẼ vi MỞ ĐẦU Chương 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.1 Một số khái niệm 1.1.2 Các mô hình UML 1.2.1 Một số khái niệm 15 1.2.2 Kiểm thử chức (Black box) .18 Các phương pháp kiểm thử hộp đen: 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 Kĩ thuật tuân theo bốn bước: .20 1.2.2.4 Kiểm thử so sánh 20 1.2.2.5 Kiểm thử dựa đặc tả .21 Ưu, nhược điểm 22 1.2.3 Kiểm thử cấu trúc (White box) .22 Các phương pháp kiểm thử hộp trắng: .22 1.2.4 Công cụ kiểm thử phần mềm 23 Visual Studio Team System Test Edition 23 QuickTest Professional 25 Ưu điểm: 26 Nhược điểm: 26 JMeter 27 iv JUnit, NUnit 27 Một số công cụ kiểm thử phổ biến khác .28 Công cụ kiểm thử thành phần (component unit test): .28 Công cụ kiểm thử chức (function test): 28 Công cụ kiểm thử chịu tải (performance/load-test): 28 Công cụ theo dõi thực thi (performance-monitoring): .29 Công cụ quản lý kiểm thử (test-management): 29 Chương .30 KIỂM THỬ TÍCH HỢP TRÊN CƠ SỞ CÁC MÔ HÌNH UML 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 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.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.1 Các khái niệm mô hình cộng tác 41 2.4.2 Sử dụng mô hình .42 Chương .45 XÂY DỰNG ỨNG DỤNG THỬ NGHIỆM 45 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 toá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 Trình diễn số kịch chương trình .66 KẾT LUẬN VÀ KIẾN NGHỊ .68 Kết thực .68 Kiến nghị tiếp tục 68 TÀI LIỆU THAM KHẢO .69 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 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 tả biểu đồ trạng thái Error: Reference source not found Hình 1.1 Các ký hiệu đồ họa biểu đồ Use Cases .5 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 .6 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 vii 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 Bảng 2.1 Bảng biến đổi trạng thái nhận đặc tả biểu đồ trạng thái 38 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 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ả toá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 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) 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 thiếu 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 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 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 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 hoá hệ thống phần mềm ngôn ngữ UML kỹ thuật kiểm thử phần mềm 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 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 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 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 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ì nhận, tin nhắn 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ì ghi vào nhật ký ATM.) Giao dịch gửi tiền 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 yêu cầu làm 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 yêu cầu giao dịch chấp nhận ngân hàng trước in hóa đơn Giao dịch chuyển tiền 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 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 yêu cầu giao dịch 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 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ệ giao dịch báo cáo ngân hàng giao dịch không chấp nhận PIN không hợp lệ, khách hàng yêu cầu nhập lại PIN yêu cầu ban đầu gửi lại cho ngân hàng Nếu mã PIN nhập lại thành công Nó sử dụng cho giao dịch tất giao dịch sau Còn ma PIN không trình mã PIN nhập lại Nếu khách hàng nhập ba lần thất bại thẻ 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ỏ 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 Thực giao Mở chức “rút tiền” 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 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 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 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 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 59 Tình Các bước thực Kết mong đợi - 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 - Chọn số tiền muốn rút có muốn thực giao dịch dịch rút tiền từ khác không? co/khong Chương trình hiển thị thông báo thị trường tiền Mở chức “rút tiền” - Chọn loại tài khoản muốn rút “giao dịch cuối hủy” tệ “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 dịch - Chọn loại tài khoản muốn gửi thành công, tiền bị cộng thêm “tài khoản” vào “tài khoản” tương ứng số - Nhập số tiền muốn gửi tiền gửi hiển thị thông tin - Chọn đồng ý 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 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 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 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 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 Thực giao Mở chức “gửi tiền” Chương trình thực giao dịch gửi tiền - Chọn loại tài khoản muốn gửi dịch thành công, tiền bị cộng 60 Tình Kết mong đợi thêm vào “tiết kiệm” tương ứng số tiền gửi hiển thị thông tin giao dịch gửi 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 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 “giao dịch cuối hủy” - Nhập số tiền muốn gửi Sau chương trình hỏi bạn - Chọn đồng ý 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 vào “tiết kiệm” - Chọn loại tài khoản muốn gửi “giao dịch cuối hủy” “tiết kiệm” Sau chương trình hỏi bạn có muốn thực giao dịch - Nhập số tiền muốn gửi khác không? co/khong - Chọn đồng ý - 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 hủy” “tiết kiệm” Sau chương trình hỏi bạn có muốn thực giao dịch - Nhập số tiền muốn gửi 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 hủy” “tiết kiệm” Sau chương trình hỏi bạn 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 “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 - Nhập số tiền muốn gửi khác không? co/khong - Chọn đồng ý Thực giao dịch gửi tiền vào “thị trường tiền tệ” Các bước thực “tiết kiệm” - Nhập số tiền muốn gửi - Chọn đồng ý - Đưa tiền vào phong bì 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 hủy” “thị trường tiền tệ” Sau chương trình hỏi bạn có muốn thực giao dịch - Nhập số tiền muốn gửi 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 hủy” “thị trường tiền tệ” Sau chương trình hỏi bạn có muốn thực giao dịch - Chọn hủy khác không? co/khong Chuyển Tiền(Transfer) Thực giao Mở chức “chuyển tiền” Chương trình hiển thị thông báo 61 Tình 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” Các bước thực - 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 ý Kết mong đợi “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 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 khác không? co/khong khoản” - 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 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 khác không? co/khong khoả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 hủy” khoản” Sau chương trình hỏi bạn có muốn thực giao dịch - Chọn hủy 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ộng thêm vào “tiết kiệm”,và bị trừ từ khoản” - Chọn số tiền chuyển tới “tiết “tài khoản” tương ứng số tiền chuyển hiển thị thông tin kiệm” giao dịch chuyển tiền - Nhập số tiền Sau chương trình hỏi bạn - Chọn đồng ý 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 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 khác không? co/khong kiệm” - 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 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 khác không? co/khong kiệm” - Chọn hủy 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 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 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 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 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 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 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ệ” Thực giao Các bước thực Kết mong đợi Mở chức “chuyển tiền” Chương trình thực giao dịch - Chọn số tiền chuyển từ “tiết thành công tiền cộng thêm kiệm” vào “tài khoản”,và bị trừ từ “tiết - Chọn số tiền chuyển tới “tài kiệm” tương ứng số tiền chuyển khoản” hiển thị thông tin giao - Nhập số tiền 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 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 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 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 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 Mở chức “chuyển tiền” Chương trình hiển thị thông báo 64 Tình 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” Thực giao Các bước thực - 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 “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 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 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 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 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 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 Chương trình hiển thị thông báo Mở chức “chuyển tiền” 65 Tình Các bước thực Kết mong đợi - Chọn số tiền chuyển từ “thị “loại tài khoản không hợp lệ” Sau chương trình hỏi bạn trường tiền tệ” - Chọn số tiền chuyển tới “tiết có muốn thực giao dịch 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 hủy” Sau chương trình hỏi bạn dịch chuyển trường tiền tệ” có muốn thực giao dịch tiền từ “thị - Chọn số tiền chuyển tới “tiết khác không ? co/khong trường tiền tệ” kiệm” vào “tiết kiệm” - Nhập số tiền Mở chức “chuyển 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 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) Mở chức “truy vấn” Chương trình hiển thị thông báo thông tin tài khoản - Chọn loại tài khoản muốn truy 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” 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 - Chọn loại tài khoản muốn truy “loại tài khoản không hợp lệ” 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 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 Chọn để gửi tiền vào tài khoản 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 thêm vào tài khoản hiển thị thông tin giao dịch Chọn “hiển thị nhật ký” (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 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 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 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 ... 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. .. 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ả khung (frame) với mã miêu tả biểu đồ tiêu đề khung Ví dụ biểu đồ trình... 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ử chứng minh phần mềm hết lỗi mà giúp