Cơ sở toán học cho các kỹ thuật kiểm thử phần mềm

Tóm tắt Cơ sở toán học cho các kỹ thuật kiểm thử phần mềm: ... Bảng 2.3. Danh sách ca kiểm thử đƣợc sinh theo phân lớp tƣơng đƣơng mạnh TC_ID Đầu vào Đầu ra mong muốn D1 D2 D3 TC_01 -10 -11 -7 Dữ liệu sai TC_02 -10 -11 20 Dữ liệu sai TC_03 -10 -11 85 Dữ liệu sai TC_04 -10 -11 140 Dữ liệu sai TC_05 -10 4 -7 Dữ liệu sai TC_06 -10 4 20 Dữ liệu... 8 140 Dữ liệu sai Dữ liệu sai Ok TC_61 12 15 -7 Dữ liệu sai Dữ liệu sai Ok TC_62 12 15 20 Dữ liệu sai Dữ liệu sai Ok TC_63 12 15 85 Dữ liệu sai Dữ liệu sai Ok TC_64 12 15 140 Dữ liệu sai Dữ liệu sai Ok 2.2.1.2. Phương pháp phân lớp tương đương yếu Bảng 2.7. Kết quả kiểm thử với trƣờng h...mới nào. Cho đồ thị lưu trình G, độ phức tạp Cyclomat V(G) được tính theo một trong 3 công thức sau (dựa trên Lý thuyết đồ thị): 1. V(G) = R (R là số vùng của đồ thị lưu trình) 1 2,3 4,5 6 7 8 9 10 11 R2 R1 R3 R4 Đỉnh Cạnh Vùng 2. V(G) = P + 1 (P là số đỉnh điều k...