Softwaretesting 06 vn

kiểm thử phần mềm 　 　 [6] kiểm thử hộp trắng Kiểm thử phần mềm [6] Kỹ thuật kiểm thử hộp trắng Hirohisa　Aman aman@ehime-u.ac.jp (C) 2007-2022 Hirohisa AMAN phương pháp kiểm thử hộp trắng  Thiết kế test case dựa vào cấu trúc nội bên đối tượng cần kiểm thử  Đảm bảo tất câu lệnh, biểu thức điều kiện bên chương trình thực lần (C) 2007-2022 Hirohisa AMAN Các kỹ thuật phương pháp kiểm thử hộp trắng  Basis Path Testing  Control-flow/Coverage Testing  Data-flow Testing (C) 2007-2022 Hirohisa AMAN Các cấp bao phủ kiểm thử  Phủ cấp 0: thửcâu kiểm 1: kiểm Bao phủ lệnhgì(statement/ thử được, phần còn lại Các để người dùng phát instruction coverage): câu lệnh báo lại sau Đây kiểm thử khơng thực lần có trách nhiệm  Phủ cấp 2: Bao phủ nhánh (branch  Phủ cấp 4: Kết hợp phủ nhánh điều kiện coverage): điểm định (branch & condition coverage) nhánh thực hai phía T,F  Phủ cấp 3: Bao phủ điều kiện(condition coverage): Các điều kiện điểm định thực lần (C) 2007-2022 Hirohisa AMAN Bao phủ câu lệnh void foo(int x, int y){ int sum, n; sum = 0; for ( n = 0; n < x; n++ ){ sum += n; } if ( sum < y ){ printf("%dn", sum); } else{ printf("%dn", y); } } [ đầu vào ] đối số x, y [ đầu ] inf Giá trị đầu (C) 2007-2022 Hirohisa AMAN Source code Thực hiện/ không thực void foo(int x, int y){ - int sum, n; ○ sum = 0; ○ for sum ○ ( n = 0; n < x; n++ ){ += n; } if ( sum < y ){ printf("%dn", sum); } } else{ else{ printf("%dn", y); } } } } Case: x=1, y=0 ○ - C0　=　 ○ ☓ ○ - (C) 2007-2022 Hirohisa AMAN ← sum = lý [ Lưu ý ] Trước, "Cần xác định xem có tính lệnh thực thi hay không C　=　100%　khi　phủ　hai　case Source code x=1, y=0 x=1, y=1 tổng cộng - - - int sum, n; ○ ○ ○ sum = 0; ○ ○ ○ for ( n = 0; n < x; n++ ){ ○ ○ ○ sum += n; ○ ○ ○ - - - ○ ○ ○ ☓ - ○ - ○ - ○ - ☓ - ○ - void foo(int x, int y){ } if ( sum < y ){ printf("%dn", sum); } } else{ else{ printf("%dn", y); } } } } (C) 2007-2022 Hirohisa AMAN Khi　vẽ　lưu　đồ　Trường　 hợp　kiểm　tra　①　x=1, y=0 START một　số　lệnh không　chạy sum　=　0 F sum