Kiểm tra phạm vi quyết định

Kiểm tra phạm vi quyết định là gì?

Phạm vi quyết định hoặc Phạm vi nhánh là một phương pháp thử nghiệm, nhằm đảm bảo rằng mỗi nhánh có thể có từ mỗi điểm quyết định được thực thi ít nhất một lần và do đó đảm bảo rằng tất cả mã có thể truy cập được thực thi.

Tức là mọi quyết định đều diễn ra theo mỗi cách, đúng sai. Nó giúp xác thực tất cả các nhánh trong mã đảm bảo rằng không có nhánh nào dẫn đến hành vi bất thường của ứng dụng.

Thí dụ:

Read A
Read B 
IF A+B > 10 THEN 
  Print "A+B is Large" 
ENDIF 
If A > 5 THEN 
  Print "A Large"
ENDIF

Logic trên có thể được biểu diễn bằng một lưu đồ như sau:

Kết quả :

To calculate Branch  Coverage, one has to find out the minimum number of paths which will ensure that all the edges are covered. In this case there is no single path which will ensure coverage of  all the edges at once. The aim is to cover all possible true/false decisions.
(1) 1A-2C-3D-E-4G-5H
(2) 1A-2B-E-4F
Hence Decision or Branch Coverage is 2.