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.