It uses decision coverage for completeness.

It ensures all possible branches in the code are tested.

It is based on the internal structure of the system.

It can be done without reference to the internal structure of the component or system.