Verification and Validation : MCDC Coverage Issue with Logical Operator

Hello,​

I am Simulink developer and In our project we are using MCDC to verify and validate our test cases.

While using this I am getting following strange problem and I am not able to solve this.

I am using AND gate with two inputs in model . I have write multiple test cases like 2^n test cases to get 100% coverage.

But still not getting 100% coverage for the AND gate same There is one more AND in same Subsystem which is having two inputs , for this I am getting 100% coverage.

The strange thing is when i just crossed the inputs then I got 100% coverage.

I did not get the root cause of the behavior.

I am attaching the screen shots of the code and Coverage report. Also Please file MATLAB license details for your reference.

>> ver

-----------------------------------------------------------------------------------------------------

MATLAB Version: 9.3.0.713579 (R2017b)

MATLAB License Number: 40705901

Operating System: Microsoft Windows 10 Enterprise Version 10.0 (Build 15063)

Java Version: Java 1.8.0_121-b13 with Oracle Corporation Java HotSpot(TM) 64-Bit Server VM mixed mode

-----------------------------------------------------------------------------------------------------

MATLAB Version 9.3 (R2017b)

Simulink Version 9.0 (R2017b)

Code Generation Export Target Version 1.1 (R2008b)

Communications System Toolbox Version 6.5 (R2017b)

Computer Vision System Toolbox Version 8.0 (R2017b)

Control System Toolbox Version 10.3 (R2017b)

Curve Fitting Toolbox Version 3.5.6 (R2017b)

DSP System Toolbox Version 9.5 (R2017b)

Data Acquisition Toolbox Version 3.12 (R2017b)

Embedded Coder Version 6.13 (R2017b)

Fixed-Point Designer Version 6.0 (R2017b)

Fuzzy Logic Toolbox Version 2.3 (R2017b)

Global Optimization Toolbox Version 3.4.3 (R2017b)

Image Acquisition Toolbox Version 5.3 (R2017b)

Image Processing Toolbox Version 10.1 (R2017b)

Instrument Control Toolbox Version 3.12 (R2017b)

JD ETAS Generic Real-Time Target Version 1.0 (R2015a)

JD Export Model (Export Model to Any Version) Version 1.0 (R2015a)

MATLAB Coder Version 3.4 (R2017b)

MATLAB Compiler Version 6.5 (R2017b)

MATLAB Report Generator Version 5.3 (R2017b)

Mapping Toolbox Version 4.5.1 (R2017b)

Model-Based Calibration Toolbox Version 5.3 (R2017b)

Neural Network Toolbox Version 11.0 (R2017b)

Optimization Toolbox Version 8.0 (R2017b)

Parallel Computing Toolbox Version 6.11 (R2017b)

Partial Differential Equation Toolbox Version 2.5 (R2017b)

Robust Control Toolbox Version 6.4 (R2017b)

Signal Processing Toolbox Version 7.5 (R2017b)

SimEvents Version 5.3 (R2017b)

Simscape Version 4.3 (R2017b)

Simscape Driveline Version 2.13 (R2017b)

Simscape Electronics Version 2.12 (R2017b)

Simscape Fluids Version 2.3 (R2017b)

Simscape Multibody Version 5.1 (R2017b)

Simscape Power Systems Version 6.8 (R2017b)

Simulink Check Version 4.0 (R2017b)

Simulink Coder Version 8.13 (R2017b)

Simulink Control Design Version 5.0 (R2017b)

Simulink Coverage Version 4.0 (R2017b)

Simulink Design Optimization Version 3.3 (R2017b)

Simulink Design Verifier Version 3.4 (R2017b)

Simulink Real-Time Version 6.7 (R2017b)

Simulink Report Generator Version 5.3 (R2017b)

Simulink Requirements Version 1.0 (R2017b)

Spreadsheet Link Version 3.3.2 (R2017b)

Stateflow Version 9.0 (R2017b)

Statistics and Machine Learning Toolbox Version 11.2 (R2017b)

Symbolic Math Toolbox Version 8.0 (R2017b)

System Identification Toolbox Version 9.7 (R2017b)

Vehicle Network Toolbox Version 3.4 (R2017b)

VehicleSim (SDK) dll Version 1.0 (R2015a)

Wavelet Toolbox Version 4.19 (R2017b)

Thanks,

Amruta

[Raj]

What you are getting is peculiar but it is difficult to comment anything without looking at your model , coverage metrics and test case.

[Amruta Kulkarni]

I have written multiple test cases for this logical operator but still it is showing this and when I inteconnect two inputs then coverage shows 100%. again next run is shows this report.

Answer 1

[JANARDHAN GURRAM]

Hi,

I guess verification and validation tool box is missing .