Kiểm tra chi nhánh

Kiểm tra chi nhánh là gì?

Phạm vi nhánh là một phương pháp kiểm tra, nhằm mục đích đả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 nhánh lấy 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.

Công thức:

Branch Testing = (Number of decisions outcomes tested / Total Number of decision Outcomes) x 100 %

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 Branch Coverage is 2.