Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận hộp đen
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI NGUYỄN TRỌNG TÂN TỔ CHỨC DỮ LIỆU KIỂM ĐỊNH PHẦN MỀM THEO TIẾP CẬN HỘP ĐEN LUẬN VĂN THẠC SĨ MÁY TÍNH HÀ NỘI, 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI LỜI CẢM ƠN Để hoàn thành luận văn nhận giúp đỡ tận tình thầy hướng dẫn khoa học, thầy cô trường Đại học Sư phạm Hà Nội 2. NGUYỄN TRỌNG TÂN Tôi xin chân thành cảm ơn thầy cô trường Đại học Sư phạm Hà Nội tạo điều kiện học tập giúp đỡ nhiều trình làm luận văn. Đặc biệt xin cảm ơn PGS.TSKH Nguyễn Xuân Huy tận tình hướng dẫn, bảo suốt trình học tập, thực đề tài giúp hoàn thành TỔ luận vănCHỨC này. DỮ LIỆU KIỂM ĐỊNH PHẦN MỀM Nội,HỘP ngày 12ĐEN tháng 12 năm 2014 THEO TIẾP Hà CẬN Học viên Chuyên ngành: Khoa học máy tính Mã số: 60 48 01 01 Nguyễn Trọng Tân LUẬN VĂN THẠC SĨ MÁY TÍNH Người hướng dẫn khoa học: PGS.TSKH Nguyễn Xuân Huy HÀ NỘI, 2014 LỜI CAM ĐOAN Tôi xin cam đoan kết nghiên cứu hướng dẫn khoa học PGS. TSKH Nguyễn Xuân Huy. Các số liệu kết nghiên cứu luận văn trung thực không trùng lặp với đề tài khác. Tôi xin cam đoan giúp đỡ cho việc thực luận văn cảm ơn thông tin trích dẫn luận văn rõ nguồn gốc. Hà Nội, ngày 12 tháng 12 Năm 2014 Học viên Nguyễn Trọng Tân MỤC LỤC MỞ ĐẦU . 1. Lý chọn đề tài . 2. Mục đích nghiên cứu . 3. Nhiệm vụ nghiên cứu . 4. Đối tượng phạm vi nghiên cứu . 5. Phương pháp nghiên cứu . 6. Giả thuyết khoa học . CHƯƠNG 1. TỔNG QUAN VỀ SẢN PHẨM PHẦN MỀM VÀ CÁC KHÁI NIỆM CƠ SỞ . 1.1 Sản phẩm phần mềm 1.1.1 Phần mềm máy tính chương trình máy tính 1.1.2 Phân loại phần mềm máy tính . 1.1.3 Các tiêu chí chất lượng sản phẩm phần mềm . 1.2 Lỗi sản phẩm phần mềm . 10 1.2.1 Lỗi sản phẩm phần mềm . 10 1.2.2 Nguyên nhân gây lỗi phần mềm 11 1.2.3 Những tác hại lỗi phần mềm . 14 1.3 Kiểm định phần mềm . 17 1.3.1 Khái niệm chung 17 1.3.2 Quy trình phát triển phần mềm 18 1.3.3 Quy trình kiểm định phần mềm . 19 CHƯƠNG 2. KIỂM ĐỊNH HỘP ĐEN . 23 2.1 Khái niệm chung 23 2.1.1 Kiểm định hộp đen . 23 2.1.2 Quy trình kiểm định hộp đen . 25 2.2 Một số kỹ thuật kiểm định hộp đen . 26 2.2.1 Phân hoạch tương đương . 26 2.2.2 Kỹ thuật phân tích giá trị biên . 32 2.2.3 Kỹ thuật dùng bảng định 36 CHƯƠNG 3. ÁP DỤNG KỸ THUẬT KIỂM ĐỊNH HỘP ĐEN . 42 3.1 Mô tả yêu cầu toán . 42 3.2 Giải pháp giải toán . 42 3.2.1 Đầu vào cho ứng dụng kiểm định 43 3.2.2 Kiểm định giao diện người sử dụng (User Interface Testing) . 47 3.2.3 Kiểm định luồng nghiệp vụ (Business Flow Testing) . 49 3.3 Thực kiểm định kết đạt 51 KẾT LUẬN . 54 DANH MỤC CÁC TÀI LIỆU THAM KHẢO . 55 MỞ ĐẦU 1. Lý chọn đề tài Do nhu cầu thị trường, hệ thống phần mềm ngày lớn trở nên phức tạp đòi hỏi hoạt động kiểm định phần mềm ngày gánh trách niệm thêm nặng nề chuyên nghiệp. Đảm bảo cho phần mềm dễ dùng lỗi nhằm thỏa mãn đáp ứng yêu cầu ngày khắt khe người sử dụng. Chính kiểm định phần mềm phần quan trọng thiếu quy trình phát triển phần mềm. Hiện nay, có hai phương pháp tiếp cận phổ biến kiểm định hộp trắng (kiểm định dựa vào cấu trúc bên hệ thống) kiểm định hộp đen (kiểm định dựa chức hay kiểm định vào/ra). Trong kiểm định hộp đen nhiều nhà phát triển phần mềm lựa chọn có số mặt thuận lợi định. Kiểm định hộp đen thực người nhiều kinh nghiệm kỹ thuật chuyên môn. Điều kiểm định hộp đen không cần biết trước cấu trúc nội hay mã nguồn bên phần mềm. 2. Mục đích nghiên cứu Tổng quan sản phẩm phần mềm, vấn đề kiểm định phần mềm cách tiếp cận kiểm định phần mềm. Đi sâu vào phương pháp kiểm định phần mềm theo tiếp cận hộp đen. Xây dựng, tổ chức quy trình kiểm định phần mềm theo phương pháp hộp đen cho chương trình cụ thể. 3. Nhiệm vụ nghiên cứu Hệ thống hóa phương pháp quy trình kiểm định phần mềm. Tổng quan phương pháp kiểm định hộp đen, quy trình số kỹ thuật kiểm định hộp đen. 4. Đối tượng phạm vi nghiên cứu Đề tài “Tổ chức liệu kiểm định phần mềm theo tiếp cận hộp đen” tập trung hệ thống hóa số vấn đề kiểm định phần mềm: Các phương pháp chiến lược quy trình kiểm định phần mềm. Các phương pháp, quy trình chất kỹ thuật kiểm định hộp đen. 5. Phương pháp nghiên cứu Tổng hợp, phân tích đánh giá kết lý thuyết, ứng dụng, nghiên cứu nước giới quy trình phát triển phần mềm. Từ tập trung sâu vào phương pháp kiểm định, đặc biệt phương pháp kiểm định hộp đen. Tổ chức báo cáo, thảo luận định kỳ, trao đổi thường xuyên thông tin, kết trình nghiên cứu với giáo viên hướng dẫn người ngành có liên quan. Xây dựng liệu test tổ chức thực nghiệm. 6. Giả thuyết khoa học Khảo sát, phân tích đề xuất kỹ thuật kiểm định hộp đen, xây dựng chương trình kiểm định. Thiết kế test áp dụng cho chương trình cụ thể. CHƯƠNG 1. TỔNG QUAN VỀ SẢN PHẨM PHẦN MỀM VÀ CÁC KHÁI NIỆM CƠ SỞ 1.1 Sản phẩm phần mềm 1.1.1 Phần mềm máy tính chương trình máy tính Một hệ thống phần mềm phát triển chuyên nghiệp thường bao gồm nhiều phần mềm nhỏ phần mềm đơn nhất. Hệ thống thường bao gồm nhiều chương trình riêng biệt file liệu cấu hình dùng để cài đặt chương trình này. Các file bao gồm tài liệu hệ thống (mô tả cấu trúc hệ thống) tài liệu hướng dẫn sử dụng (giải thích cách dử dụng hệ thống) trang web hỗ trợ người dùng (mô tả thông tin chi tiết sản phẩm hành). Định nghĩa phần mềm nêu [9] sau: Phần mềm bao gồm: (1) Các chương trình máy tính mà thực hiện, mang lại chức hiệu mong muốn. (2) Các cấu trúc liệu mà theo chương trình thao tác với thông tin. (3) Các tài liệu hướng dẫn cách hoạt động chương trình cách sử dụng chương trình. Theo quan điểm hệ thống, sản phẩm phần mềm xem hệ thống bao gồm nhiều phân hệ. Mỗi phân hệ lại xây dựng từ cấu phần. Mỗi cấu phần bao gồm đơn vị nhỏ hơn. Các thành phần phần mềm liên kết với thông qua mối quan hệ tương tác. Ở ta đưa phân biệt “sản phẩm phần mềm” với “chương trình máy tính”. Theo khoản Điều 22 Luật SHTT 2005: "Chương trình máy tính tập hợp dẫn thể dạng lệnh, mã, lược đồ dạng khác, gắn vào phương tiện mà máy tính đọc được, có khả làm cho máy tính thực công việc đạt kết cụ thể". Có thể hiểu chương trình máy tính chương trình lập trình để điều khiển hoạt động máy điện tử, chuỗi thông tin chứa lệnh điều khiển máy tính thực hay nhiều nhiệm vụ định. Chương trình máy tính xây dựng dạng mã nguồn sở ngôn ngữ lập trình định thường lưu trữ dạng mã máy. Trong thực tiễn thường có nhầm lẫn khái niệm chương trình máy tính khái niệm phần mềm máy tính. Tuy nhiên, xét góc độ kỹ thuật pháp lý hai khái niệm khác nhau. Qua định nghĩa trên, thấy khái niệm phần mềm máy tính có nội hàm rộng khái niệm "chương trình máy tính" tài liệu mô tả chương trình, tài liệu hỗ trợ, nội dung thông tin số hóa chương trình máy tính thuộc phần mềm máy tính. Chương trình máy tính phận nằm phần mềm máy tính thật phân định rõ ràng hai khái niệm này. 1.1.2 Phân loại phần mềm máy tính Đối với họ máy tính hoạt động theo nguyên lý Von Neumann ta tạm chia sản phẩm phần mềm thành nhóm sau đây: + Nhóm 1: Các hệ điều hành, bao gồm 1.1 Các Driver (các chương trình điều khiển ổ đĩa) 1.2 Các Monitor 1.3 Các hệ quản lý tệp 1.4 Các hệ thống quản lý thư viện chương trình dịch 1.5 Các hệ thống quản lý mạng máy tính + Nhóm 2: Các chương trình dịch thông dịch Pascal, C, C++, Prolog,… + Nhóm 3: Các chương trình hệ thống, bao gồm 3.1 Các chương trình điều khiển thiết bị ngoại vi 3.2 Các chương trình mở rộng chức quản lý tệp: xếp, chép, cập nhật, … 3.3 Các chương trình đồ họa 3.4 Các giao diện thân thiện người sử dụng hệ điều hành + Nhóm 4: Các hệ quản trị sở liệu, tri thức chương trình mở rộng tương ứng + Nhóm 5: Các chương trình ứng dụng có tính hệ thống 5.1 Các chương trình xử lý liệu đa 5.2 Các chương trình phục vụ cho yêu cầu tính toán sở 5.3 Các chương trình tối ưu hóa 5.4 Các hệ chuyên gia hệ tương tự 5.5 Các hệ mô 5.6 Các lớp ngôn ngữ liệu tri thức phục vụ cho việc khai thác sở liệu tri thức 5.7 Các hệ tự động hóa quản lý chuyên ngành 5.8 Các hệ tự động hóa thiết kế 5.9 Các hệ thống dạy học 5.10 Các hệ thống tự học 5.11 Các hệ thống tự động phát sinh chương trình kiểm, sửa chương trình 5.12 Các hệ chương trình nhận dạng, phân tích tổng hợp tiếng nói, hình ảnh, tín hiệu, … 40 Tài khoản loại A KẾT QUẢ X Tài khoản loại B X Tài khoản loại C X Không mở tài khoản X Thí dụ 3: Giả sử yêu cầu toán sau: Nếu bạn có thẻ đường sắt "Over 60s" giảm giá 34% tất vé bạn mua. Nếu bạn “Đi với trẻ em 16 tuổi" bạn giảm 50% bạn có thẻ "Family Rail Card", ngược lại bạn giảm 10%. Bạn sử dụng loại thẻ đường sắt. Hãy viết bảng định liệt kê toàn kết hợp loại thẻ kết giảm giá. Và viết test case từ bảng định này. Ta có bảng định sau: Trường hợp kiểm thử ĐIỀU KIỆN Có thẻ Over 60s Y Y Y Y N N N N Đi trẻ em 16 tuổi Y Y N N Y Y N N Có thẻ Family Rail Card Y N Y N Y N Y N X X X Giảm 34% KẾT Giảm 50% QUẢ Giảm 15% Không giảm X X X X X 41 Gộp kết giống ta được: Trường hợp kiểm thử ĐIỀU Có thẻ Over 60s Y Y Y N N N KIỆN Đi trẻ em 16 tuổi Y Y N Y Y N Có thẻ Family Rail Card Y N - Y N - X X KẾT Giảm 34% QUẢ Giảm 50% Giảm 15% X X X Không giảm X Sau làm xong bảng định dựa vào ta viết test case, mỗi rule test case: 1. Có thẻ Over 60s có thẻ Family Rail Card trẻ em => giảm 50% 2. Có thẻ Over 60s không Family Rail Card trẻ em => giảm 34% 3. Có thẻ Over 60s không trẻ em => giảm 34% 4. Không có thẻ Over 60s có thẻ Family Rail Card trẻ em => giảm 50% 5. Không có thẻ Over 60s thẻ Family Rail Card trẻ em => giảm 15% 6. Không có thẻ Over 60s không trẻ em => không giảm 42 CHƯƠNG 3. ÁP DỤNG KỸ THUẬT KIỂM ĐỊNH HỘP ĐEN 3.1 Mô tả yêu cầu toán Xây dựng kịch kiểm thử theo phương pháp hộp đen cho giao diện chức ứng dụng quản lý danh bạ điện thoại dựa việc đưa test cases. Phạm vi đối tượng toán tập trung vào giúp cho người phát triển phần mềm dễ dàng việc thao tác, kiểm tra phần toàn cấu trúc chương trình. Ngoài giúp cho người sử dụng tránh lỗi liên quan tới việc sử dụng chức mà phần mềm cung cấp, giúp tránh phiền toái nâng cao hiệu công việc. 3.2 Giải pháp giải toán Mô hình giải vấn đề mô tả hình 3.1 với tính cụ thể sau. Phần đầu vào chương trình ứng dụng quản lý danh bạ điện thoại với tập hợp liệu thông tin liên lạc có danh bạ. Dựa đặc tả ban đầu giao diện phần mềm, từ xây dựng bảng liên kết chi tiết trạng thái xảy chức năng, coi đầu vào cho ca kiểm thử cụ thể chức đó. Trong phần kết quả, đưa chức ứng dụng kiểm định thông qua báo cáo cụ thể. Phần kết trường hợp kiểm thử kết đạt ca kiểm thử. 43 t u u o ng u n danh p c ca m t kê i ng Excel ng - c thi c ca c m u t u m - Ghi p Excel p i n nh m t c Hình 3.1 Mô hình giải toán 3.2.1 Đầu vào cho ứng dụng kiểm định Đầu vào kiểm định chương trình quản lý danh bạ điện thoại sử dụng ngôn ngữ C#. Giao diện cho người dùng gồm có: - Dialog [Danh bạ]: Trên Dialog [Danh bạ] có tìm kiếm giúp người dùng tìm kiếm thông tin danh bạ có danh sách có. Chức tìm kiếm tìm kiếm theo tên tìm kiếm theo số điện thoại danh bạ. 44 Hình 3.2 Màn hình tìm kiếm theo tên Hình 3.3 Màn hình tìm kiếm theo số + Mục thêm cho phép người dùng thêm liên lạc vào danh bạ. + Tiếp theo danh sách liên lạc xếp theo thứ tự a, b, c… + Cuối hiển thị tổng số liên lạc có danh bạ. - Dialog [Thông tin liên lạc]: Hiển thị thông tin chi tiết liên lạc có danh bạ gồm có trường: + Họ + Tên + Công ty + Số điện thoại + Email + Ngày sinh. 45 Hình 3.4 Màn hình danh bạ Hình 3.5 Màn hình thông tin liên lạc - Dialog [Sửa thông tin liên lạc]: Hiển thị thông tin giống - Dialog [Thông tin liên lạc] cho phép người dùng thực hiện: + Sửa đổi thông tin trường + Nút [Xóa liên hệ] để xóa bỏ thông tin liên lạc khỏi danh sách. + Nút [Xong] phép lưu thông tin sửa chữa cập nhật danh sách danh bạ. + Nút [Hủy] để hủy bỏ việc sửa thông tin không cập nhật danh sách danh bạ. 46 Hình 3.6 Hình 3.7 Màn hình thêm thông tin liên lạc Màn hình xóa thông tin liên lạc - Dialog [Liên hệ mới]: Cho phép người dùng tạo thêm liên hệ vào danh sách liên lạc, gồm trường: Họ; Tên; Công ty; Số điện thoại; Email; Ngày sinh. Nút [Xong]: Cho phép nhập liên hệ cà cập nhật vào danh sách liên lạc. Nút [Hủy]: Hủy bỏ việc thêm vào danh sách. Đầu vào kiểm thử giao diện người sử dụng phần mềm mô tả luồng nghiệp vụ cho chức phần mềm thực qua giao diện hình 3.8 đảm bảo chức thực đúng. 47 Danh Thông tin liên c m i liên m + Thêm Danh Liên Danh i ch liên c ng a ch liên c Nhan : Anh ( ) . Tên: Van A : Nguyen Công ty: XYZ n i: Email: nguyenvana@gmail.com y sinh: ua : liên c i n y Danh Xong ch liên Tên Công ty n Email i c p a i y Danh Xong ch liên c Nhan : Anh ( ) . Tên: Van A : Nguyen Công ty: XYZ n i: Email: nguyenvana@gmail.com y sinh: ua : a liên Hình 3.8 Giao diện liên kết hình chương trình. 3.2.2 Kiểm định giao diện người sử dụng (User Interface Testing) Kiểm định giao diện người sử dụng (UI) kiểm tra tương tác người dùng với phần mềm. Mục tiêu kiểm định UI để đảm bảo giao diện người dùng cung cấp cho người sử dụng cách truy cập sử dụng thích hợp thông qua chức mục tiêu kiểm định. Ngoài ra, kiểm định UI để đảm bảo đối tượng phạm vi chức UI 48 giống mong đợi phù hợp yêu cầu thẩm mỹ. Mục đích Kiểm tra: kiểm định: Việc sử dụng thông qua mục tiêu kiểm định phản ánh chức yêu cầu nghiệp vụ, bao gồm hình đến hình, trường đến trường sử dụng phương pháp truy cập (phím tabs, di chuột, tổ hợp phím) Các đối tượng thuộc tính menus, size, position, state, tập trung vào việc tương thích với chuẩn. Cách thực Tạo chỉnh sửa kịch kiểm định cho mỗi hình hiện: để kiểm tra việc sử dụng cách tình trạng đối tượng cho mỗi hình đối tượng ứng dụng Điều kiện Mỗi hình kiểm tra thành công với phiên hoàn thành: kiểm tra phạm vi chấp nhận Các vấn đề Không phải toàn thuộc tính đối tượng đặc biệt: truy cập Test case giao diện gồm hai phần Testcase giao diện chung: hiển thị hình trạng thái khởi tạo, kiểm tra tab, shift+ tab order, … Testcase kiểm tra validate cho control riêng rẽ hình: viết cho control một. Khi viết test case cho control, người kiểm định viết hết testcase kiểm tra định dạng cho control chuyển sang testcase cho control theo thứ tự từ trái sang phải, từ xuống dưới. Ví dụ: Tại hình [Liên hệ mới] ta viết test case sau: 49 Mã test Mục đích kiểm case định Các bước thực Kết mong muốn Test case cho Dialog [Liên hệ mới] TC_1 Kiểm tra giao diện dialog [Liên hệ mới] 1. Tại hình [Danh bạ] 2. Click nút [Thêm mới] 2. Hiển thị dialog [Liên hệ mới]: - Các trường liệu: Họ: Textbox Tên: Textbox Điện thoại: Textbox Công ty: Textbox Email: Textbox Ngày sinh: - Các button: Hủy, Xong TC_2 Kiểm tra thứ tự di chuyển trỏ hình nhấn phím Tab Shift+Tab 1. Tại dialog [Thêm mới] 2. Nhấn phím Tab liên tục 2. Con trỏ di chuyển theo thứ tự: Từ trái qua phải từ xuống dưới. Tiếp tục xây dựng Test casecho cho Dialog khác… 3.2.3 Kiểm định luồng nghiệp vụ (Business Flow Testing) Mục đích kiểm định luồng nghiệp vụ tập trung vào yêu cầu kiểm định lưu vết trực tiếp chức quy tắc nghiệp vụ. Mục tiêu kiểu kiểm định kiểm tra tính đắn liệu, quy trình báo cáo việc thực quy tắc nghiệp vụ. Tức kiểm tra ứng dụng xử lý nội cách tương tác với ứng dụng thông qua giao diện người sử dụng phân tích kết đầu ra. 50 Mục đích Đảm bảo mục tiêu kiểm định đắn chức năng, bao kiểm định: gồm định hướng, liệu đầu vào, xử lý liệu nhận được. Kiểm định chức đảm bảo yêu cầu sau: - Nhập liệu hợp lệ chương trình phải cho nhập - Luồng nghiệp vụ - Quá trình xử lý liệu kết đầu phải Cách thực hiện: Thực chức năng, sử dụng liệu hợp lệ không hợp lệ để kiểm tra. Cụ thể sau: - Kết mong đợi với liệu hợp lệ. - Lỗi thích hợp thông báo hiển thị liệu không hợp lệ. - Mỗi quy tắc nghiệp vụ áp dụng Điều kiện - Toàn kế hoạch kiểm định thực hiện. hoàn thành: - Toàn lỗi phát ghi nhận. Các vấn đề Xác định mô tả vấn đề (nội bên ngoài) đặc biệt: ảnh hưởng đến việc kiểm định chức Testcase cho phần chức gồm testcase cho nội dung sau: - Kiểm tra giá trị trường nhập. - Kiểm tra ràng buộc liên kết phần mềm (có truy vấn liệu sở liệu để kiểm tra). - Kiểm tra hình trung gian để thực chức chính: ví dụ để thực chức phải có hình popup. - Các ràng buộc tuân thủ theo nghiệp vụ: Thí dụ hình [Liên hệ mới] ta nhập đủ trường phần mềm cho thêm danh bạ vào danh 51 sách; Nhưng không nhập trường mà lưu lại có thông báo “chưa nhập tên”, … - Các test case luồng nghiệp vụ: + Thứ tự xếp test case phải theo thứ tự tương ứng luồng tài liệu đặc tả yêu cầu: kiểm tra luồng kiện phụ trước, cuối kiện chính. + Đối với test case chức ta viết theo hai cách. Cách 1: bước thực mô tả bước thực đứng từ phía người dùng cuối bao gồm nhập liệu, nhấn button. Việc kiểm tra liệu sở liệu so với thị hình nằm kết mong muốn Cách 2: Các bước thực mô tả bao gồm bước thực đứng từ phía người dùng cuối bước kiểm tra liệu sở liệu. Kết mong muốn so sánh liệu thị hình khớp với liệu sở liệu. 3.3 Thực kiểm định kết đạt Thực kiểm định theo bước đa đề ra. Kết ghi lại tổng hợp thành báo cáo kiểm định qua file excel. Báo cáo chi tiết trường hợp kiểm định (các test case) kết đạt trường hợp có báo cáo tổng hợp ca kiểm thử. Báo cáo kiểm định kết đạt qua file excel: 52 Hình 3.9 Kịch kiểm thử xây dựng dạng Excel Đánh giá ứng dụng: Đánh giá Ưu điểm Nhược điểm Đề xuất Giao diện - Giao diện phần - Phần nội dung hiển - Thiết kế cho phép thay chung mềm thể thị có kích thước đổi nội dung hiển thị: đầy đủ thông tin yêu nhỏ. Không thể tương Đổi Font chữ hiển thị, cầu phần mềm. tác với giao diện như: thay đổi kích thước font - Các hình sử dụng phóng to, hay thay đổi chữ. bố trí khoa học, kích thước hiển thị. - Có thể thêm Options tương đối thuận tiện cho - Chưa hiển thị số điện cho phép người dùng người sử dụng. thoại người sử chọn hiển thị hay ẩn số dụng danh bạ. Chức điện thoại danh bạ - Chức tìm kiếm Trong hình tìm - Có thể thêm Options tìm tao tác tương đối kiếm chưa có hiển thị cho phép người dùng kiếm dễ dàng nhanh chóng thống kê tổng số danh tìm kiếm thông tin theo sách tìm kiếm được. ý muốn: Thí dụ tìm kiếm theo họ, tên, ngày sinh, công ty, email 53 Chức - Có thể nhập liệu - Khi nhập liệu - Có thể thêm nút đầy đủ thông tin trường không cho phép (X) cuối mỗi trường nhập liệu trường đảm xóa tất kí tự nhập, cho phép xóa tất bảo yêu cầu vừa nhập (sẽ gây khó cả. phần mềm. khăn cho người sử dụng vô tình nhập vào kí tự dài). Chức - Đã thêm - Trong phần thêm - Có thể có chức cập nhật vào danh sách người dùng bắt buộc “Thêm trường” để người thêm liên hệ. người sử dụng dùng thêm nhập có thông tin mà họ trường. Nhưng muốn thêm số người sử dụng danh bạ. lại muốn thông tin - Có chức thêm nhiều hơn. Thí dụ có ảnh để người dùng dễ người dùng lại dùng dàng nhận liên lạc nhiều số điện danh bạ thoại, … theo dõi. Chức Chưa có chức Bổ sung chức lưu phục hồi danh lưu phục hồi danh sách lưu, phục sách liên lạc. liên lạc. Có thể có thêm hồi danh chức nhập xuất bạ danh bạ thí dụ định dạng .CSV; .VCARD. Chức Chưa có chức Bổ sung chức đồng đồng hóa danh bạ. đồng hóa danh bạ chương trình với danh hóa danh bạ tài khoản Email bạ Google, Yahoo, … 54 KẾT LUẬN Đề tài hệ thống hóa khái niệm sau: Phần mềm, tiêu chí phần mềm, quy trình phát triển quy trình kiểm định phần, kiểm định hộp đen. Tổng quan kỹ thuật kiểm thử hộp đen: Kỹ thuật phân lớp tương đương, kỹ thuật phân tích giá trị biên, kỹ thuật bảng định cách thực kỹ thuật trên. Xây dựng kịch kiểm thử cho ứng dụng quản lý danh bạ điện thoại. Hướng nghiên cứu đề tài, tác giả muốn mở rộng kỹ thuật kiểm định hộp đen thông qua việc xây dựng kịch kiểm thử cho ứng dụng thiết bị di động. 55 DANH MỤC CÁC TÀI LIỆU THAM KHẢO Tiếng Việt [1] Nguyễn Xuân Huy (1996), Giáo trình Công nghệ phần mềm, Nhà xuất Đại học Tổng hợp Tp HCM. [2] Nguyễn Xuân Huy (2013), Giáo trình kiểm định phần mềm, Tài liệu tập huấn Bộ Thông tin Truyền thông. [3] Nguyễn Văn Vỵ, Nguyễn Việt Hà (2008), Giáo trình kỹ nghệ phần mềm, Nhà xuất Đại học quốc gia Hà Nội. [4] Ngô Trung Việt, Nguyễn Kim Ánh (2003), Nhập môn kỹ nghệ phần mềm, Nhà xuất Khoa học Kỹ thuật. Tiếng Anh [5] Bezier, B. (1990). Software Testing Techniques, 2nd edition. New York: Van Nostrand Rheinhold. [6] Kaner, C. (2003). "The power of "What If . . ." and nine ways to fuel your imagination: Cem Kaner on scenario testing". Software Testing and Quality Engineering, (5), 16–22. [7] Martin, R. C. (2007). "Professionalism and Test-Driven Development". IEEE Software, 24 (3), 32–6. [8] Sommerville, I. (2011). Software Engineering, Ninth Edition, Addison-Wesley. [9] R. Pressman (2001), Software Engineering: A Practitioner’s Approach. 5th Ed., McGraw-Hill. [...]... Những phần mềm như thế gọi là phần mềm đóng gói Thí dụ như các hệ điều hành, các phần mềm trò chơi, các phần mềm soạn thảo văn bản như Winword, phần mềm tra cứu Internet như Internet Explorer, FireFox, Chrome, phần mềm tra cứu kiến thức, phần mềm thiết kế bản vẽ như Auto Cad, Revit, phần mềm nghe nhạc hay xem phim trên đĩa CD như Windows Media Player, Jet audio đều là các phần mềm đóng gói Các phần mềm. .. rộng toàn cầu + Phần mềm theo yêu cầu (phần mềm đặt hàng) 7 Có những phần mềm ứng dụng được viết theo yêu cầu riêng có tính đặc thù của một cá nhân hay tổ chức Thí dụ một cơ sở có thể đặt hàng cho một công ty phần mềm xây dựng một hệ thống thông tin dùng để quản lý nhân sự, quản lý các kho hàng hay phần mềm thiết kế một thí nghiệm, phần mềm điều khiển một dây chuyền sản xuất Hay phần mềm kiểm soát hệ... ta bắt buộc phải sử dụng phương pháp kiểm định hộp đen ? Trả lời: Khi chúng ta muốn kiểm tra một chương trình mà chúng ta lại không có mã nguồn của chúng, khi đó bắt buộc chúng ta phải sử dụng phương pháp kiểm định hộp đen Các phương pháp kiểm định hộp đen tập trung vào các yêu cầu chức năng của phần mềm Tức là, việc kiểm định hộp đen làm cho người kỹ sư phần mềm suy ra được tập các điều kiện vào... về kiểm định phần mềm của các chuyên gia công nghệ phần mềm (Sommerville, 2011): 1 Kiểm định phần mềm là một quá trình liên tục, xuyên suốt mọi giai đoạn phát triển phần mềm nhằm đảm bảo rằng phần mềm đáp ứng đầy đủ các yêu cầu của bản thiết kế và các yêu cầu đó đáp ứng đúng những gì mà người sử dụng mong đợi; 2 Kiểm định phần mềm là quy trình bắt buộc trong các dự án phát triển phần mềm; 3 Kiểm. .. chiến lược kiểm định theo góc nhìn từ ngoài vào, các người tham gia kiểm định hộp đen có thể không cần quan tâm nhiều đến kiến thức về thông tin hiện thực TPPM cần kiểm định (mã nguồn của thành phần phần mềm, thuật giải được dùng, các dữ liệu được xử lý…) 24 Đối tượng: Đối tượng được kiểm định là 1 thành phần phần mềm TPPM có thể là một hàm chức năng, một module chức năng, một phân hệ chức năng…... kế trường hợp kiểm định và các quy tắc kiểm định Trước mắt ta phân biệt hai tiếp cận kiểm định cơ bản: - Các phương pháp hộp đen: kiểm định dựa trên chức năng hay kiểm định vào/ra - Các phương pháp hộp trắng: kiểm định dựa vào cấu trúc bên trong của hệ thống Giai đoạn 4: Xử lý đo lường kiểm định Được thực hiện bằng cách thu thập dữ liệu Chú ý rằng kiểm định viên không thể trực tiếp cải tiến... chức năng đối với một chương trình Kiểm định hộp đen giúp xác định lỗi trong các phạm vi sau đây: - Các chức năng không đúng hay bị bỏ sót - Lỗi giao diện - Lỗi trong Cấu trúc dữ liệu hay thâm nhập Cơ sở dữ liệu ngoài - Lỗi hiệu năng - Lỗi khởi đầu và kết thúc Như vậy kiểm định hộp đen là chiến lược kiểm định thành phần phần mềm (TPPM) dựa vào thông tin duy nhất là các đặc tả về yêu cầu chức. .. phản ứng của hệ thống Hình 1.6 Kiểm định hộp đen Nếu đặt hệ thống vào một hộp kính trong suốt thì ta có thể nhìn rõ và kiểm tra mọi chi tiết trong cấu trúc của hệ thống Trường hợp này cho ta khái niệm hộp trắng (white box testing) Hình 1.7 Kiểm định hộp trắng 23 CHƯƠNG 2 KIỂM ĐỊNH HỘP ĐEN 2.1 Khái niệm chung 2.1.1 Kiểm định hộp đen Để hiểu thế nào là kiểm định hộp đen chúng ta sẽ đi tìm câu trả... chỉ có thể đánh giá nó Đánh giá sản phẩm phần mềm nhằm để xác nhận sản phẩm có vượt qua được kiểm định hoặc/và có thể sẵn sàng phát hành được chưa? Mô hình chung của quy trình kiểm định phần mềm: Hình 1.5 Quy trình kiểm định phần mềm 22 Kiểm định hộp đen còn được gọi là kiểm định vào/ra: với loại hệ thống này ta chỉ có thể kiểm tra bằng cách nạp dữ liệu hoặc tác động vào hệ thống rồi quan sát... những trường hợp kiểm định tốt? - Hệ thống có nhạy cảm với những giá trị đầu vào nào đó không? - Biên giới của lớp dữ liệu được xác định như thế nào? - Hệ thống có thể dung sai cho tỉ lệ dữ liệu và khối lượng dữ liệu nào? - Việc tổ hợp dữ liệu có tác động gì lên sự vận hành của hệ thống? Hiện nay việc sử dụng kiểm định hộp đen được sử dụng rộng rãi, vì đa số các chương trình phần mềm khi bàn giao . trong phần mềm. 2. Mục đích nghiên cứu Tổng quan về sản phm phần mềm, vấn đề kiểm đnh phần mềm và các cách tiếp cận trong kiểm đnh phần mềm. Đi sâu vào các phương pháp kiểm đnh phần mềm theo. đnh phần mềm. Tổng quan về phương pháp kiểm đnh hộp đen, quy trình và một số kỹ thuật của kiểm đnh hộp đen. 2 4. Đối tượng và phạm vi nghiên cứu Đề tài Tổ chức dữ liệu kiểm định phần. trình phát triển phần mềm 18 1.3.3 Quy trình kiểm đnh phần mềm 19 CHƯƠNG 2. KIỂM ĐỊNH HỘP ĐEN 23 2.1 Khái niệm chung 23 2.1.1 Kiểm đnh hộp đen 23 2.1.2 Quy trình kiểm đnh hộp đen 25 2.2 Một