1.     Chiến lược kiểm thử miền là cái gì? Nó dựa trên tư tưởng nào?

-         Chiến lược kiểm thử miền cần 3 hoặc 4 kiểm thử cho 1 biểu thức quan hệ gồm các TH:<,>,= và có thể ≠ nữa

-         Nếu biểu thức bool có n biến, mà n nhỏ thì thuận lợi, song n lớn thì khó thực hiện

-         Người ta đưa ra chiến lược cho các phép thử nhạy cảm = cách áp dụng kết hợp chiến lược kiểm thử nhánh và kiểm thử miền( quan hệ)

1.     Chiến lược kiểm thử BRO là cái gì? Nó dựa trên tư tưởng nào?

BRO= kiểm thử nhánh và toán tử quan hệ

-         BRO dùng “ràng buộc đk làm đk cần thử” để phát hiện sai ở nhánh và toán tử khi xảy ra 1 lần và ko có biến chung

-         Giả sử

D=X1&X2&…Xn,Xj: đk đơn,& toán tử bool

Cần đặc tả ràng buộc đầu ra của Xj tương ứng với đk D đã xđ

-         Đk đầu vào: khi giá trị của D đã cho, ta cần tìm các đk ràng buộc mà mỗi Xj( thành phần của D) cần thỏa mãn để đảm bảo được giá trị của D

-         Tạo ràng buộc:

+với 1 biến bool B thì ràng buộc đầu ra của B là true hoặc false

+Với quan hệ biểu thức A ΘB thì ràng buộc đầu ra của nó là toán tử quan hệ

Θ có thể nhận 1 trong 4 giá trị >,<,=,≠

 1.     Mô hình của kiểm thử hộp đen quan tâm đến nhân tố nào của phần mềm? Nó nhằm tìm ra các loại sai nào? Nêu các phương pháp áp dụng cho nó?

Phương pháp kiểm thử hộp đen tập trung vào các yêu cầu chức năng của phần mềm

Việc kiểm thử hộp đen nhằm tìm các lỗi sau:

- Chức năng thiếu hoặc chức năng không đúng

- Sai về giao diện

- Sai trong cấu trúc hoặc trong truy cập dữ liệu ngoài

- Sai thực thi

- Sai khởi đầu hoặc kết thúc

Các phương pháp: