Is there a situation where there are too many logical modules that cannot fully cover MCDC?

Each AND has three identical inputs, and controlling one input separately affects the output, but I can only cover the MCDC of one AND; Some==Operators can override conditions, while others cannot, but their inputs are the same. May I ask why?

[Atsushi Ueno]

Is there a Switch Block or something like that which switches the outputs of those AND blocks?

Even if the input combination exists, the coverage is not evaluated under the AND block path is not selected.

In the attached figure, perhaps only the path containing the output of the topmost AND block is enabled, that's why.

[李]

Each AND is connected to a switch. Is the Multiport Switch you demonstrated also not working? Is there any other way?@Atsushi Ueno

[Atsushi Ueno]

> Is the Multiport Switch you demonstrated also not working?

No, it does not. Because the input of the Multiport Switch is fixed to 1. Any coverage is not measured unless the path leads to the output of the model.

> Is there any other way?

In case of Multiport Switch I demonstrated,

1. Change Constant value to 1 ("Constant" is the first input of the Multiport Switch)
2. Input all combinations to the topmost AND block
3. Change Constant value to 2
4. Input all combinations to the second AND block
5. Change Constant value to 3
6. Input all combinations to the third AND block
7. ...