Kiểm thử chức Nội dung   Giới thiệu kiểm thử chức Các kỹ thuật kiểm thử chức    Kiểm thử giá trị biên Kiểm thử phân hoạch tương đương Kỹ thuật đồ thị nhân - bảng định Kiểm thử chức Kiểm thử chức  Kiểm thử chức năng: test cases dẫn xuất từ đặc tả chương trình   Chức đề cập đến nguồn gốc thông tin sử dụng để thiết kế trường hợp kiểm thử, để kiểm thử Còn gọi là:    Kiểm thử dựa đặc tả (từ đặc tả) kiểm tra hộp đen (khơng có mã nguồn) Đặc tả chức mơ tả hành vi chương trình dự định  Hình thức khơng hình thức Kiểm thử hệ thống kiểm thử ngẫu nhiên  Ngẫu nhiên (đồng đều):     Chọn yếu tố đầu vào thống Tránh thiên vị thiết kế  Một vấn đề thực tế: Các nhà thiết kế kiểm thử tạo lỗi logic giả thiết tồi giống nhà thiết kế chương trình (đặc biệt họ người) Nhưng đối xử với tất đầu vào có giá trị Có hệ thống (khơng đồng đều):    Cố gắng chọn đầu vào có giá trị đặc biệt Thông thường việc lựa chọn đại diện lớp mà ứng dụng gặp lỗi thường xuyên tất trường hợp Kiểm thử chức kiểm thử có hệ thống thử nghiệm Tại không ngẫu nhiên?   Sự phân bố lỗi khơng Ví dụ: Lớp bậc hai Java áp dụng cho phương trình bậc hai  Logic thực khơng đầy đủ: Chương trình khơng hợp lí trường hợp b2 - 4ac = a =0  Lấy mẫu ngẫu nhiên thường không chọn a = 0,0 b = 0,0 Systematic Partition Testing The space of possible input values (the haystack) Failure (valuable test case) No failure Thất bại thưa thớt khơng gian đầu vào Nếu kiểm thử cách có hệ thống số trường hợp phần, có phận dày đặc dày đặc số phận không gian Kiểm thử chức cách vẽ đường màu hồng để lập khu vực có khả thất bại Kiểm thử chức năng: khai thác đặc tả   Kiểm thử chức sử dụng đặc tả (hình thức khơng hình thức) để phân vùng khơng gian đầu vào Ví dụ, đặc tả chương trình "gốc" gợi ý phân chia trường hợp với không, một, hai nghiệm thực   Kiểm tra trường hợp, ranh giới trường hợp Không đảm bảo, kinh nghiệm cho thấy thất bại thường nằm ranh giới Tại kiểm thử chức năng?  kịp thời   hiệu   tìm vài lớp lỗi (ví dụ, thiếu logic) vượt cách tiếp cận khác áp dụng rộng rãi    Thường hữu ích việc tinh chỉnh đặc tả đánh giá khả kiểm thử trước mã viết cho mơ tả hành vi chương trình phục vụ đặc tả mức độ từ module để kiểm thử hệ thống Kinh tế  thường tốn để thiết kế thực thi so với trường hợp kiểm thử cấu trúc (mã) Thiết kế kiểm thử chức sớm  Mã nguồn chương trình khơng cần thiết    Chỉ có mơ tả hành vi dự kiến cần thiết Thậm chí đặc tả khơng đầy đủ thức sử dụng  Mặc dù xác, đặc tả đầy đủ dẫn đến thử tốt Thiết kế kiểm thử chức sớm có lợi ích phụ    Thường cho thấy mơ hồ mâu thuẫn đặc tả Hữu ích cho việc đánh giá khả kiểm thử  Và cải thiện tiến độ Và ngân sách kiểm thử cách cải thiện đặc tả Giải thích hữu ích đặc tả  trường hợp cực đoan (như XP), trường hợp kiểm thử đặc tả 10 Lưu ý lớp tương đương    Kiểm thử lớp tương đương cải tiến phương pháp lai với kiểm tra giá trị ranh giới Kiểm thử lớp tương đương định chức chương trình phức tạp Kiểm thử lớp tương đương mạnh làm cho giả định biến độc lập tích đề-các thực   Nếu có phụ thuộc, thường tạo trường hợp kiểm thử "lỗi”, họ làm chức NextDate Kỹ thuật bảng định giải vấn đề 70 Decision Tables Based Testing 71 Decision Tables      Đầu vào hiểu điều kiện Đầu giải thích hành động Các cột bảng quy tắc - cho thấy hành động kết từ điều kiện Mỗi quy tắc sau trở thành trường hợp kiểm thử Dấu gạch ngang đại diện cho không quan tâm điều kiện 72 Decision Table Terminology Entry Stub True c1 Condition c2 c3 True T a1 a2 Action X F False — X False True T X X — X X X a4 F X X a3 False X 73 Rule One Decision Table for the Triangle Program c1: a, b, c are a triangle? F c2: a = b? — c3: a = c? — c4: b = c? — T F a1: not a triangle X T T F T F T T F T F F T F a2: Scalene X a3: Isosceles a4: Equilateral a5: Impossible X X X X X X X 74 Decision Table-Based Testing      Phương pháp chức khắt khe - thực thi chặt chẽ hợp lý Được sử dụng để biểu diễn phân tích mối quan hệ logic phức tạp Bảng Quyết định khai báo - khơng có thứ tự đặc biệt điều kiện Bảng hỗ trợ định có tính thống đầy đủ Phụ thuộc mang lại kết hợp khơng thể, thường có hành động "khơng thể” 75 Refined Decision Table for the Triangle Problem c1: a < b+c? F T T T T T T T T T T c2: b < a+c? F T T T T T T T T T c3: c < a+b? F T T T T T T T T c4: a = b? T T T T F F F F c5: a = c? T T F F T T F F c6: b = c? T F T F T F T F a1: Not a triangle X X X a2: Scalene X a3: Isosceles a4: Equilateral a5: Impossible X X X X X X X 76 A Redundant Decision Table Conditions 1-4 c1: T F F F F T c2: T T F F F c3: T F T F F a1: X X X X a2: X X X a3: X X X X X • Rule is identical to Rule (T, F, F) • Since the action entries for rules and are identical, there is no ambiguity, just redundancy 77 An Inconsistent Decision Table Conditions 1-4 c1: T F F F F T c2: T T F F F c3: T F T F F a1: X X X a2: X X X X a3: X X X X • Rule is identical to Rule (T, F, F) • Since the action entries for rules and are different there is ambiguity • This table is inconsistent, and the inconsistency implies non-determinism — can’t tell which rule to apply! 78 Procedure for Decision-Table Based Testing Determine conditions and actions Develop the Decision Table, watching for • completeness • don't care entries • redundant and inconsistent rules Each rule defines a test case 79 Decision Tables Based Testing Test cases for the examples 80 Test Cases for the Triangle Problem 81 Exercises   Test cases for NextDate function Test cases for Commission problem 82 Notes on Dicision Tables  The decision table technique is indicated for applications characterized by any of the following:      prominent If-Then-Else logic logical relationships among input variables calculations involving subsets of the input variables cause and effect relationships between inputs and outputs high cyclomatic (McCabe) complexity (see Chapter 9) 83 Notes on Dicision Tables  Decision tables don't scale up very well (a limited entry table with n conditions has 2n rules)   There are several ways to deal with this:  use extended entry decision tables, algebraically simplify tables, "factor" large tables into smaller ones, and look for repeating patterns of condition entries As with other techniques, iteration helps  The first set of conditions and actions you identify may be unsatisfactory Use it as a stepping stone, and gradually improve on it until you are satisfied with a decision table 84 ... Giới thiệu kiểm thử chức Các kỹ thuật kiểm thử chức    Kiểm thử giá trị biên Kiểm thử phân hoạch tương đương Kỹ thuật đồ thị nhân - bảng định Kiểm thử chức Kiểm thử chức  Kiểm thử chức năng:... trường hợp kiểm thử đặc tả 10 Chức cấu trúc: Các lớp lỗi  Chiến lược kiểm thử khác (chức năng, cấu trúc) hiệu cho lớp lỗi khác  Kiểm thử chức tốt cho việc tìm kiếm lỗi thiết kế  Kiểm thử cấu... kế kiểm thử Hình thành đặc tả kiểm thử   Nếu đặc tả lớn, chia thành tính độc lập kiểm thử để xem xét kiểm thử Thông thường: kết hợp giá trị đầu vào, hành vi mơ hình Triển khai thực thi kiểm thử