Bô GIÁO DUC VÀ ĐÀO TAO • • 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 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 Chuyên ngành: Khoa học máy tính Mã số: 60 48 01 01 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 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 ttong 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 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 ữọ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 vỉ 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ật6 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à khỉ 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 ừê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 ừê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 ữong 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 nhưPascal, с, 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:sắ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 tri 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, . 5.13 Các hệ chương trình điều khiển quy trĩnh thiết bị công nghiệp + Nhóm 6: Các chương trình tiện ích trò chơi 6.1 Các chương trình soạn thảo văn 6.2 Các chương trình xử lý bảng tính điện tử 6.3 Các chương trình chuyển đổi ngôn ngữ, dịch chéo, khôi phục 6.4 Các chương trình chống (và diệt) virus máy tính 6.5 Các chương trình ừò chơi, giải trí V.V Ngoài ta phân loại phần mềm dựa theo số tiêu chí sau đây: Dựa theo sở yêu cầu mục đích sử dụng ta phân loại phần mềm thành + Phàn mềm đóng gói (phần mềm làm sẵn) Có phần mềm thiết kế dựa yêu cầu chung nhiều người, không theo yêu cầu đặt hàng riêng ai. Chúng viết hoàn chỉnh thường kèm theo phương tiện để cài đặt lên máy cách tự động. Người sử dụng càn mua về, cài đặt lên máy mình, thiết lập chế độ làm việc phù hợp sử dụng được. Những phần mềm gọi phần mềm đóng gói. Thí dụ hệ điều hành, phần mềm ừò chơi, phần mềm soạn thảo văn WinWord, phần mềm tra cứu Internet Internet Explorer, FireFox, Chrome, phàn mềm tra cứu kiến thức, phần mềm thiết kế vẽ Auto Cad, Revit, phần mềm nghe nhạc hay xem phim đĩa CD Windows Media Player, Jet audio phàn mềm đóng gói. Các phần mềm làm sẵn thường có phạm vi lượng khách hàng lớn, trải rộng toàn cầu. + Phần mềm theo yêu cầu (phần mềm đặt hàng) CÓ phần mềm ứng dụng viết theo yêu cầu riêng có tính đặc thù cá nhân hay tổ chức. Thí dụ sở đặt hàng cho công ty phàn mềm xây dựng hệ thống thông tin dùng để quản lý nhân sự, quản lý kho hàng hay phần mềm thiết kế thí nghiệm, phần mềm điều khiển dây chuyền sản xuất. Hay phần mềm kiểm soát hệ thống giao thông, tài ngân hàng. Thường với phần mềm đặt hàng, số lượng khách hàng phạm vi ứng dụng không lớn, mang tính chuyên biệt, định hướng cụ thể, tường minh. Dựa mã nguồn ta phân loại phần mềm thành phần mềm nguồn mở phần mềm nguồn đóng Phần mềm nguồn mở phần mềm máy tính với mã nguồn làm thành sẵn có cho dùng, thay đổi phân phối. Tương phản lại, Phần mềm nguồn đóng bị hạn chế người dùng phải trả tiền để truy nhập vào mã nguồn để dùng nó. Phát triển phần mềm nguồn mở phổ biến cho phép người dùng tạo ứng dụng mói, sản phẩm từ phần mềm có. Thí dụ trình duyệt Internet Fừefox hay Chrome xây dựng từ phần mềm nguồn mở. Mục đích phần mềm nguồn mở làm cho thành sẵn có cho người họ phát triển nhiều thứ hữu dụng có khả làm thành đích xác điều họ muốn. Tương phản lại, phần mềm nguồn đóng có hạn chế cách mã dùng hay thay đổi. Thí dụ PHP phàn mềm nguồn mở. Bất kì muốn dùng PHP lên php.net để thu việc truy nhập vào mã nguồn, hướng dẫn cách làm, bắt đầu phát triển đó. Nếu có giới hạn bạn khỏi việc làm điều bạn muốn bạn đổi mã nguồn để làm bạn muốn. Tất nhiên, làm điều với phần mềm nguồn đóng Java đổi mã nguồn. Trường họp kiêm định (testcase) Rule Conditions Rule Rule p Điêu kiện (Điều kiện) Điêu kiện m Actions (Hoạt Hoạt động động) Hoạt động n Bảng định sử dụng trường hợp hành động lựa chọn phù hợp với lượng lớn điều kiện. “Điều kiện 1” tới “Điều kiện m” miêu tả m điều kiện liệu nhập khác có. “Hoạt độngl” tói “Hoạt động n” miêu tả n hoạt động khác mà hệ thống thực phụ thuộc vào tổ hợp điều kiện liệu nhập nào. Mỗi cột miêu tả luật cụ thể: Tổ hợp điều kiện nhập cụ thể hoạt động cụ thể cần thực hiện. Lưu ý hoạt động cần thực không phụ thuộc vào thứ tự điều kiện nhập, phụ thuộc vào giá trị điều kiện nhập. Tương tự, hoạt động cần thực không phụ thuộc vào trạng thái hành TPPM, chúng không phụ thuộc vào điều kiện nhập có trước đó. Chúng ta lấy số thí dụ cụ thể để làm rõ bảng định. Thí du 1: Giả sử TPPM cần kiểm định phân hệ chức nhỏ công ty bảo hiểm: khuyến cho chủ xe (cũng tài xế) họ thỏa mãn ưong điều kiện: Đã lập gia đình / Là sinh viên giỏi. Test4case Điều kiện Hoạt động Đã lập gia đình Yes Yes No No Sinh viên giỏi Yes No Yes No Khuyến mại ($) 60 25 50 Quy trình cụ thể để thực kiểm định dùng bảng định: 1. Tìm bảng định từ đặc tả yêu cầu chức TPPM hay từ bảng thiết kế TPPM. Nếu chưa có xây dựng dựa vào đặc tả yêu cầu chức hay dựa vào bảng thiết kế TPPM. 2. Từ bảng định chuyển cột miêu tả luật chuyển thành thànhbảng testcase đến n cột miêu tả testcase tương ứng với luật đó: Nếu điều kiện nhập trị luận lý cột luật chuyển thành cột testcase. Nếu điều kiện nhập lớp tương đương (nhiều giá trị liên tục) cột luật chuyển thành nhiều testcase dựa ttên kỹ thuật lớp tương đương hay kỹ thuật giá trị biên. Ta xây dựng bảng định theo trình tự sau: - Xác định tất điều kiện - Xác định tất hành động - Tính số kết hợp điều kiện - Điền kết hợp (rule) vào bảng - Loại bỏ kết không cần thiết (hợp xung đột dư thừa) - Điền hành động (action) vào bảng tương ứng với kết hợp Bảng định có nhiều loại, phổ biến đơn giản bảng định giói hạn (Limited Entry Table). Với bảng định loại này, điều kiện (condition) thỏa mãn cách đầy đủ hành động (action) thực cách trọn yẹn. Có thể dùng ký hiệu sau để mô tả bảng định: “Y” : Điều kiện thỏa mãn “N” :Điều kiện không thỏa mãn : Điều kiện hành động không áp dụng “X” : Hành động thực Thí du 2: Ngân hàng sử dụng nguyên tắc sau để phân loại tài khoản ngân hàng mở: - Nếu người gởi tiền có tuổi >=21 số tiền gởi >=100 TK loại A - Nếu người gỏi tiền có tuổi =100 TK loại B - Nếu người gởi tiền có tuổi >=21 số tiền gởi =21 Y Y N N Số tiền gửi >= 100 Y N Y N Tài khoản loại A Tài khoản loại B X X KẾT QUẢ Tài khoản loại c Không mở tài khoản Thỉ du 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: X X Trường họp kiểm thử Y N N N N ĐIỀU Có thẻ Over 60s Y Y Y KIÊ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 KẾT Giảm 34% QUA Giảm 50% X X Giảm 15% X Không giảm X Gộp kết giống ta được: X Trường họp kiểm thử ĐIEU Có thẻ Over 60s Y Y Y N N N KIÊN ■ Đi ừẻ em 16 tuôi Y Y Y Y Có thẻ Family Rail Card Y N N - Y N N - KẾT Giảm 34% QUA Giảm 50% Giảm 15% Không giảm X X X X X X Sau làm xong bảng định dựa vào ta viết test case, 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 CHƯƠNG 3. ÁP DUNG KỸ THUẢT KIỂM ĐINH 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 ừên đặ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 đối vói 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ử. Bắt đầu >r Đầu vào /Г N Ưng dụng quản lý danh bạ - Tập ca kiểm thử Mệt kê dạng ìr Xử lý s С\ - Thực thi ca kiểm thử V J Đầu S'. lử ^ :el Kết hình kiềm kiểm - Ghi thử^ tệp Exc ^Chụp lại Kết thú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ạ. D3nh bạ HoaìPhuong Mr Jude Ya Ba lũen + Thềm mdi Nguyễn An LãmGia Linh; Pha m M inh Hang Traw PhiuMW Hiện CÁ 25 danh biạ Binh An Tran Bac Tran- Bình Thanh D 01 Tran Gia Lac Tran Hoai Pliuoiụ) hanyu kim Pham Hình A Hoang Dung 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ố Kang Tran Phuong chu Van Sa IJniivwi Twiwn Tan + Mục thêm cho __________________________________________ Hiện có 25 danh bạ _______^____________________ lũ Danh bạ phép người dùng thêm liên J3 Ị«l Th e m m õi lạc vào danh bạ. + Tiếp theo danh sách liên lạc xếp theo thứ tự a, b, Nguy c . + Cuốỉ ễn An Bì nh An hỉển thị tổng số liên lạc cố danh bạ. Tran Bac Do Dinh Phitoi M} Hoan g Dung 01 Tran tia Lac - Dialog [Thông tín liên lạc]: Hỉển thị thông tín chi tiết liên lạc có danh bạ gồm có trường: + Jonn yGre err Tran H ọ i ệ + n T t ê h n o + i C + ô n E g m a t i y l + + S N ố g đ y - Dialog [Sửa thông tin liên s lạc]: Hiển thị thông tin i giống n - h . Danh bạ íl ■+ Thêm mã Dialog [Thông tín liên lạc] nhung cho phép người dùng 0— Thông tin liên íạc thực hiện: iMữi liên hệ Sửa. Họl John Nguyễn An A Ị ab Tran Bac Thaith D Do Dinh Phuong = Hoang Dung Jon ny Greer* Tran Hoai Phiuong Mr Jude Ta Ba Kiên Lâm Gia Linh Pham Minh Hang lnhn NnmiM R p™-------------------------------------------------------- Tẽni Nguyen công ty; FORE IN Điên thoai: 016S82.24466 Email: ngiryenjohn(§Ya fKXJ-com Ngày sinh: 20J0%fl9M 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 + 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] để Hình 3.6 Hình cho phép lưu 3.7 thông tin Màn hình thêm thông tin liên lạc sửa chữa Màn hình xốa thông tín liên lạc cập nhật danh - sách danh bạ. Dialog [Liên hệ mới]: Cho phép người dùng tạo thêm + Nút [Hủy] để liên hệ vào danh sách liên hủy bỏ việc lạc, ừong gồm sửa thông tín trường: không cập Họ; Tên; Công ty; số đỉện nhật danh thoại; Email; Ngày sinh. Nút [Xong]: Cho phép nhập sách danh bạ. 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 điệ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. Thông tin liên lạc Danh Tì™ + Thêm Danh sách liẽn lạc Mọi liên hệ S Danh sách liên lạc Nhan đề: Anh (chị) . Tên: Van A Họ: Nguyen C ô n g t y : X Y Z S ố đ i ệ n t h o i : Email: nguyenvana@gma il.com Ngày sinh: Cơ quan: Tống số liên lạc Liên ị ệ Huy Danh sách liên lạc liên lạc Nhan đè: Tên Anh Ho Tên: (chị) . Van A Công Họ: Nguyen ty Số điên Công ty:thoai XYZđiên Email Số thoai: om Ngày sinh: Cơ quan: Xóa liên hệ xóng xóng X Bản nháp sửa đổi — Hủy 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 dụng sử 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 Muc đích • kiểm định: giống mong đợi phù họp yêu cầu thẩm mỹ. Kiêm tra: 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ọfp 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 hiên: Tạo chỉnh sửa kịch kiêm định cho môi hình để • kiểm tra việc sử dụng cách tình trạng đối tượng cho hình đối tượng ứng dụng Điêu kiện hoàn Môi hình kiêm ứa thành công với phiên kiểm thành: tra phạm vi chấp nhận Các vấn đề đặc biệt: [...]... 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ý ) Đố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 Nói chung, chiến lược kiểm định hộp đen thích hợp cho mọi cấp độ kiểm định từ kiểm định đơn vị, kiểm định tích hợp, kiểm định hệ thống, kiếm thử... thiết 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 ưong 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ương... 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 sẽ thao tác qua tất cả các yêu cầu 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... 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: Phân tích |=> Thiết kế Thiết kế các trường hợp kiểm định Các trường hợp kiềm đinh^, Chuẩn bi dữ liệu kiêm định Mã hóa KIẺM THỪ Thưc thi 1=> chương trình với dữ liệu kiểm Dữ liệu Kết quả kiểm kiểm định định C' So sánh ì kết quả kiểm định. .. chuẩn bị về kế hoạch kiểm định, thiết kế các trường họp kiểm định và các dữ liệu kiểm định cho từng trường họp Đây chính là đầu vào cho giai đoạn kiểm định Và sản phẩm (đầu ra) của giai đoạn kiểm định chính là “báo cáo kiểm định ừong đó mô tả chi tiết kết quả của tất cả các trường họp kiểm định đã thực thi: mục đích kiểm định, dữ liệu vào, kết quả dự kiến, kết quả thực tế, kết luận (đúng/sai) Cũng... 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 năng của TPPM tương ứng Đây là 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... định vét cạn mà có thể tốn kém và yêu cầu nhiều nỗ lực Vì vậy kiểm định phần mềm đang ngày một trở nên YÔ cùng quan trọng và đóng một vai ưò không thể thiếu trong quy trình phát triển phần mềm 1.3 Kiểm định phần mềm 1.3.1 Khái niệm chung Kiểm định phần mềm là quá trình khảo sát, kiểm tra, thực thi một hệ thống phần mềm để xác định xem phần mềm đó có hoạt động đáp ứng đúng vói các yêu cầu của đặc tả không... Bố trí nhân viên kiểm định Việc kiểm định thường phải được tiến hành một cách độc lập Mỗi nhóm độc lập có ưách nhiệm tiến hành các họat động kiểm định, gọi là các nhóm kiểm định Giai đoạn 3: Thiết kế các trường họp kiểm định 2 Các trường họp kiểm định là các đặc tả đầu vào cho kiểm định và đàu ra mong đợi của hệ thống cùng với các chức năng, câu lệnh cần kiểm định Các chuyên gia kiểm định đã đề xuất... nhận định 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; ... ra những trường họp kiểm định tốt? - Hệ thống có nhạy cảm với những giá ừị đầ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 tới . 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. 4. Đổi tượng và phạm vỉ nghiên cứu Đề tài Tổ chức dữ liệu kiểm định phần mềm theo tiếp cận. trong phần mềm. 2. Mục đích nghiên cứu Tổng quan về sản phẩm 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. 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 Bộ GIÁO DỤC VÀ ĐÀO TẠO • • • TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 NGUYỄN TRỌNG TÂN HÀ NỘI, Tổ CHỨC DỮ LIỆU