bài 3. các phương pháp kiểm thử

PHẦN II NGUYÊN LÝ KIỂM THỬ PHẦN MỀM  Nội dung:  Bài 3: Các phương pháp kiểm thử  Bài 4: Các kỹ thuật kiểm thử  Bài 5: Các vấn đề cần kiểm thử  Bài 6: Các giai đoạn kiểm thử 07/05/14 BÀI CÁC PHƯƠNG PHÁP KIỂM THỬ  Nội dung:  3.1 Test to pass, test to fail  3.2 Phương pháp kiểm thử hộp trắng (white box test)  3.3 Phương pháp kiểm thử hộp đen (black box test)  3.4 Phương pháp kiểm thử hộp xám (gray box test)  3.5 Kiểm thử tĩnh (static), kiểm thử động (dynamic)  3.6 Kết hợp phương pháp kiểm thử  3.7 Standard guideline trình coding 07/05/14 3.1 TEST–TO–PASS VÀ TEST–TO–FAIL  Test – to – pass: thực kiểm tra với chức tối thiểu phần mềm => pass  Test – to – fail: thực với kiểm tra trường hợp lắt léo, bí ẩn, cố gắng để bắt lỗi => fail  Thứ tự thực : test – to – pass test – to – fail  Thứ tự không bắt buộc => đạt mục đích: bắt lỗi3 07/05/14 3.2 PHƯƠNG PHÁP KIỂM THỬ HỘP TRẮNG (WHITE BOX TEST) INPUT  White box testing – test hộp trắng  Còn gọi structural testing  Test dựa cấu trúc code OUTPUT 07/05/14 3.2 EXAMPLE: WHITE BOX TEST WITH “AND” Definition Conditions Table ( n )  Both parts of the predicate are tested  Program Sample shows that all test conditions are tested Program Sample If((A > 1) AND (B=0) { //sub-statement } Else { //sub-statement } Test Conditions (A > 1) AND (B = 0) (A > 1) AND (B NOT = 0) (A 1) OR (B=0) { //sub-statement } Else { //sub-statement } OR OR OR OR B = RESULT TRUE TRUE FALSE TRUE FALSE FALSE TRUE TRUE Test Conditions (A > 1) OR (B = 0) (A1 Y>9 Y=Y+1 Y=Y+4 F Y=Y+3 Y=Y+2 F Y=Y+1 T IF Y > THEN Y=Y+1 IF Y > THEN Y = Y + ELSE Y=Y+3 END Y=Y+2 ELSE Y=Y+4 END No Of Paths = Test Cases: (Y > 1) and (Y > 9) (Y > 1) and (Y b a khơng có đặc tả, người kiểm thử => tester phải trao đổi với coder, manager, … => đưa đặc tả: chi tiết 07/05/14 câu hỏi người thiết kế phần mềm 14 b) KIỂM THỬ DYNAMIC BLACK - BOX  Cách kiểm thử phần mềm mà tester khơng biết đoạn code kiểm thử gọi Dynamic black – box testing (behavioral testing )  Dynamic: bạn đóng vai trị khách hàng chạy chương trình  Black – box: bạn kiểm tra mà khơng biết xác cách mà làm việc ⇒ 07/05/14 requirements document product specification => testcase (input, output) 15 b) KIỂM THỬ DYNAMIC BLACK - BOX  Test case:  Lựa chọn test case nhiệm vụ quan trọng tester  Test case lựa chọn phải đảm bảo kiểm tra trường hợp mà đạt hiệu cao  VD: Kiểm thử phương thức Division 07/05/14 16 b) KIỂM THỬ DYNAMIC BLACK - BOX  Nếu khơng có Spec (big - bang, code - and - fix), tester phải kiểm thử cách mò mẫm  Đồng thời: tìm hiểu phần mềm, thiết kế testcase, thực thi chúng  Coi phần mềm đặc tả, tìm hiểu feature phần mềm feature  07/05/14 Khó kiểm tra phần mềm cách triệt để 17 c) DYNAMIC WHITE BOX TESTING  Dynamic white-box testing, tóm tắt ngắn gọn sử dụng thông tin mà bạn thu từ việc xem xét vấn đề mà code thực cách làm việc để xác định thứ cần test, thứ không cần test, cách kiểm thử  Phân biệt khái niệm: dynamic white-box testing debugging 07/05/14 18 c) DYNAMIC WHITE BOX TESTING  Phân biệt khái niệm: dynamic white-box testing debugging 07/05/14 19 3.7 STANDARD VÀ GUIDELINE CỦA QUÁ TRÌNH CODING  Standard: tiêu chuẩn quốc tế coding bắt buộc phần mềm đạt chuẩn phải tuân theo  Guideline: hướng dẫn viết coding khuyến khích kỹ sư lập trình tn theo 07/05/14 20 3.7 STANDARD VÀ GUIDELINE CỦA QUÁ TRÌNH CODING  Các standard có phần chính:  Title miêu tả chủ đề mà standard muốn trình bày  Standard (hoặc guideline) miêu tả, giải thích xác thứ phép không phép  Justification (sự biện hộ, chứng minh): đưa lý để người lập trình hiểu cách lập trình tốt  Example (ví dụ): biểu diễn mẫu lập trình đơn giản cách sử dụng standard Cái khơng cần thiết 07/05/14 21 3.7 STANDARD VÀ GUIDELINE CỦA QUÁ TRÌNH CODING Các chuẩn quốc gia quốc tế dành cho hầu hết ngôn ngữ lập trình cơng nghệ thơng tin thu từ tài liệu sau:  American National Standards Institute (ANSI), www.ansi.org  International Engineering Consortium (IEC), www.iec.org  International Organization for Standardization (ISO), www.iso.ch  National Committee for Information Technology Standards (NCITS), www.ncits.org 07/05/14 22 3.7 STANDARD VÀ GUIDELINE CỦA QUÁ TRÌNH CODING Các tài liệu giải thích programming guideline cách thực tốt tìm thấy tổ chức chun nghiệp như:  Association for Computing Machinery (ACM), www.acm.org  Institute of Electrical and Electronics Engineers, Inc (IEEE), www.ieee.org 07/05/14 23 BÀI CÂU HỎI So sánh kiểm thử black box, white box, gray box? Khi áp dụng static testing, áp dụng dynamic testing? Thế Standard? Thế Guideline? Nếu bạn kiểm tra khả phát lệnh in tới máy in cho phép in nhiều trang khổ giấy (với đặc tả cho phép in số lượng trang chẵn in tối đa trang khổ giấy), trường hợp test – to – fail? 07/05/14 24 ...BÀI CÁC PHƯƠNG PHÁP KIỂM THỬ  Nội dung:  3.1 Test to pass, test to fail  3.2 Phương pháp kiểm thử hộp trắng (white box test)  3.3 Phương pháp kiểm thử hộp đen (black box test)  3.4 Phương. .. 3.4 Phương pháp kiểm thử hộp xám (gray box test)  3.5 Kiểm thử tĩnh (static), kiểm thử động (dynamic)  3.6 Kết hợp phương pháp kiểm thử  3.7 Standard guideline trình coding 07/05/14 3.1 TEST–TO–PASS... OUTPUT 3.4 PHƯƠNG PHÁP KIỂM THỬ HỘP XÁM (GRAY BOX TEST)  Gray box testing – kiểm thử hộp xám INPUT  Là kết hợp white box black box testing  số test case phải white box (tester phải biết chút cách