Câu trả lời của Paul không hoàn toàn đúng, ít nhất tôi nghĩ vậy (theo định nghĩa của ISTQB). Có sự khác biệt khá lớn giữa tuyên bố, quyết định/chi nhánh và điều kiện bảo hiểm. Tôi sẽ sử dụng mẫu từ câu trả lời khác nhưng sửa đổi một chút, vì vậy tôi có thể hiển thị tất cả ba ví dụ về phạm vi kiểm tra. Các bài kiểm tra được viết ở đây cho phép kiểm tra 100% cho mỗi loại.
if(a || b)) {
test1 = true;
}
else {
if(c) {
test2 = true
}
}
Chúng tôi có hai báo cáo ở đây - nếu (a || b) và if (c), để giải thích đầy đủ những khác biệt vùng phủ sóng:
- tuyên bố bảo hiểm phải kiểm tra từng tuyên bố ít nhất một lần, vì vậy chúng tôi chỉ cần hai bài kiểm tra:
- một = true b = false - cung cấp cho chúng ta con đường nếu (a || b) đúng -> test1 = true
- a = false, b = false và c = true - cho chúng ta đường dẫn: if (a || b) false -> else -> if (c) -> test2 = true.
Bằng cách này, chúng tôi đã thực hiện từng câu lệnh.
chi nhánh bảo hiểm/quyết định cần thêm một thử nghiệm:
- a = false, b = false, c = false - dẫn chúng ta đến đó thứ hai nếu nhưng chúng tôi đang thực hiện chi nhánh sai từ tuyên bố đó, điều đó không được thực hiện trong phạm vi tuyên bố
Bằng cách đó, chúng tôi đã trải qua tất cả các đường dẫn.
bảo hiểm trạng cần một thử nghiệm:
- a = false, b = true - dẫn qua con đường giống như thử nghiệm đầu tiên nhưng thực hiện các quyết định khác trong HOẶC statement (một || b) đi qua nó.
Bằng cách đó, chúng tôi đã đủ các điều kiện thử nghiệm, có nghĩa là chúng tôi đã đi qua tất cả các đường dẫn (chi nhánh) và kích hoạt nó với mỗi điều kiện chúng ta có thể - đầu tiên 'nếu' tuyên bố là sự thật trong thử nghiệm đầu tiên vì a = đúng kích hoạt nó và trong thử nghiệm cuối cùng bởi vì b = true kích hoạt nó. Tất nhiên ai đó có thể tranh luận rằng trường hợp với a = true và b = true cần được kiểm tra, nhưng khi chúng ta kiểm tra cách 'hoặc' hoạt động thì chúng ta có thể thấy nó không cần thiết và biến c có thể có giá trị bất kỳ trong các thử nghiệm đó, nó không được đánh giá.
Ít nhất tôi đã diễn giải nó theo cách này. Nếu ai đó vẫn quan tâm :)
EDIT: Trong hầu hết các nguồn tôi thấy điều khoản bảo hiểm/quyết định gần đây tương đương và thuật ngữ tôi mô tả là phạm vi quyết định trong phạm vi điều kiện thực tế do đó cập nhật câu trả lời.
Tôi đoán câu hỏi này là tốt hơn cho Programmers.StackExchange.com. Bằng cách quyết định và bảo hiểm chi nhánh không phải là điều tương tự! –
@Adriano Có, wiki nói như vậy nhưng rất nhiều nguồn khác nói rằng nó là như nhau. – user970696
Không chỉ wiki, định nghĩa chính thức cho "quyết định" là mỗi điều kiện để nhập đường dẫn mã của một nhánh (sau đó nhánh là toàn bộ điều kiện). Hãy tưởng tượng, ví dụ, các mạch ngắn trong C/C++. Bạn có thể _decide_ sử dụng chúng làm từ đồng nghĩa hay không. –