Qualkitdo Slci Run Tests

TITLE
RELEASE
DATE
REVISION HISTORY
Simulink Code Inspector Test Cases and Procedures to Tool Operational Requirements Traceability Matrix
R2017a, March 2017

December 31, 2016
New for Version 1.6 (Applies to Release 2012a)

Revised for Version 2.0 (Applies to Release 2012b)
Revised for Version 2.1 (Applies to Release 2013a)
Revised for DO Qualification Kit Version 3.0 (Applies to Release 2015b)
Revised for DO Qualification Kit Version 3.1 (Applies to Release 2016a)
Revised for DO Qualification Kit Version 3.2 (Applies to Release 2016b)
Revised for DO Qualification Kit Version 3.3 (Applies to Release 2017a)
Test Case Requirements Test Fi
Test Case ID Test Case Description Requirement ID(s) Model Used for
Inspection
ModelInterface_pos1 Model Interface - positive test MDLINTFUNCGEN, slciinterface1.slx
MDLINTDATAGEN,
MDLINTFUNCSIG,
MDLINTIOGEN
ModelInterface_neg1a Model Interface - negative test 1(Model MDLINTFUNCGEN slciinterface1.slx
step function is missing)
ModelInterface_neg1b Model Interface - negative test 1(Model MDLINTFUNCGEN slciinterface1.slx

initialize function name is incorrect)
ModelInterface_neg2 Model Interface - negative test 2(Bus MDLINTDATAGEN slciinterface2.slx

root input name is incorrect)
ModelInterface_neg3 Model Interface - negative test 3 (Step MDLINTFUNCSIG slciinterface1.slx

function argument sequence is
incorrect)
ModelInterface_neg4 Model Interface - negative test 4 MDLINTIOGEN slciinterface3.slx
(External inputs not initialized as
expected)
ModelInterface_neg5 Model Interface - negative test 5 (Extra MDLINTFUNCSIG slciinterface4.slx

argument in Step function interface)
ModelInterface_neg6 Model Interface - negative test 6 MDLINTFUNCSIG slciinterface4.slx

(Missing argument in Initialize function
interface)
ModelInterface_pos2 Model Interface - positive test 2 MDLINTFUNCGEN, slciinterface5.slx,
(Referenced model) MDLINTDATAGEN, slciinterface5_ref.slx
MDLINTFUNCSIG,
MDLINTIOGEN
Test Files Expected Result
Model Used for Code Misc. File Expected Result Summary
Generation
slciinterface1.slx (Overall Status, PASSED),
(Verification Status, VERIFIED),
(Traceability Status, TRACED)
slciinterface1.slx mModelInterface1a.m (Overall Status, FAILED),

(Verification Status, FAILED_TO_VERIFY),
(Traceability Status, PARTIALLY_TRACED)
slciinterface1.slx mModelInterface1b.m (Overall Status, FAILED),
slciinterface2.slx mModelInterface2.m (Overall Status, FAILED)
slciinterface1.slx mModelInterface3.m (Overall Status, FAILED),

(Traceability Status, FAILED_TO_TRACE)

slciinterface5.slx, (Overall Status, PASSED),
slciinterface5_ref.slx (Verification Status, VERIFIED),
Expected Result
Expected Result Details
(FUNCTIONINTERFACE, slciinterface1_0_output,
FAILED_TO_VERIFY)
(FUNCTIONINTERFACE, slciinterface1_0_initialize,
FAILED_TO_VERIFY)
(ERROR, Inspection terminated because an

unsupported data type 'myBus' was used, FAILED)
FAILED_TO_VERIFY)
(CODE, slciinterface3.c:59, FAILED_TO_VERIFY),

(CODE, slciinterface3.c:62, FAILED_TO_VERIFY)
FAILED_TO_VERIFY)
(FUNCTIONINTERFACE, slciinterface4_0_initialize,
FAILED_TO_VERIFY)
Test Case Requirements
Test Case ID Test Case Description Requirement ID(s)
Saturate_pos Saturate block - positive test BLKCOMPS_Saturate,

BLKCOMPSEXP_Saturate,
BLKCOMPSTRACE_Saturate,
BLKCOMPSCONFIG_Saturate,
BLKCOMPSSYSFUNC_Saturate,
BLKCOMPSPROPS_Saturate
Saturate_neg Saturate block - negative test BLKCOMPSEXP_Saturate,

BLKCOMPSTRACE_Saturate,
BLKCOMPSCONFIG_Saturate,
BLKCOMPSPROPS_Saturate
Relay_pos Relay block - positive test BLKCOMPS_Relay,
BLKCOMPSEXP_Relay,
BLKCOMPSTRACE_Relay,
BLKCOMPSCONFIG_Relay,
BLKCOMPSSYSFUNC_Relay,
BLKCOMPSPROPS_Relay
Relay_neg Relay block - negative test BLKCOMPSEXP_Relay,

BLKCOMPSTRACE_Relay,
BLKCOMPSCONFIG_Relay,
BLKCOMPSPROPS_Relay
DeadZone_pos Dead Zone block - positive test BLKCOMPS_DeadZone,
BLKCOMPSEXP_DeadZone,
BLKCOMPSTRACE_DeadZone,
BLKCOMPSCONFIG_DeadZone,
BLKCOMPSSYSFUNC_DeadZone,
BLKCOMPSPROPS_DeadZone
DeadZone_neg Dead Zone block - negative test BLKCOMPS_DeadZone,

BLKCOMPSEXP_DeadZone,
BLKCOMPSTRACE_DeadZone,
BLKCOMPSCONFIG_DeadZone,
BLKCOMPSPROPS_DeadZone
Test Files Expected Res
Model Used for Model Used for Misc. File Expected Result Summary
Inspection Code Generation
Saturate1.slx Saturate1.slx (Overall Status, PASSED),
Saturate2.slx Saturate3.slx (Overall Status, FAILED),

Relay1.slx Relay1.slx (Overall Status, PASSED),

Relay2.slx Relay3.slx (Overall Status, FAILED),

DeadZone1.slx DeadZone1.slx (Overall Status, PASSED),

DeadZone2.slx DeadZone3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, maxnegneg, FAILED_TO_VERIFY),

(BLOCK, pospos1, FAILED_TO_VERIFY),
(BLOCK, equallimits, FAILED_TO_VERIFY),
(BLOCK, zerozero, FAILED_TO_VERIFY)
(BLOCK, Relay7, FAILED_TO_VERIFY),

(BLOCK, Relay_new, FAILED_TO_VERIFY),
(BLOCK, Relay3, FAILED_TO_VERIFY),
(BLOCK, Out6, FAILED_TO_VERIFY)
(BLOCK, DeadZone_new, FAILED_TO_VERIFY),

(BLOCK, DeadZone_UL, FAILED_TO_VERIFY),
(BLOCK, Out3, FAILED_TO_VERIFY),
(BLOCK, DeadZone_type, FAILED_TO_VERIFY)
Unitdelay_pos Unit Delay block - positive test BLKCOMPS_Unitdelay,

BLKCOMPSEXP_Unitdelay,
BLKCOMPSTRACE_Unitdelay,
BLKCOMPSCONFIG_Unitdelay,
BLKCOMPSSYSFUNC_Unitdelay,
BLKCOMPSPROPS_Unitdelay
Unitdelay_neg Unit Delay block - negative test BLKCOMPS_Unitdelay,

BLKCOMPSEXP_Unitdelay,
BLKCOMPSTRACE_Unitdelay,
BLKCOMPSCONFIG_Unitdelay,
BLKCOMPSPROPS_Unitdelay
DiscreteIntegrator_pos Discrete-Time Integrator block - BLKCOMPS_DiscreteIntegrator,
positive test BLKCOMPSEXP_DiscreteIntegrator,
BLKCOMPSTRACE_DiscreteIntegrator,
BLKCOMPSCONFIG_DiscreteIntegrator,
BLKCOMPSSYSFUNC_DiscreteIntegrator,
BLKCOMPSPROPS_DiscreteIntegrator
DiscreteIntegrator_neg Discrete-Time Integrator block - BLKCOMPS_DiscreteIntegrator,

negative test BLKCOMPSEXP_DiscreteIntegrator,
BLKCOMPSTRACE_DiscreteIntegrator,
BLKCOMPSCONFIG_DiscreteIntegrator,
BLKCOMPSPROPS_DiscreteIntegrator
Delay_pos Delay block - positive test BLKCOMPS_Delay,

BLKCOMPSEXP_Delay,
BLKCOMPSTRACE_Delay,
BLKCOMPSCONFIG_Delay,
BLKCOMPSSYSFUNC_Delay,
BLKCOMPSPROPS_Delay
Delay_neg Delay block - negative test BLKCOMPS_Delay,

BLKCOMPSEXP_Delay,
BLKCOMPSTRACE_Delay,
BLKCOMPSCONFIG_Delay,
BLKCOMPSPROPS_Delay
Test Files
Model Used for Model Used for Code Misc. File
Inspection Generation
Unitdelay1.slx Unitdelay1.slx
Unitdelay2.slx Unitdelay3.slx mUnitdelay2.m
DiscreteIntegrator1.slx DiscreteIntegrator1.slx
DiscreteIntegrator2.slx DiscreteIntegrator3.slx mDiscreteIntegrator2.m
Delay1.slx Delay1.slx
Delay2.slx Delay3.slx
Expected Result
Expected Result Summary Expected Result Details
(Overall Status, PASSED),

(Overall Status, FAILED), (BLOCK, Unit Delay1, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Unit Delay2, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Unit Delay3, FAILED_TO_VERIFY),
(BLOCK, Unit Delay8, FAILED_TO_VERIFY),
(BLOCK, Unit Delay6, FAILED_TO_VERIFY)
(Overall Status, FAILED), (BLOCK, StateUpdateCode, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Out9, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, GainValue, FAILED_TO_VERIFY),
(BLOCK, newDI, FAILED_TO_VERIFY),
(BLOCK, IntegratorMethod, FAILED_TO_VERIFY),
(BLOCK, ICSource, FAILED_TO_VERIFY),
(BLOCK, ICValue, FAILED_TO_VERIFY),
(BLOCK, ExternalReset, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, Delay1, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Delay_new, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Delay3, FAILED_TO_VERIFY),
(BLOCK, Delay5, FAILED_TO_VERIFY),
(BLOCK, Delay9, FAILED_TO_VERIFY)
Logical_pos Logical Operator block - positive BLKCOMPS_Logical,

test BLKCOMPSEXP_Logical,
BLKCOMPSTRACE_Logical,
BLKCOMPSCONFIG_Logical,
BLKCOMPSSYSFUNC_Logical,
BLKCOMPSPROPS_Logical
Logical_neg Logical Operator block - negative BLKCOMPSEXP_Logical,

test BLKCOMPSTRACE_Logical,
BLKCOMPSCONFIG_Logical,
BLKCOMPSPROPS_Logical
Relational_pos Relational Operator block - positive BLKCOMPS_Relational,
test BLKCOMPSEXP_Relational,
BLKCOMPSTRACE_Relational,
BLKCOMPSCONFIG_Relational,
BLKCOMPSSYSFUNC_Relational,
BLKCOMPSPROPS_Relational
Relational_neg Relational Operator block - negative BLKCOMPSEXP_Relational,

test BLKCOMPSTRACE_Relational,
BLKCOMPSCONFIG_Relational,
BLKCOMPSPROPS_Relational
Bitwise_pos Bitwise Operator block - positive test BLKCOMPS_Bitwise,
BLKCOMPSEXP_Bitwise,
BLKCOMPSTRACE_Bitwise,
BLKCOMPSCONFIG_Bitwise,
BLKCOMPSSYSFUNC_Bitwise,
BLKCOMPSPROPS_Bitwise
Bitwise_neg Bitwise Operator block - negative BLKCOMPSEXP_Bitwise,

test BLKCOMPSTRACE_Bitwise,
BLKCOMPSCONFIG_Bitwise,
BLKCOMPSPROPS_Bitwise
ArithmeticShift_pos Arithmetic Shift block - positive test BLKCOMPS_ArithmeticShift,

BLKCOMPSEXP_ArithmeticShift,
BLKCOMPSTRACE_ArithmeticShift,
BLKCOMPSCONFIG_ArithmeticShift,
BLKCOMPSSYSFUNC_ArithmeticShift,
BLKCOMPSPROPS_ArithmeticShift
ArithmeticShift_neg Arithmetic Shift block - negative test BLKCOMPSEXP_ArithmeticShift,

BLKCOMPSEXP_ArithmeticShift,
BLKCOMPSCONFIG_ArithmeticShift,
BLKCOMPSPROPS_ArithmeticShift
Logical1.slx Logical1.slx (Overall Status, PASSED),
Logical2.slx Logical3.slx (Overall Status, FAILED),

Relational1.slx Relational1.slx (Overall Status, PASSED),

Relational2.slx Relational3.slx (Overall Status, FAILED),

Bitwise1.slx Bitwise1.slx (Overall Status, PASSED),

Bitwise2.slx Bitwise3.slx (Overall Status, FAILED),

ArithmeticShift1.slx ArithmeticShift1.slx (Overall Status, PASSED),

ArithmeticShift2.slx ArithmeticShift3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, and2, FAILED_TO_VERIFY),

(BLOCK, not2, FAILED_TO_VERIFY),
(BLOCK, nand2, FAILED_TO_VERIFY),
(BLOCK, nor2, FAILED_TO_VERIFY)
(BLOCK, equal, FAILED_TO_VERIFY),

(BLOCK, isFinite, FAILED_TO_VERIFY),
(BLOCK, lessequ, FAILED_TO_VERIFY)
(BLOCK, Bitwise_AND, FAILED_TO_VERIFY),

(BLOCK, Bitwise_OR, FAILED_TO_VERIFY),
(BLOCK, Bitwise_NAND, FAILED_TO_VERIFY),
(BLOCK, Bitwise_NOR, FAILED_TO_VERIFY),
(BLOCK, Bitwise_NOT, FAILED_TO_VERIFY),
(BLOCK, Bitwise_XOR, FAILED_TO_VERIFY)
(BLOCK, DialogLeft, FAILED_TO_VERIFY),

(BLOCK, Shift Arithmetic, FAILED_TO_VERIFY),
(BLOCK, Shift Arithmetic new, FAILED_TO_VERIFY),
(BLOCK, DialogRightPositiveZero, FAILED_TO_VERIFY)
Lookuptable_pos Lookup Table block - positive test BLKCOMPS_Lookuptable,

BLKCOMPSEXP_Lookuptable,
BLKCOMPSTRACE_Lookuptable,
BLKCOMPSCONFIG_Lookuptable,
BLKCOMPSSYSFUNC_Lookuptable,
BLKCOMPSPROPS_Lookuptable
Lookuptable_neg Lookup Table block - negative test BLKCOMPSEXP_Lookuptable,

BLKCOMPSTRACE_Lookuptable,
BLKCOMPSCONFIG_Lookuptable,
BLKCOMPSPROPS_Lookuptable
PreLookup_pos PreLookup block - positive test BLKCOMPS_PreLookup,

BLKCOMPSEXP_PreLookup,
BLKCOMPSTRACE_PreLookup,
BLKCOMPSCONFIG_PreLookup,
BLKCOMPSSYSFUNC_PreLookup,
BLKCOMPSPROPS_PreLookup
PreLookup_neg PreLookup block - negative test BLKCOMPSEXP_PreLookup,

BLKCOMPSTRACE_PreLookup,
BLKCOMPSCONFIG_PreLookup,
BLKCOMPSPROPS_PreLookup
InterpolationnD_pos Interpolation Using Prelookup block BLKCOMPS_InterpolationnD,

- positive test BLKCOMPSEXP_InterpolationnD,
BLKCOMPSTRACE_InterpolationnD,
BLKCOMPSCONFIG_InterpolationnD,
BLKCOMPSSYSFUNC_InterpolationnD,
BLKCOMPSPROPS_InterpolationnD
InterpolationnD_neg Interpolation Using Prelookup block BLKCOMPS_InterpolationnD,

- negative test BLKCOMPSEXP_InterpolationnD,
BLKCOMPSTRACE_InterpolationnD,
BLKCOMPSCONFIG_InterpolationnD,
BLKCOMPSPROPS_InterpolationnD
Lookuptable1.slx Lookuptable1.slx (Overall Status, PASSED),
Lookuptable2.slx Lookuptable3.slx (Overall Status, FAILED),

Prelookup1.slx Prelookup1.slx (Overall Status, PASSED),

Prelookup2.slx Prelookup3.slx (Overall Status, FAILED),

InterpolationnD1.slx InterpolationnD1.slx (Overall Status, PASSED),

InterpolationnD2.slx InterpolationnD3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Table1, FAILED_TO_VERIFY),

(BLOCK, Table6, FAILED_TO_VERIFY)
(BLOCK, plook_linx1, FAILED_TO_VERIFY),

(BLOCK, plook_new, FAILED_TO_VERIFY),
(BLOCK, plook_getset, FAILED_TO_VERIFY),
(BLOCK, plook_linc1, FAILED_TO_VERIFY),
(BLOCK, plook_linx, FAILED_TO_VERIFY)
(BLOCK, Interp_new, FAILED_TO_VERIFY),

(BLOCK, TableDataType, FAILED_TO_VERIFY),
(BLOCK, TableDataValue, FAILED_TO_VERIFY),
(BLOCK, SubTableDims, FAILED_TO_VERIFY),
(BLOCK, InterpolationMethod, FAILED_TO_VERIFY)
Sum_pos Sum block - positive test BLKCOMPS_Sum,

BLKCOMPSEXP_Sum,
BLKCOMPSTRACE_Sum,
BLKCOMPSCONFIG_Sum,
BLKCOMPSSYSFUNC_Sum,
BLKCOMPSPROPS_Sum
Sum_neg1 Sum block - negative test 1 BLKCOMPS_Sum,

BLKCOMPSEXP_Sum,
BLKCOMPSTRACE_Sum,
BLKCOMPSCONFIG_Sum,
BLKCOMPSPROPS_Sum
Sum_neg2 Sum block - negative test 2 BLKCOMPSEXP_Sum,
BLKCOMPSTRACE_Sum
Gain_pos Gain block - positive test BLKCOMPS_Gain,

BLKCOMPSEXP_Gain,
BLKCOMPSTRACE_Gain,
BLKCOMPSCONFIG_Gain,
BLKCOMPSSYSFUNC_Gain,
BLKCOMPSPROPS_Gain
Gain_neg1 Gain block - negative test 1 BLKCOMPS_Gain,

BLKCOMPSEXP_Gain,
BLKCOMPSTRACE_Gain,
BLKCOMPSPROPS_Gain
Gain_neg2 Gain block - negative test 2 BLKCOMPSEXP_Gain,
BLKCOMPSTRACE_Gain
Abs_pos Abs block - positive test BLKCOMPS_Abs,

BLKCOMPSEXP_Abs,
BLKCOMPSTRACE_Abs,
BLKCOMPSCONFIG_Abs,
BLKCOMPSSYSFUNC_Abs,
BLKCOMPSPROPS_Abs
Abs_neg Abs block - negative test BLKCOMPSEXP_Abs,

BLKCOMPSTRACE_Abs,
BLKCOMPSCONFIG_Abs,
BLKCOMPSPROPS_Abs
Test Files Expected R
Model Used for Model Used for Code Misc. File Expected Result Summary
Sum1.slx Sum1.slx (Overall Status, PASSED),
Sum2.slx Sum3.slx (Overall Status, FAILED),

Sum4.slx Sum4.slx mSum4.m (Overall Status, FAILED),

Gain1.slx Gain1.slx (Overall Status, PASSED),
Gain2.slx Gain3.slx (Overall Status, FAILED),

Gain4.slx Gain4.slx mGain4.m (Overall Status, FAILED),

Abs1.slx Abs1.slx (Overall Status, PASSED),
Abs2.slx Abs3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, PPFloorNOSat_Int16, FAILED_TO_VERIFY),

(BLOCK, Sum_new, FAILED_TO_VERIFY),
(BLOCK, MPZeroNoSat_Int8, FAILED_TO_VERIFY),
(BLOCK, MPZeroSat_Uint8, FAILED_TO_VERIFY)
(CODE, Sum4.c:28, FAILED_TO_VERIFY)
(BLOCK, Gain_int16, FAILED_TO_VERIFY),

(BLOCK, Gain_new, FAILED_TO_VERIFY),
(BLOCK, Gain_int8, FAILED_TO_VERIFY),
(BLOCK, Gain_uint8, FAILED_TO_VERIFY),
(BLOCK, Gain_uint32, FAILED_TO_VERIFY)
(CODE, Gain4.c:26, FAILED_TO_VERIFY)
(BLOCK, ZeroNOSat, FAILED_TO_VERIFY),

(BLOCK, FloorSat, FAILED_TO_VERIFY),
(BLOCK, ZeroSat, FAILED_TO_VERIFY)
Trigonometry_pos Trigonometry block - positive test BLKCOMPS_Trigonometry,

BLKCOMPSEXP_Trigonometry,
BLKCOMPSTRACE_Trigonometry,
BLKCOMPSCONFIG_Trigonometry,
BLKCOMPSSYSFUNC_Trigonometry,
BLKCOMPSPROPS_Trigonometry
Trigonometry_neg Trigonometry block - negative test BLKCOMPSEXP_Trigonometry,

BLKCOMPSTRACE_Trigonometry,
BLKCOMPSCONFIG_Trigonometry,
BLKCOMPSPROPS_Trigonometry
Rounding_pos Rounding block - positive test BLKCOMPS_Rounding,
BLKCOMPSEXP_Rounding,
BLKCOMPSTRACE_Rounding,
BLKCOMPSCONFIG_Rounding,
BLKCOMPSSYSFUNC_Rounding,
BLKCOMPSPROPS_Rounding
Rounding_neg Rounding block - negative test BLKCOMPSEXP_Rounding,

BLKCOMPSTRACE_Rounding,
BLKCOMPSCONFIG_Rounding,
BLKCOMPSPROPS_Rounding
Math_pos Math Function block - positive test BLKCOMPS_Math,
BLKCOMPSEXP_Math,
BLKCOMPSTRACE_Math,
BLKCOMPSCONFIG_Math,
BLKCOMPSSYSFUNC_Math,
BLKCOMPSPROPS_Math
Math_neg Math Function block - negative test BLKCOMPSEXP_Math,

BLKCOMPSTRACE_Math,
BLKCOMPSPROPS_Math
Minmax_pos Minmax block - positive test BLKCOMPS_Minmax,
BLKCOMPSEXP_Minmax,
BLKCOMPSTRACE_Minmax,
BLKCOMPSCONFIG_Minmax,
BLKCOMPSSYSFUNC_Minmax,
BLKCOMPSPROPS_Minmax
Minmax_neg Minmax block - negative test BLKCOMPSEXP_Minmax,

BLKCOMPSTRACE_Minmax,
BLKCOMPSCONFIG_Minmax,
BLKCOMPSPROPS_Minmax
Test Files Expected R
Trigonometry1.slx Trigonometry1.slx (Overall Status, PASSED),
Trigonometry2.slx Trigonometry3.slx (Overall Status, FAILED),

Rounding1.slx Rounding1.slx (Overall Status, PASSED),

Rounding2.slx Rounding3.slx (Overall Status, FAILED),

Math1.slx Math1.slx (Overall Status, PASSED),

Math2.slx Math3.slx (Overall Status, FAILED),

Minmax1.slx Minmax1.slx (Overall Status, PASSED),

Minmax2.slx Minmax3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Sin, FAILED_TO_VERIFY),

(BLOCK, Asign, FAILED_TO_VERIFY),
(BLOCK, new_Cosh, FAILED_TO_VERIFY)
(BLOCK, Round2, FAILED_TO_VERIFY),

(BLOCK, Round3, FAILED_TO_VERIFY),
(BLOCK, Round5, FAILED_TO_VERIFY)
(BLOCK, recp1, FAILED_TO_VERIFY),

(BLOCK, exp1, FAILED_TO_VERIFY),
(BLOCK, mod1, FAILED_TO_VERIFY)
(BLOCK, MinMax6, FAILED_TO_VERIFY),

(BLOCK, MinMax1, FAILED_TO_VERIFY),
(BLOCK, MinMax3, FAILED_TO_VERIFY)
Product_pos Product block - positive test BLKCOMPS_Product,

BLKCOMPSEXP_Product,
BLKCOMPSTRACE_Product,
BLKCOMPSCONFIG_Product,
BLKCOMPSSYSFUNC_Product,
BLKCOMPSPROPS_Product
Product_neg Product block - negative test BLKCOMPS_Product,

BLKCOMPSEXP_Product,
BLKCOMPSTRACE_Product,
BLKCOMPSCONFIG_Product,
BLKCOMPSPROPS_Product
Reshape_pos Reshape block - positive test BLKCOMPS_Reshape,
BLKCOMPSEXP_Reshape,
BLKCOMPSTRACE_Reshape,
BLKCOMPSCONFIG_Reshape,
BLKCOMPSSYSFUNC_Reshape,
BLKCOMPSPROPS_Reshape
Sign_pos Sign block - positive test BLKCOMPS_Sign,

BLKCOMPSEXP_Sign,
BLKCOMPSTRACE_Sign,
BLKCOMPSCONFIG_Sign,
BLKCOMPSSYSFUNC_Sign,
BLKCOMPSPROPS_Sign
Sign_neg Sign block - negative test BLKCOMPS_Sign,

BLKCOMPSEXP_Sign,
BLKCOMPSTRACE_Sign,
BLKCOMPSPROPS_Sign
Sqrt_pos Sqrt block - positive test BLKCOMPS_Sqrt,
BLKCOMPSEXP_Sqrt,
BLKCOMPSTRACE_Sqrt,
BLKCOMPSCONFIG_Sqrt,
BLKCOMPSSYSFUNC_Sqrt,
BLKCOMPSPROPS_Sqrt
Sqrt_neg Sqrt block - negative test BLKCOMPS_Sqrt,

BLKCOMPSEXP_Sqrt,
BLKCOMPSTRACE_Sqrt,
BLKCOMPSCONFIG_Sqrt,
BLKCOMPSPROPS_Sqrt
MathOperations_pos1 Math Operations blocks - positive BLKCRL_Rounding,
test (C99 Code Replacement BLKCRL_MinMax,
Library) BLKCRL_Abs,
BLKCRL_Sqrt,
BLKCRL_Math
MathOperations_neg1 Math Operations blocks - negative BLKCRL_Rounding,
test (Custom Code Replacement BLKCRL_MinMax,
Library) BLKCRL_Abs,
BLKCRL_Sqrt,
BLKCRL_Math
Product1.slx Product1.slx (Overall Status, PASSED),
Product2.slx Product3.slx (Overall Status, FAILED),

Reshape1.slx Reshape1.slx (Overall Status, PASSED),

Signum1.slx Signum1.slx (Overall Status, PASSED),

Signum2.slx Signum3.slx mSignum2.m (Overall Status, FAILED),

Sqrt1.slx Sqrt1.slx (Overall Status, PASSED),

Sqrt2.slx Sqrt3.slx (Overall Status, FAILED),

MathOperations1_C99 MathOperations1_C99 (Overall Status, PASSED),

CRL.slx CRL.slx (Verification Status, VERIFIED),
MathOperations3_C99 MathOperations4_C89 (Overall Status, FAILED),

CRL.slx CRL.slx (Verification Status, FAILED_TO_VERIFY),
Expected Result
(BLOCK, FloorSat1, FAILED_TO_VERIFY),

(BLOCK, ZeroSat3, FAILED_TO_VERIFY),
(BLOCK, ZeroSat, FAILED_TO_VERIFY),
(BLOCK, ZeroNOSat, FAILED_TO_VERIFY),
(BLOCK, Sign1, FAILED_TO_VERIFY),

(BLOCK, Sign2, FAILED_TO_VERIFY),
(BLOCK, Sign3, FAILED_TO_VERIFY)
(BLOCK, Sqrt2, FAILED_TO_VERIFY),

(BLOCK, Sqrt_new, FAILED_TO_VERIFY)
(BLOCK, log, FAILED_TO_VERIFY),

(BLOCK, Ceil, FAILED_TO_VERIFY),
(BLOCK, MinMax, FAILED_TO_VERIFY),
(BLOCK, Sqrt, FAILED_TO_VERIFY)
MatrixOperations_pos Blocks with Matrix Operations - BLKCOMPSCONFIG_Product,

positive test BLKCOMPSPROPS_Product,
BLKCOMPSPROPS_Math,
BLKCOMPSPROPS_Gain
Assignment_pos Assignment block - positive test BLKCOMPS_Assignment,

BLKCOMPSEXP_Assignment,
BLKCOMPSTRACE_Assignment,
BLKCOMPSCONFIG_Assignment,
BLKCOMPSSYSFUNC_Assignment,
BLKCOMPSPROPS_Assignment
Assignment_neg Assignment block - negative test BLKCOMPS_Assignment,

BLKCOMPSEXP_Assignment,
BLKCOMPSTRACE_Assignment,
BLKCOMPSCONFIG_Assignment,
BLKCOMPSPROPS_Assignment
DotProduct_pos Dot Product block - positive test BLKCOMPS_DotProduct,

BLKCOMPSEXP_DotProduct,
BLKCOMPSTRACE_DotProduct,
BLKCOMPSCONFIG_DotProduct,
BLKCOMPSSYSFUNC_DotProduct,
BLKCOMPSPROPS_DotProduct
DotProduct_neg Dot Product block - negative test BLKCOMPS_DotProduct,

BLKCOMPSEXP_DotProduct,
BLKCOMPSTRACE_DotProduct,
BLKCOMPSPROPS_DotProduct
Polynomial_pos Polynomial block - positive test BLKCOMPS_Polynomial,
BLKCOMPSEXP_Polynomial,
BLKCOMPSTRACE_Polynomial,
BLKCOMPSCONFIG_Polynomial,
BLKCOMPSSYSFUNC_Polynomial,
BLKCOMPSPROPS_Polynomial
Polynomial_neg Polynomial block - negative test BLKCOMPS_Polynomial,

BLKCOMPSEXP_Polynomial,
BLKCOMPSTRACE_Polynomial,
BLKCOMPSCONFIG_Polynomial,
BLKCOMPSPROPS_Polynomial
MatrixOperations1.slx MatrixOperations1.sl (Overall Status, PASSED),
x (Verification Status, VERIFIED),
Assignment1.slx Assignment1.slx (Overall Status, PASSED),

Assignment2.slx Assignment3.slx (Overall Status, FAILED),

DotProduct1.slx DotProduct1.slx (Overall Status, PASSED),

DotProduct2.slx DotProduct3.slx (Overall Status, FAILED),

Polynomial1.slx Polynomial1.slx (Overall Status, PASSED),

Polynomial2.slx Polynomial3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Assignment, FAILED_TO_VERIFY),

(BLOCK, Assignment5, FAILED_TO_VERIFY),
(BLOCK, Assignment_new, FAILED_TO_VERIFY)
(BLOCK, Dot Product1, FAILED_TO_VERIFY),

(BLOCK, Dot Product2, FAILED_TO_VERIFY),
(BLOCK, DotProduct_new, FAILED_TO_VERIFY)
(BLOCK, Polynomial, FAILED_TO_VERIFY),

(BLOCK, Polyval1, FAILED_TO_VERIFY),
(BLOCK, Polynomial_new, FAILED_TO_VERIFY)
UnaryMinus_pos Unary Minus block - positive test BLKCOMPS_UnaryMinus,

BLKCOMPSEXP_UnaryMinus,
BLKCOMPSTRACE_UnaryMinus,
BLKCOMPSCONFIG_UnaryMinus,
BLKCOMPSSYSFUNC_UnaryMinus,
BLKCOMPSPROPS_UnaryMinus
UnaryMinus_neg Unary Minus block - negative test BLKCOMPS_UnaryMinus,

BLKCOMPSEXP_UnaryMinus,
BLKCOMPSTRACE_UnaryMinus,
BLKCOMPSCONFIG_UnaryMinus,
BLKCOMPSPROPS_UnaryMinus
Bias_pos Bias block - positive test BLKCOMPS_Bias,
BLKCOMPSEXP_Bias,
BLKCOMPSTRACE_Bias,
BLKCOMPSCONFIG_Bias,
BLKCOMPSSYSFUNC_Bias,
BLKCOMPSPROPS_Bias
Bias_neg Bias block - negative test BLKCOMPS_Bias,

BLKCOMPSEXP_Bias,
BLKCOMPSTRACE_Bias,
BLKCOMPSCONFIG_Bias,
BLKCOMPSPROPS_Bias
UnaryMinus1.slx UnaryMinus1.slx (Overall Status, PASSED),
UnaryMinus2.slx UnaryMinus3.slx (Overall Status, FAILED),

Bias1.slx Bias1.slx (Overall Status, PASSED),

Bias2.slx Bias3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Unary Minus4, FAILED_TO_VERIFY),

(BLOCK, uminus_new, FAILED_TO_VERIFY)
(BLOCK, Bias4, FAILED_TO_VERIFY),

(BLOCK, Bias_new, FAILED_TO_VERIFY),
(BLOCK, Bias5, FAILED_TO_VERIFY)
Test Case
Test Case ID Test Case Description
Subsystem_pos Subsystem block - positive test
AtomicSubsystem_pos Atomic Subsystem block -

positive test
EnabledSubsystem_pos Enabled Subsystem block -

positive test
EnabledSubsystem_neg Enabled Subsystem block -

negative test
TriggeredSubsystem_pos Triggered Subsystem block -

positive test
TriggeredSubsystem_neg Triggered Subsystem block -

negative test
FunctionCallSubsystem_pos Function-Call Subsystem block -

positive test
FunctionCallSubsystem_neg Function-Call Subsystem block -

negative test
Requirements Test Files
Requirement ID(s) Model Used for Inspection
BLKCOMPS_Subsystem, VirtualSubsystem1.slx
BLKCOMPSEXP_Subsystem,
BLKCOMPSTRACE_Subsystem,
BLKCOMPSCONFIG_Subsystem,
BLKCOMPSSYSFUNC_Subsystem,
BLKCOMPSPROPS_Subsystem
BLKCOMPS_AtomicSubsystem, AtomicSubsystem1.slx
BLKCOMPSEXP_AtomicSubsystem,
BLKCOMPSTRACE_AtomicSubsystem,
BLKCOMPSCONFIG_AtomicSubsystem,
BLKCOMPSSYSFUNC_AtomicSubsystem,
BLKCOMPSPROPS_AtomicSubsystem
BLKCOMPS_EnabledSubsystem, EnabledSubsystem1.slx
BLKCOMPSEXP_EnabledSubsystem,
BLKCOMPSTRACE_EnabledSubsystem,
BLKCOMPSCONFIG_EnabledSubsystem,
BLKCOMPSSYSFUNC_EnabledSubsystem,
BLKCOMPSPROPS_EnabledSubsystem
BLKCOMPS_EnabledSubsystem, EnabledSubsystem2.slx
BLKCOMPSEXP_EnabledSubsystem,
BLKCOMPSTRACE_EnabledSubsystem,
BLKCOMPSCONFIG_EnabledSubsystem,
BLKCOMPSPROPS_EnabledSubsystem
BLKCOMPS_TriggeredSubsystem, TriggeredSubsystem1.slx
BLKCOMPSEXP_TriggeredSubsystem,
BLKCOMPSTRACE_TriggeredSubsystem,
BLKCOMPSCONFIG_TriggeredSubsystem,
BLKCOMPSSYSFUNC_TriggeredSubsystem,
BLKCOMPSPROPS_TriggeredSubsystem
BLKCOMPS_TriggeredSubsystem, TriggeredSubsystem2.slx
BLKCOMPSEXP_TriggeredSubsystem,
BLKCOMPSTRACE_TriggeredSubsystem,
BLKCOMPSCONFIG_TriggeredSubsystem,
BLKCOMPSPROPS_TriggeredSubsystem
BLKCOMPS_FunctionCallSubsystem, FunctioncallSubsystem1.slx,
BLKCOMPSEXP_FunctionCallSubsystem, Fcncallbot1.slx
BLKCOMPSTRACE_FunctionCallSubsystem,
BLKCOMPSCONFIG_FunctionCallSubsystem,
BLKCOMPSSYSFUNC_FunctionCallSubsystem,
BLKCOMPSPROPS_FunctionCallSubsystem
BLKCOMPS_FunctionCallSubsystem, FunctioncallSubsystem2.slx
BLKCOMPSEXP_FunctionCallSubsystem,
BLKCOMPSTRACE_FunctionCallSubsystem,
BLKCOMPSCONFIG_FunctionCallSubsystem,
BLKCOMPSPROPS_FunctionCallSubsystem
Test Files Expecte
Model Used for Code Generation Misc. File Expected Result Summary
VirtualSubsystem1.slx (Overall Status, PASSED),

AtomicSubsystem1.slx (Overall Status, PASSED),

EnabledSubsystem1.slx (Overall Status, PASSED),

EnabledSubsystem3.slx (Overall Status, FAILED),

TriggeredSubsystem1.slx (Overall Status, PASSED),

TriggeredSubsystem3.slx (Overall Status, FAILED),

FunctioncallSubsystem1.slx, (Overall Status, PASSED),

Fcncallbot1.slx (Verification Status, VERIFIED),
FunctioncallSubsystem3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, noenabled/Subsystem/Math Function, FAILED_TO_VERIFY),

(BLOCK, held1/UnitDelay, FAILED_TO_VERIFY),
(BLOCK, Enabled3, FAILED_TO_VERIFY),
(BLOCK, new_enabled, FAILED_TO_VERIFY)
(BLOCK, Either, FAILED_TO_VERIFY),

(BLOCK, Rising, FAILED_TO_VERIFY),
(BLOCK, Falling, FAILED_TO_VERIFY),
(BLOCK, new_Triggered, FAILED_TO_VERIFY),
(BLOCK, TriggerPortType/Trigger, FAILED_TO_VERIFY)
(BLOCK, Fcncall2Trigger, FAILED_TO_VERIFY),

(BLOCK, FcnCallSubsys1/Unit Delay, FAILED_TO_VERIFY),
(BLOCK, FcnCallSubsys2/Constant, FAILED_TO_VERIFY),
(BLOCK, newFcncallOut, UNABLE_TO_PROCESS)
Test Case
IfActionSubsystem_pos If Action Subsystem block -

positive test
IfActionSubsystem_neg If Action Subsystem block -

negative test
SwitchCaseActionSubsystem_pos SwitchCase Action Subsystem

block - positive test
SwitchCaseActionSubsystem_neg SwitchCase Action Subsystem

block - negative test
BLKCOMPS_IfActionSubsystem, IfActionSubsystem1.slx
BLKCOMPSEXP_IfActionSubsystem,
BLKCOMPSTRACE_IfActionSubsystem,
BLKCOMPSCONFIG_IfActionSubsystem,
BLKCOMPSSYSFUNC_IfActionSubsystem,
BLKCOMPSPROPS_IfActionSubsystem
BLKCOMPS_IfActionSubsystem, IfActionSubsystem2.slx
BLKCOMPSEXP_IfActionSubsystem,
BLKCOMPSTRACE_IfActionSubsystem,
BLKCOMPSCONFIG_IfActionSubsystem,
BLKCOMPSPROPS_IfActionSubsystem
BLKCOMPS_SwitchCaseActionSubsystem, SwitchCaseActionSubsystem1.slx
BLKCOMPSEXP_SwitchCaseActionSubsystem,
BLKCOMPSTRACE_SwitchCaseActionSubsystem,
BLKCOMPSCONFIG_SwitchCaseActionSubsystem,
BLKCOMPSSYSFUNC_SwitchCaseActionSubsystem,
BLKCOMPSPROPS_SwitchCaseActionSubsystem
BLKCOMPS_SwitchCaseActionSubsystem, SwitchCaseActionSubsystem2.slx
BLKCOMPSEXP_SwitchCaseActionSubsystem,
BLKCOMPSTRACE_SwitchCaseActionSubsystem,
BLKCOMPSCONFIG_SwitchCaseActionSubsystem,
BLKCOMPSPROPS_SwitchCaseActionSubsystem
Model Used for Code Generation Misc. File Expected Result Summary
IfActionSubsystem1.slx (Overall Status, PASSED),

IfActionSubsystem3.slx (Overall Status, FAILED),

SwitchCaseActionSubsystem1.slx (Overall Status, PASSED),

SwitchCaseActionSubsystem3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, If, FAILED_TO_VERIFY),

(BLOCK, If Action Subsystem2/Gain, FAILED_TO_VERIFY),
(BLOCK, If Action Subsystem/Unit Delay, FAILED_TO_VERIFY),
(BLOCK, If1, FAILED_TO_VERIFY),
(BLOCK, If Action Subsystem5/Unit Delay, FAILED_TO_VERIFY),
(BLOCK, If3, FAILED_TO_VERIFY)
(BLOCK, Switch Case5, FAILED_TO_VERIFY),

(BLOCK, If Action Subsystem5/Unit Delay, FAILED_TO_VERIFY),
(BLOCK, Switch Case, FAILED_TO_VERIFY),
(BLOCK, If Action Subsystem2/Gain, FAILED_TO_VERIFY),
(BLOCK, If Action Subsystem/Unit Delay, FAILED_TO_VERIFY)
Modelreference_pos1 Model Reference block - positive BLKCOMPS_Modelreference,

test 1 (multiple instances) BLKCOMPSEXP_Modelreference,
BLKCOMPSTRACE_Modelreference,
BLKCOMPSCONFIG_Modelreference,
BLKCOMPSSYSFUNC_Modelreference,
BLKCOMPSPROPS_Modelreference

test 2 (multiple instances) BLKCOMPSEXP_Modelreference,
Modelreference_neg Model Reference block - negative BLKCOMPS_Modelreference,

test BLKCOMPSEXP_Modelreference,
BLKCOMPSSYSFUNC_Modelreference
test 3 (2D single instance) BLKCOMPSEXP_Modelreference,
Variants_pos Variant Subsystem and Model BLKCOMPS_Variants,

Variants blocks - positive test BLKCOMPSEXP_Variants,
BLKCOMPSTRACE_Variants,
BLKCOMPSCONFIG_Variants,
BLKCOMPSSYSFUNC_Variants,
BLKCOMPSPROPS_Variants
Variants_neg Variant Subsystem and Model BLKCOMPS_Variants,

Variants blocks - negative test BLKCOMPSEXP_Variants,
BLKCOMPSTRACE_Variants,
BLKCOMPSCONFIG_Variants,
BLKCOMPSPROPS_Variants
Test Files
Model Used for Inspection Model Used for Code Misc. File
Generation
Modelreference1.slx, Modelreference1.slx,
submodel1.slx, submodel1.slx,
submodel2.slx submodel2.slx
Modelreference2.slx Modelreference2.slx
Modelreference3.slx, Modelreference4.slx, mModelreference3.m

submodel3.slx, submodel3.slx,
submodel4.slx submodel4.slx
Modelreference5.slx, Modelreference5.slx,
mEnabled_bot2D.slx, mEnabled_bot2D.slx,
mbusmdlref_sub2D.slx mbusmdlref_sub2D.slx
Variant1.slx, Variant1.slx,
Variant_ref1.slx, Variant_ref1.slx,
Variant_ref3.slx Variant_ref3.slx
Variant2.slx, Variant3.slx,
Variant_ref3.slx Variant_ref3.slx
Expected Result
Expected Result Summary


(Overall Status, FAILED),




Expected Result
(BLOCK, submodel4, FAILED_TO_VERIFY),

(BLOCK, Subsystem/Out1, FAILED_TO_VERIFY),
(BLOCK, submodel3_new, FAILED_TO_VERIFY),
(BLOCK, submodel1, FAILED_TO_VERIFY)
(CODE, Variant2.c:62, UNABLE_TO_PROCESS),

(BLOCK, ModelVariants1, FAILED_TO_VERIFY),
(BLOCK, Variant Subsystem2/Subsystem2/Gain, FAILED_TO_VERIFY)
Test Case
NonReusableSubsystem_pos Non Reusable Subsystem block -

positive test
NonReusableSubsystem_neg1 Non Reusable Subsystem block -

negative test 1
NonReusableSubsystem_neg2 Non Reusable Subsystem block -

negative test 2
ForEachSubsystem_pos For Each Subsystem block - positive

test
ForEachSubsystem_neg For Each Subsystem block -

negative test
ForIteratorSubsystem_pos For Iterator Subsystem block -

positive test
ForIteratorSubsystem_neg For Iterator Subsystem block -
negative test
BLKCOMPS_NonReusableSubsystem, NonReusableSubsystem1.slx
BLKCOMPSEXP_NonReusableSubsystem,
BLKCOMPSTRACE_NonReusableSubsystem,
BLKCOMPSCONFIG_NonReusableSubsystem,
BLKCOMPSSYSFUNC_NonReusableSubsystem,
BLKCOMPSPROPS_NonReusableSubsystem
BLKCOMPS_ForEachSubsystem, ForEachSubsystem1.slx
BLKCOMPSEXP_ForEachSubsystem,
BLKCOMPSTRACE_ForEachSubsystem,
BLKCOMPSCONFIG_ForEachSubsystem,
BLKCOMPSSYSFUNC_ForEachSubsystem,
BLKCOMPSPROPS_ForEachSubsystem
BLKCOMPS_ForEachSubsystem, ForEachSubsystem2.slx
BLKCOMPSEXP_ForEachSubsystem,
BLKCOMPSTRACE_ForEachSubsystem,
BLKCOMPSCONFIG_ForEachSubsystem,
BLKCOMPSPROPS_ForEachSubsystem
BLKCOMPS_ForIteratorSubsystem, ForIteratorSubsystem1.slx
BLKCOMPSEXP_ForIteratorSubsystem,
BLKCOMPSTRACE_ForIteratorSubsystem,
BLKCOMPSCONFIG_ForIteratorSubsystem,
BLKCOMPSSYSFUNC_ForIteratorSubsystem,
BLKCOMPSPROPS_ForIteratorSubsystem
BLKCOMPS_ForIteratorSubsystem, ForIteratorSubsystem2.slx
BLKCOMPSEXP_ForIteratorSubsystem,
BLKCOMPSTRACE_ForIteratorSubsystem,
BLKCOMPSCONFIG_ForIteratorSubsystem,
BLKCOMPSPROPS_ForIteratorSubsystem
Generation
NonReusableSubsystem1.slx (Overall Status, PASSED),
NonReusableSubsystem3.slx (Overall Status, FAILED),

NonReusableSubsystem5.slx (Overall Status, FAILED),

ForEachSubsystem1.slx (Overall Status, PASSED),

ForEachSubsystem3.slx (Overall Status, FAILED),

ForIteratorSubsystem1.slx (Overall Status, PASSED),

ForIteratorSubsystem3.slx (Overall Status, FAILED),
Expected Result
(BLOCK, minus2, FAILED_TO_VERIFY),

(BLOCK, plus2, FAILED_TO_VERIFY),
(BLOCK, missingfcn, FAILED_TO_VERIFY),
(BLOCK, fcnpackaging, FAILED_TO_VERIFY),
(BLOCK, missingfcn, FAILED_TO_VERIFY),
(BLOCK, Subsystem1, FAILED_TO_VERIFY),
(BLOCK, first, FAILED_TO_VERIFY),
(BLOCK, second, FAILED_TO_VERIFY),
(BLOCK, fcnpackaging2, FAILED_TO_VERIFY)
(BLOCK, fcss1/Gain, FAILED_TO_VERIFY),

(BLOCK, sub5, FAILED_TO_VERIFY),
(BLOCK, dims/Gain, FAILED_TO_VERIFY),
(BLOCK, sub2, FAILED_TO_VERIFY),
(BLOCK, datatype, FAILED_TO_VERIFY)
(BLOCK, InputPartition, FAILED_TO_VERIFY),

(BLOCK, InputPartition/ForEach, FAILED_TO_VERIFY),
(BLOCK, InputPartition2/Subsystem1, FAILED_TO_VERIFY),
(BLOCK, InputPartition2/Subsystem1/For Each, FAILED_TO_VERIFY),
(BLOCK, OutputConcatDims, FAILED_TO_VERIFY),
(BLOCK, OutputConcatDims/ForEach, FAILED_TO_VERIFY),
(BLOCK, ParamPartition/S1/Subsystem/Gain, FAILED_TO_VERIFY),
(BLOCK, PartitionDimension, FAILED_TO_VERIFY),
(BLOCK, PartitionDimension/ForEach, FAILED_TO_VERIFY),
(BLOCK, ForEach1, FAILED_TO_VERIFY),
(BLOCK, ForEach1/sqrt, FAILED_TO_VERIFY),
(BLOCK, ForEach2/sqr, FAILED_TO_VERIFY)
(BLOCK, ForIterator1, FAILED_TO_VERIFY),
(BLOCK, ForIterator1/ForIterator_new, FAILED_TO_VERIFY),
(BLOCK, ForIterator2/Subsystem1, FAILED_TO_VERIFY),
(BLOCK, IndexMode, FAILED_TO_VERIFY),
(BLOCK, IndexMode/ForIterator, FAILED_TO_VERIFY),
(BLOCK, IterLimit, FAILED_TO_VERIFY),
(BLOCK, IterLimit/Assignment/Assignment1, FAILED_TO_VERIFY),
(BLOCK, NextI, FAILED_TO_VERIFY),
(BLOCK, NextI/ForIterator, FAILED_TO_VERIFY)
DatatypeConv_pos Data Type Conversion block - BLKCOMPS_DatatypeConv,

positive test BLKCOMPSEXP_DatatypeConv,
BLKCOMPSTRACE_DatatypeConv,
BLKCOMPSCONFIG_DatatypeConv,
BLKCOMPSSYSFUNC_DatatypeConv,
BLKCOMPSPROPS_DatatypeConv
DatatypeConv_neg Data Type Conversion block - BLKCOMPS_DatatypeConv,

negative test BLKCOMPSEXP_DatatypeConv,
BLKCOMPSTRACE_DatatypeConv,
BLKCOMPSCONFIG_DatatypeConv,
BLKCOMPSPROPS_DatatypeConv
Datatypeduplicate_pos Data Type Duplicate block - BLKCOMPS_Datatypeduplicate,
positive test BLKCOMPSEXP_Datatypeduplicate,
BLKCOMPSTRACE_Datatypeduplicate,
BLKCOMPSCONFIG_Datatypeduplicate,
BLKCOMPSSYSFUNC_Datatypeduplicate,
BLKCOMPSPROPS_Datatypeduplicate
Signalconversion_pos Signal Conversion block - BLKCOMPS_Signalconversion,

positive test BLKCOMPSEXP_Signalconversion,
BLKCOMPSTRACE_Signalconversion,
BLKCOMPSCONFIG_Signalconversion,
BLKCOMPSSYSFUNC_Signalconversion,
BLKCOMPSPROPS_Signalconversion
DataTypePropagation_pos Data Type Propagation block - BLKCOMPS_DataTypePropagation,

positive test BLKCOMPSEXP_DataTypePropagation,
BLKCOMPSTRACE_DataTypePropagation,
BLKCOMPSCONFIG_DataTypePropagation,
BLKCOMPSSYSFUNC_DataTypePropagation,
BLKCOMPSPROPS_DataTypePropagation
SignalSpecification_pos Signal Specification block - BLKCOMPS_SignalSpecification,

positive test BLKCOMPSEXP_SignalSpecification,
BLKCOMPSTRACE_SignalSpecification,
BLKCOMPSCONFIG_SignalSpecification,
BLKCOMPSSYSFUNC_SignalSpecification,
BLKCOMPSPROPS_SignalSpecification
Probe_pos Probe block - positive test BLKCOMPS_Probe,

BLKCOMPSEXP_Probe,
BLKCOMPSTRACE_Probe,
BLKCOMPSCONFIG_Probe,
BLKCOMPSSYSFUNC_Probe,
BLKCOMPSPROPS_Probe
Probe_neg Probe block - negative test BLKCOMPS_Probe,

BLKCOMPSEXP_Probe,
BLKCOMPSTRACE_Probe,
BLKCOMPSCONFIG_Probe,
BLKCOMPSPROPS_Probe
Test Files
Datatypeconversion1.slx Datatypeconversion1.slx
Datatypeconversion2.slx Datatypeconversion3.slx
Datatypeduplicate1.slx Datatypeduplicate1.slx
Signalconversion1.slx Signalconversion1.slx
DataTypePropagation1.slx DataTypePropagation1.slx
SignalSpecification1.slx SignalSpecification1.slx
Probe1.slx Probe1.slx
Probe2.slx Probe3.slx
Expected Result

(Overall Status, FAILED), (BLOCK, Datatype1, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Datatype2, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Datatype3, FAILED_TO_VERIFY),
(BLOCK, Datatype4, FAILED_TO_VERIFY)





(Overall Status, FAILED), (BLOCK, Rand5, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Probe5, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Probe6, FAILED_TO_VERIFY),
(BLOCK, Probe4, FAILED_TO_VERIFY),
(BLOCK, Probe1, FAILED_TO_VERIFY)
Width_pos Width block - positive test BLKCOMPS_Width,

BLKCOMPSEXP_Width,
BLKCOMPSTRACE_Width,
BLKCOMPSCONFIG_Width,
BLKCOMPSSYSFUNC_Width,
BLKCOMPSPROPS_Width
Width_neg Width block - negative test BLKCOMPS_Width,

BLKCOMPSEXP_Width,
BLKCOMPSTRACE_Width,
BLKCOMPSCONFIG_Width,
BLKCOMPSPROPS_Width
RateTransition_pos Rate Transition block - positive BLKCOMPS_RateTransition,
test BLKCOMPSEXP_RateTransition,
BLKCOMPSTRACE_RateTransition,
BLKCOMPSCONFIG_RateTransition,
BLKCOMPSSYSFUNC_RateTransition,
BLKCOMPSPROPS_RateTransition,
BLKMULTIRATE
RateTransition_neg Rate Transition block - negative BLKCOMPS_RateTransition,

test BLKCOMPSEXP_RateTransition,
BLKCOMPSTRACE_RateTransition,
BLKCOMPSCONFIG_RateTransition,
BLKCOMPSPROPS_RateTransition,
BLKMULTIRATE
UnitConversion_pos Unit Conversion block - positive BLKCOMPS_UnitConversion,

test BLKCOMPSEXP_UnitConversion,
BLKCOMPSTRACE_UnitConversion,
BLKCOMPSCONFIG_UnitConversion,
BLKCOMPSSYSFUNC_UnitConversion,
BLKCOMPSPROPS_UnitConversion
UnitConversion_neg Unit Conversion block - negative BLKCOMPS_UnitConversion,

test BLKCOMPSEXP_UnitConversion,
BLKCOMPSTRACE_UnitConversion,
BLKCOMPSCONFIG_UnitConversion,
BLKCOMPSPROPS_UnitConversion
InitialCondition_pos Initial Condition block - positive BLKCOMPS_InitialCondition,
test BLKCOMPSEXP_InitialCondition,
BLKCOMPSTRACE_InitialCondition,
BLKCOMPSCONFIG_InitialCondition,
BLKCOMPSSYSFUNC_InitialCondition,
BLKCOMPSPROPS_InitialCondition
InitialCondition_neg Initial Condition block - negative BLKCOMPS_InitialCondition,

test BLKCOMPSEXP_InitialCondition,
BLKCOMPSTRACE_InitialCondition,
BLKCOMPSCONFIG_InitialCondition,
BLKCOMPSPROPS_InitialCondition
Test Files
Width1.slx Width1.slx
Width2.slx Width3.slx
RateTransition1.slx RateTransition1.slx
RateTransition2.slx RateTransition3.slx
UnitConversion1.slx UnitConversion1.slx
UnitConversion2.slx UnitConversion3.slx
InitialCondition1.slx InitialCondition1.slx
InitialCondition2.slx InitialCondition3.slx
Expected Result

(Overall Status, FAILED), (BLOCK, Width1, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Width3, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Width4, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, Deterministic, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, OutSampTime, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, RTIC, FAILED_TO_VERIFY),
(BLOCK, RTNew, FAILED_TO_VERIFY),
(BLOCK, RTDataType, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, UnitConv_new, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Gain, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, UnitConv_swap, FAILED_TO_VERIFY),
(BLOCK, UnitConv_type, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, InitCond_new, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, InitCond_val, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Out_noIC, FAILED_TO_VERIFY),
(BLOCK, IC_Dim, FAILED_TO_VERIFY)
Switch_pos Switch block - positive test BLKCOMPS_Switch,

BLKCOMPSEXP_Switch,
BLKCOMPSTRACE_Switch,
BLKCOMPSCONFIG_Switch,
BLKCOMPSSYSFUNC_Switch,
BLKCOMPSPROPS_Switch
Switch_neg Switch block - negative test BLKCOMPSEXP_Switch,

BLKCOMPSTRACE_Switch,
BLKCOMPSCONFIG_Switch,
BLKCOMPSPROPS_Switch
Multiportswitch_pos Multiport Switch block - positive test BLKCOMPS_Multiportswitch,
BLKCOMPSEXP_Multiportswitch,
BLKCOMPSTRACE_Multiportswitch,
BLKCOMPSCONFIG_Multiportswitch,
BLKCOMPSSYSFUNC_Multiportswitch,
BLKCOMPSPROPS_Multiportswitch
Multiportswitch_neg Multiport Switch block - negative BLKCOMPSEXP_Multiportswitch,

test BLKCOMPSTRACE_Multiportswitch,
BLKCOMPSCONFIG_Multiportswitch,
BLKCOMPSPROPS_Multiportswitch
Datastore_pos Datastore blocks - positive test BLKCOMPS_Datastore,

BLKCOMPSEXP_Datastore,
BLKCOMPSTRACE_Datastore,
BLKCOMPSCONFIG_Datastore,
BLKCOMPSSYSFUNC_Datastore,
BLKCOMPSPROPS_Datastore
Datastore_neg Datastore blocks - negative test BLKCOMPS_Datastore,

BLKCOMPSEXP_Datastore,
BLKCOMPSTRACE_Datastore,
BLKCOMPSCONFIG_Datastore,
BLKCOMPSPROPS_Datastore
Bus_pos Bus Creator/Selector blocks - BLKCOMPS_Bus,

positive test BLKCOMPSEXP_Bus,
BLKCOMPSTRACE_Bus,
BLKCOMPSCONFIG_Bus,
BLKCOMPSSYSFUNC_Bus,
BLKCOMPSPROPS_Bus
Bus_neg Bus Creator/Selector blocks - BLKCOMPS_Bus,

negative test BLKCOMPSEXP_Bus,
BLKCOMPSTRACE_Bus,
BLKCOMPSCONFIG_Bus,
BLKCOMPSPROPS_Bus
Switch1.slx Switch1.slx (Overall Status, PASSED),
Switch2.slx Switch3.slx (Overall Status, FAILED),

Multiportswitch1.slx Multiportswitch1.slx (Overall Status, PASSED),

Multiportswitch2.slx Multiportswitch3.slx (Overall Status, FAILED),

Datastore1.slx Datastore1.slx (Overall Status, PASSED),

Datastore2.slx Datastore3.slx (Overall Status, FAILED),

Bus1.slx Bus1.slx (Overall Status, PASSED),

Bus2.slx Bus3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Switch1, FAILED_TO_VERIFY),

(BLOCK, Switch5, FAILED_TO_VERIFY)
(BLOCK, MultiportSwitch1, FAILED_TO_VERIFY),

(BLOCK, OneBased, FAILED_TO_VERIFY),
(BLOCK, explicitindices, FAILED_TO_VERIFY),
(BLOCK, ZeroBased1, FAILED_TO_VERIFY),
(BLOCK, OneBased1, UNABLE_TO_PROCESS)
(BLOCK, DSR1, FAILED_TO_VERIFY),

(BLOCK, DSW6, FAILED_TO_VERIFY),
(BLOCK, Double_z0_1, FAILED_TO_VERIFY),
(CODE, Datastore2.c:92, FAILED_TO_VERIFY)
(BLOCK, BusCreator, FAILED_TO_VERIFY),

(BLOCK, BusCreator4, UNABLE_TO_PROCESS),
(CODE, Bus2.c:59, FAILED_TO_VERIFY),
(CODE, Bus2.c:60, FAILED_TO_VERIFY),
(BLOCK, Data Type Conversion, FAILED_TO_VERIFY)
VirtualBus_pos Bus Creator/Selector/Assignment BLKCOMPS_VirtualBus,

blocks - positive test BLKCOMPSEXP_VirtualBus,
BLKCOMPSTRACE_VirtualBus,
BLKCOMPSCONFIG_VirtualBus,
BLKCOMPSSYSFUNC_VirtualBus,
BLKCOMPSPROPS_VirtualBus
MuxDemux_pos Mux Demux blocks - positive test BLKCOMPS_MuxDemux,

BLKCOMPSEXP_MuxDemux,
BLKCOMPSTRACE_MuxDemux,
BLKCOMPSCONFIG_MuxDemux,
BLKCOMPSSYSFUNC_MuxDemux,
BLKCOMPSPROPS_MuxDemux
GotoFrom_pos Goto/From blocks - positive test BLKCOMPS_GotoFrom,

BLKCOMPSEXP_GotoFrom,
BLKCOMPSTRACE_GotoFrom,
BLKCOMPSCONFIG_GotoFrom,
BLKCOMPSSYSFUNC_GotoFrom,
BLKCOMPSPROPS_GotoFrom
Selector_pos Selector block - positive test BLKCOMPS_Selector,

BLKCOMPSEXP_Selector,
BLKCOMPSTRACE_Selector,
BLKCOMPSCONFIG_Selector,
BLKCOMPSSYSFUNC_Selector,
BLKCOMPSPROPS_Selector
Selector_neg Selector block - negative test BLKCOMPS_Selector,

BLKCOMPSEXP_Selector,
BLKCOMPSTRACE_Selector,
BLKCOMPSCONFIG_Selector,
BLKCOMPSPROPS_Selector
Concatenate_pos Concatenate block - positive test BLKCOMPS_Concatenate,
BLKCOMPSEXP_Concatenate,
BLKCOMPSTRACE_Concatenate,
BLKCOMPSCONFIG_Concatenate,
BLKCOMPSSYSFUNC_Concatenate,
BLKCOMPSPROPS_Concatenate
Concatenate_neg Concatenate block - negative test BLKCOMPSEXP_Concatenate,

BLKCOMPSTRACE_Concatenate,
BLKCOMPSCONFIG_Concatenate,
BLKCOMPSPROPS_Concatenate
Merge_pos Merge block - positive test BLKCOMPS_Merge,

BLKCOMPSEXP_Merge,
BLKCOMPSTRACE_Merge,
BLKCOMPSCONFIG_Merge,
BLKCOMPSSYSFUNC_Merge,
BLKCOMPSPROPS_Merge
Merge_neg Merge block - negative test BLKCOMPS_Merge,
BLKCOMPSEXP_Merge,
BLKCOMPSTRACE_Merge,
BLKCOMPSCONFIG_Merge,
BLKCOMPSPROPS_Merge
VirtualBus1.slx VirtualBus1.slx (Overall Status, PASSED),
MuxDemux1.slx MuxDemux1.slx (Overall Status, PASSED),

GotoFrom1.slx GotoFrom1.slx (Overall Status, PASSED),

Selector1.slx Selector1.slx (Overall Status, PASSED),

Selector2.slx Selector3.slx (Overall Status, FAILED),

Concatenate1.slx Concatenate1.slx (Overall Status, PASSED),

Concatenate2.slx Concatenate3.slx (Overall Status, FAILED),

Merge1.slx Merge1.slx (Overall Status, PASSED),

Merge2.slx Merge3.slx (Overall Status, FAILED),
Expected Result
(BLOCK, Selector1, FAILED_TO_VERIFY),

(BLOCK, Selector_new, FAILED_TO_VERIFY)
(BLOCK, Concatenate, FAILED_TO_VERIFY),

(BLOCK, Concatenate1, FAILED_TO_VERIFY),
(BLOCK, Output4, FAILED_TO_VERIFY)
(BLOCK, Merge, FAILED_TO_VERIFY),
(BLOCK, Merge1, FAILED_TO_VERIFY),
(BLOCK, Merge2, FAILED_TO_VERIFY)
Outport_pos Outport block - positive test BLKCOMPS_Outport,

BLKCOMPSEXP_Outport,
BLKCOMPSTRACE_Outport,
BLKCOMPSCONFIG_Outport,
BLKCOMPSSYSFUNC_Outport,
BLKCOMPSPROPS_Outport
Outport_neg Outport block - negative test BLKCOMPSEXP_Outport,

BLKCOMPSTRACE_Outport,
BLKCOMPSCONFIG_Outport,
BLKCOMPSPROPS_Outport
Terminate_pos Terminate block - positive test BLKCOMPS_Terminate,
BLKCOMPSEXP_Terminate,
BLKCOMPSTRACE_Terminate,
BLKCOMPSCONFIG_Terminate,
BLKCOMPSSYSFUNC_Terminate,
BLKCOMPSPROPS_Terminate
Outport1.slx Outport1.slx (Overall Status, PASSED),
Outport2.slx Outport3.slx (Overall Status, FAILED),

Terminate1.slx Terminate1.slx (Overall Status, PASSED),

Expected Result

(BLOCK, Out3, UNABLE_TO_PROCESS)
Ground_pos Ground block - positive test BLKCOMPS_Ground,

BLKCOMPSEXP_Ground,
BLKCOMPSTRACE_Ground,
BLKCOMPSCONFIG_Ground,
BLKCOMPSSYSFUNC_Ground,
BLKCOMPSPROPS_Ground
Ground_neg Ground block - negative test BLKCOMPSTRACE_Ground,

BLKCOMPSCONFIG_Ground
Inport_pos Inport block - positive test BLKCOMPS_Inport,

BLKCOMPSEXP_Inport,
BLKCOMPSTRACE_Inport,
BLKCOMPSCONFIG_Inport,
BLKCOMPSSYSFUNC_Inport,
BLKCOMPSPROPS_Inport
Constant_pos Constant block - positive test BLKCOMPS_Constant,

BLKCOMPSEXP_Constant,
BLKCOMPSTRACE_Constant,
BLKCOMPSCONFIG_Constant,
BLKCOMPSSYSFUNC_Constant,
BLKCOMPSPROPS_Constant
Constant_neg Constant block - negative test BLKCOMPSEXP_Constant,

BLKCOMPSTRACE_Constant,
BLKCOMPSCONFIG_Constant,
BLKCOMPSPROPS_Constant
Ground1.slx Ground1.slx (Overall Status, PASSED),
Ground2.slx Ground3.slx mGround2.m (Overall Status, FAILED),

Inport1.slx Inport1.slx (Overall Status, PASSED),
Constant1.slx Constant1.slx (Overall Status, PASSED),

Constant2.slx Constant3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, Ground, FAILED_TO_VERIFY)
(BLOCK, Constant, FAILED_TO_VERIFY),

(BLOCK, input1, UNABLE_TO_PROCESS),
(BLOCK, value, FAILED_TO_VERIFY)
Sfunction_pos S-function block - positive test BLKCOMPS_Sfunction,

BLKCOMPSEXP_Sfunction,
BLKCOMPSTRACE_Sfunction,
BLKCOMPSCONFIG_Sfunction,
BLKCOMPSSYSFUNC_Sfunction,
BLKCOMPSPROPS_Sfunction
Sfunction_neg S-function block - negative test BLKCOMPS_Sfunction,

BLKCOMPSEXP_Sfunction,
BLKCOMPSTRACE_Sfunction,
BLKCOMPSCONFIG_Sfunction,
BLKCOMPSPROPS_Sfunction
Sfunction1.slx Sfunction1.slx (Overall Status, PASSED),
Sfunction2.slx Sfunction3.slx (Overall Status, FAILED),

Expected Result
(BLOCK, sfun_memory_bus, FAILED_TO_VERIFY),

(BLOCK, sfun_mixedoutputs, FAILED_TO_VERIFY),
(BLOCK, sfun_parameters2, FAILED_TO_VERIFY)
Test Case Requirements Test Files
Inspection
Stateflow_pos1 Stateflow block - positive test SFFLOWGRAPH, Stateflow1.slx
SFTRANSITION,
SFJUNCTION,
SFDATA,
SFEVENT
Stateflow_neg1 Stateflow block - negative test SFFLOWGRAPH, Stateflow2.slx
SFTRANSITION,
SFJUNCTION,
SFDATA,
SFEVENT
Stateflow_pos2 Stateflow block with parameter, data SFFLOWGRAPH, Stateflow4.slx

store and local data - positive test SFTRANSITION,
SFJUNCTION,
SFDATA
Stateflow_neg2 Stateflow block - negative test (data SFTRANSITION, Stateflow6.slx
usage) SFDATA
Generation
Stateflow1.slx (Overall Status, PASSED),
Stateflow3.slx (Overall Status, FAILED),

Stateflow4.slx (Overall Status, PASSED),

Stateflow7.slx (Overall Status, FAILED),

Expected Result
(SFBLOCK, OutputData:91, FAILED_TO_VERIFY),

(SFBLOCK, OutputData:97, FAILED_TO_VERIFY),
(SFBLOCK, Out18, FAILED_TO_VERIFY),
(SFBLOCK, JunctionOrder:92, FAILED_TO_VERIFY),
(SFBLOCK, JunctionOrder:104, FAILED_TO_VERIFY),
(SFBLOCK, TransitionOperation:3, FAILED_TO_VERIFY),
(SFBLOCK, FunctionPackaging, FAILED_TO_VERIFY),
(SFBLOCK, DefaultTransition, FAILED_TO_VERIFY)
(SFBLOCK, Chart:11, FAILED_TO_VERIFY),

(SFBLOCK, MathOps:90, FAILED_TO_VERIFY),
(SFBLOCK, Subsystem2/C-BitOpsDisabled:90, FAILED_TO_VERIFY),
(SFBLOCK, Subsystem2/C-BitOpsDisabled:183, FAILED_TO_VERIFY)
Inspection
Stateflow_pos3 Stateflow block with parameter, data SFFLOWGRAPH, Stateflow5.slx,
store and local vector data - positive SFTRANSITION, Stateflow5_ref.slx
test SFJUNCTION,
SFDATA
Stateflow_pos4 Stateflow block with states - positive SFSTATES, StateflowStates2.slx
test SFFLOWGRAPH,
SFTRANSITION,
SFJUNCTION,
SFDATA,
SFEVENT
Stateflow_neg3 Stateflow block with states - SFSTATES StateflowStates3.slx

negative test
Generation
Stateflow5.slx, (Overall Status, PASSED),
Stateflow5_ref.slx (Verification Status, VERIFIED),
StateflowStates2.slx (Overall Status, PASSED),

StateflowStates4.slx (Overall Status, FAILED),

Expected Result
(SFBLOCK, SuperInner:124, FAILED_TO_VERIFY),

(SFBLOCK, Subchart:26, FAILED_TO_VERIFY),
(SFBLOCK, Subchart:19, FAILED_TO_VERIFY),
(SFBLOCK, Vending_Machine:2, FAILED_TO_VERIFY),
(SFBLOCK, Vending_Machine:3, FAILED_TO_VERIFY),
(SFBLOCK, Chart:2, FAILED_TO_VERIFY)
Stateflow_pos5 Stateflow block with states and SFSLFUNC,

Simulink functions - positive test SFSTATES,
SFFLOWGRAPH,
SFTRANSITION,
SFJUNCTION,
SFDATA
Stateflow_neg4 Stateflow block with Simulink SFSLFUNC

functions - negative test
Stateflow_pos6 Stateflow block with Graphical SFGRAPHFUNC

functions - positive test
Stateflow_neg5 Stateflow block with Graphical SFGRAPHFUNC

Test Files
Generation
StateflowStates1.slx, StateflowStates1.slx,
StateflowStates1_ref.slx StateflowStates1_ref.slx
StateflowSimulinkFcn1.slx StateflowSimulinkFcn2.slx
StateflowGraphicalFcn1.slx StateflowGraphicalFcn1.slx
StateflowLibrary.slx StateflowLibrary.slx
StateflowGraphicalFcn2.slx StateflowGraphicalFcn3.slx
Expected Result



Expected Result
(SFBLOCK, Chart1:8, FAILED_TO_VERIFY),

(BLOCK, Chart1/A.foo1/Sum, FAILED_TO_VERIFY),
(BLOCK, Subsystem/Chart3/X.A.sl1/Polynomial, FAILED_TO_VERIFY),
(BLOCK, Chart2/A.foo1/Sqrt, FAILED_TO_VERIFY),
(SFBLOCK, Subsys/Extra:109, FAILED_TO_VERIFY),
(SFBLOCK, Chart3:153, FAILED_TO_VERIFY)
(SFBLOCK,GFDataType:12, FAILED_TO_VERIFY),
(SFBLOCK, GFInlineOption:85, FAILED_TO_VERIFY),
(SFBLOCK, GFInlineOption:95, FAILED_TO_VERIFY),
(SFBLOCK, GFNumInputs:37, FAILED_TO_VERIFY),
(SFBLOCK, ModifyGF:104, FAILED_TO_VERIFY),
(SFBLOCK, CommentGFCall:8, FAILED_TO_VERIFY),
(SFBLOCK, CommentGFCall:34, UNABLE_TO_PROCESS),
(SFBLOCK, Subsys/Extra:80, FAILED_TO_VERIFY), (SFBLOCK,
Subsys/Extra:83, FAILED_TO_VERIFY),
Stateflow_pos7 Stateflow block with Truth Tables - SFTRUTH TABLE

positive test
Stateflow_neg6 Stateflow block with Truth Tables - SFTRUTH TABLE

negative test
Stateflow_pos8 Stateflow chart with for loop - SFFLOWGRAPH,

positive test SFTRANSITION,
SFJUNCTION,
SFSTATES,
SFDATA,
SFGRAPHFUNC
Stateflow_neg7 Stateflow chart with for loop - SFFLOWGRAPH,

negative test SFTRANSITION,
SFGRAPHFUNC
Test Files
Generation
StateflowTruthTable1.slx, StateflowTruthTable1.slx,
StateflowLibrary.slx StateflowLibrary.slx
StateflowTruthTable2.slx StateflowTruthTable3.slx
StateflowForLoop1.slx StateflowForLoop1.slx
StateflowForLoop2.slx StateflowForLoop3.slx
Expected Result



Expected Result
(SFBLOCK, Inline:122, FAILED_TO_VERIFY),

(BLOCK, TTVector, FAILED_TO_VERIFY),
(SFBLOCK, TTVector:495, FAILED_TO_VERIFY),
(SFBLOCK, TTable:238, FAILED_TO_VERIFY),

MATLABFcn_pos1 MATLAB Function block - positive test MLFUNCFLOW,

MLFUNCDATA,
MLFUNCOPER
MATLABFcn_neg1 MATLAB Function block execution order MLFUNCFLOW,
and execution paths - negative test MLFUNCDATA,
MLFUNCOPER,
BLKCOMPSCONFIG

MLFUNCDATA,
MLFUNCOPER,
MLFUNUSER
MATLABFcn_neg2 MATLAB Function block user-written MLFUNUSER

MLFUNCDATA,
MLFUNCOPER,
MLFUNUSER
MATLABFcn_neg3 MATLAB Function block operators - MLFUNCOPER
negative test

negative test
MATLABFcn_neg5 MATLAB Function block execution order MLFUNCFLOW

and execution paths - negative test
Test Files
Generation
MatlabFcn1.slx MatlabFcn1.slx
Expected Result

(Overall Status, FAILED), (BLOCK, Operator1, FAILED_TO_VERIFY),
(Verification Status, FAILED_TO_VERIFY), (BLOCK, Operator2, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Flow, FAILED_TO_VERIFY),
(BLOCK, MATLABFcn2, FAILED_TO_VERIFY),
(BLOCK, y, FAILED_TO_VERIFY),
(BLOCK, y8, UNABLE_TO_PROCESS),
(BLOCK, Data, FAILED_TO_VERIFY),
(BLOCK, bool, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, Index, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Operator, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, Order, FAILED_TO_VERIFY),
(Overall Status, FAILED), (BLOCK, MatrixMultiplication, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, BusSelection, FAILED_TO_VERIFY)

(Overall Status, FAILED), (BLOCK, SwitchCase, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Out38, FAILED_TO_VERIFY)

negative test

negative test

(explicit cast and assert) MLFUNCDATA,
MLFUNCOPER,
MLFUNUSER
MATLABFcn_neg8 MATLAB Function block operators - MLFUNCOPER,
negative test (explicit cast) MLFUNUSER

(persistent data, FOR loop) MLFUNCDATA,
MLFUNCOPER
(Code replacement libraries) MLFUNCDATA,
MLFUNCOPER,
MLFUNUSER
(shared utilities) MLFUNCDATA,
MLFUNCOPER,
MLFUNUSER
MATLABFcn_neg9 MATLAB Function block - negative test MLFUNCOPER,
(persistent data, FOR loop) MLFUNUSER
Test Files
Generation
Expected Result
(Overall Status, FAILED), (BLOCK, BuiltIn_ModelWS, FAILED_TO_VERIFY),

(Overall Status, FAILED), (BLOCK, Trigonometric, FAILED_TO_VERIFY),


(Overall Status, FAILED), (BLOCK, Cast, FAILED_TO_VERIFY),



(Overall Status, FAILED), (BLOCK, For, FAILED_TO_VERIFY),

(Verification Status, FAILED_TO_VERIFY), (BLOCK, Out13, FAILED_TO_VERIFY),
(Traceability Status, FAILED_TO_TRACE) (BLOCK, For1, FAILED_TO_VERIFY),
(BLOCK, ML for, FAILED_TO_VERIFY),
(BLOCK, Persistent, FAILED_TO_VERIFY),
(BLOCK, Persistent1, FAILED_TO_VERIFY)
Test Case Requirements Test F
Inspection
BlockData_pos Block connectivity and Execution BLKDATADEPEND, Blockconn1.slx
Order - positive test BLKDATADEFUSE,
BLKINPUT,
BLKINDEX,
BLKEXEORDER
BlockDataDep_neg Block connectivity and Execution BLKDATADEPEND Blockdatadep1.slx
Order - negative test 1
BlockDataDef_neg Block connectivity and Execution BLKDATADEFUSE Blockdatadef1.slx

BlockInput_neg Block connectivity and Execution BLKINPUT Blockinput1.slx

BlockIndex_neg Block connectivity and Execution BLKINDEX BlockIndex1.slx

BlockExeOrder_neg Block connectivity and Execution BLKEXEORDER Blockexeorder1.slx

BlockMultirate_pos1 Model with multiple sample rates - BLKMULTIRATE Multirate1.slx

positive test
BlockMultirate_pos2 Model with multiple sample rates - BLKMULTIRATE Multirate2_top.slx,

positive test Multirate2_bot1.slx,
Multirate2_bot2.slx
BlockMultirate_neg Model with multiple sample rates - BLKMULTIRATE Multirate3.slx,
negative test Multirate3_bot1.slx,
Multirate3_bot2.slx
Model Used for Misc. File Expected Result Summary
Code Generation
Blockconn1.slx (Overall Status, PASSED),
Blockdatadep2.slx (Overall Status, FAILED),

Blockdatadef1.slx mBlockdatadef1.m (Overall Status, FAILED),
Blockinput2.slx (Overall Status, FAILED),
BlockIndex2.slx (Overall Status, FAILED),

Blockexeorder1.slx mBlockexeorder1.m (Overall Status, FAILED),
Multirate1.slx (Overall Status, PASSED),
Multirate2_top.slx, (Overall Status, PASSED),
Multirate2_bot1.slx, (Verification Status, VERIFIED),
Multirate2_bot2.slx (Traceability Status, TRACED)
Multirate4.slx, (Overall Status, FAILED),
Multirate3_bot1.slx, (Verification Status, FAILED_TO_VERIFY),
Multirate3_bot2.slx (Traceability Status, FAILED_TO_TRACE)
Expected Result
(BLOCK, Divide, FAILED_TO_VERIFY),

(BLOCK, Gain2, FAILED_TO_VERIFY)
(BLOCK, Divide1, FAILED_TO_VERIFY),

(BLOCK, In3, VERIFIED),

(BLOCK, In1, VERIFIED),
(BLOCK, Relational, FAILED_TO_VERIFY),
(BLOCK, Trig, FAILED_TO_VERIFY),
(BLOCK, Gain, FAILED_TO_VERIFY),
(BLOCK, Gain2, FAILED_TO_VERIFY),
(BLOCK, BusCreator5, FAILED_TO_VERIFY),

(BLOCK, Data Type Conversion, FAILED_TO_VERIFY),
(BLOCK, Unit Delay, FAILED_TO_VERIFY),
(BLOCK, Divide, FAILED_TO_VERIFY),
(CODE, Blockexeorder1.c:32, FAILED_TO_VERIFY)
(BLOCK, Subsystem/CounterB, FAILED_TO_VERIFY),

(BLOCK, Subsystem/Rate Transition, FAILED_TO_VERIFY),
(BLOCK, Subsystem1/S2/Abs, FAILED_TO_VERIFY),
(BLOCK, Subsystem1/S2/Rate Transition2, FAILED_TO_VERIFY)
DataandFilePackaging_pos1 Data and File Packaging - positive test SIGOBJAUTO,

PARAMOBJAUTO,
PARAMINLINE
DataandFilePackaging_neg1 Data and File Packaging - negative test 1 SIGOBJAUTO

(Signal objects with storage class auto are
represented in the code as expected)
DataandFilePackaging_neg2 Data and File Packaging - negative test 2 PARAMOBJAUTO,

(Parameter objects with storage class auto PARAMINLINE
are represented in the code as expected)
DataandFilePackaging_neg3 Data and File Packaging - negative test 3 PARAMINLINE

(Inlined parameter values are represented
in the code as expected)
DataandFilePackaging_pos2 Data and File Packaging - positive test SIGOBJGLOB,
(signal and parameter objects with non- PARAMOBJTUNA
auto storage classes)

DataandFilePackaging_neg4 Data and File Packaging - negative test 4 SIGOBJGLOB,

DataandFilePackaging_neg5 Data and File Packaging - negative test 5 PARAMOBJAUTO

(Parameter objects with storage class auto
and Inlined parameter values are
represented in the code as expected)
Test Files
datapackaging0.slx datapackaging0.slx
Expected Result







Expected Result
(BLOCK, Saturation1, FAILED_TO_VERIFY),

(BLOCK, Saturation, FAILED_TO_VERIFY)
(BLOCK, Data Store Memory1, FAILED_TO_VERIFY),

(CODE, datapackaging7.c:254, FAILED_TO_VERIFY),
(BLOCK, Subsystem/Resettable/Unit Delay2, FAILED_TO_VERIFY),
(BLOCK, Switch, FAILED_TO_VERIFY),
(BLOCK, StructField, FAILED_TO_VERIFY)
(BLOCK, Unit Delay, FAILED_TO_VERIFY)

DataandFilePackaging_pos4 Data and File Packaging - positive test PARAMOBJTUNA

(Tunable structured parameter objects)

(signal and parameter objects with GetSet PARAMOBJTUNA
storage classes)
DataandFilePackaging_pos6 Data and File Packaging - positive test SIGOBJAUTO,

with Data Dictionary PARAMOBJAUTO,
PARAMINLINE
DataandFilePackaging_neg6 Data and File Packaging - negative test PARAMINLINE

with Data Dictionary (Inlined parameter
values are represented in the code as
expected)
Test Files
GetSetStorageClass.slx GetSetStorageClass.slx
datapackaging0_sldd.slx datapackaging0_sldd.slx
datapackaging1_sldd.slx datapackaging2_sldd.slx
Expected Result




Expected Result

LocalVariables_pos Local Variables - positive test LCLVARUSED,

LCLVARDEF
LocalVariables_neg1 Local Variables - negative test 1(All local LCLVARUSED

variables are used)
LocalVariables_neg2 Local Variables - negative test 2(Local LCLVARDEF

variables are defined before being used)
Test Files
Model Used for Model Used for Misc. File
localvariables1.slx localvariables1.slx
localvariables1.slx localvariables1.slx mLocalVariables1.m
localvariables1.slx localvariables1.slx mLocalVariables2.m

Expected Result

(Overall Status, FAILED), (TEMPVAR, localvariables1_0_output:unusedtmp,

(Verification Status, FAILED_TO_VERIFY), FAILED_TO_VERIFY)
(Overall Status, FAILED) (ERROR, Frontend parser failed to parse file ...
localvariables1.c ..., FAILED)
Complex_pos1 Complex test cases - positive test 1 BLKCOMPS_Complex,

BLKCOMPSEXP_Complex,
BLKCOMPSTRACE_Complex,
BLKCOMPSCONFIG_Complex,
BLKCOMPSSYSFUNC_Complex,
BLKCOMPSPROPS_Complex

Complex_neg Complex test cases - negative test BLKCOMPSEXP_Complex,

BLKCOMPSCONFIG_Complex
Test Files
slcidemo_roll_orig1.slx, slcidemo_roll_orig1.slx,
slcidemo_heading1.slx, slcidemo_heading1.slx,
slcidemo_attitude1.slx slcidemo_attitude1.slx
complex1.slx, complex1.slx,
Subsystem1.slx, Subsystem1.slx,
Subsystem2.slx, Subsystem2.slx,
Subsystem3.slx Subsystem3.slx
refmodel1.slx, refmodel1.slx,
refmodel4.slx refmodel4.slx
Expected Result



Expected Result
(BLOCK, Subsystem4/Subsystem/Math, FAILED_TO_VERIFY),

(BLOCK, Subsystem2/Saturation, FAILED_TO_VERIFY),
(BLOCK, Subsystem6/Abs, FAILED_TO_VERIFY)



(2D signals) BLKCOMPSEXP_Complex,

(2D parameters and signals) BLKCOMPSEXP_Complex,

(Stateflow and MATLAB Function BLKCOMPSEXP_Complex,
blocks) BLKCOMPSTRACE_Complex,
Test Files
Generation
refmodel4.slx refmodel4.slx
complex5.slx complex5.slx
complex6_2D.slx complex6_2D.slx
complex7_2D.slx complex7_2D.slx
complex8_StateflowMatlab.slx complex8_StateflowMatlab.slx
Expected Result





Inspection
Traceability_pos1 Model to Code Traceability - BLKCOMPSTRACE Traceability1.slx
positive test
Traceability_pos2 Code to Model Traceability - BLKCOMPSTRACE Traceability1.slx
positive test 1
Traceability_pos3 Code to Model Traceability - BLKCOMPSTRACE Traceability1.slx

positive test 2
Traceability_pos4 Model to Code Traceability for BLKCOMPSTRACE Traceability2.slx
Stateflow charts - positive test
Traceability_pos5 Code to Model Traceability for BLKCOMPSTRACE Traceability2.slx

Stateflow charts - positive test
Model Used for Misc. File Expected Result Summary
Code Generation
Traceability1.slx (Overall Status, PASSED),


Expected Result
(BLOCKTRACE, Sum, Traceability1.c:51),

(BLOCKTRACE, In1, NONE),
(BLOCKTRACE, In2, NONE),
(BLOCKTRACE, Out113, Traceability1.c:54),
(BLOCKTRACE, Product, Traceability1.c:60),
(BLOCKTRACE, Unit Delay, Traceability1.c:214 | Traceability1.c:31 | Traceability1.c:66),
(BLOCKTRACE, Abs, Traceability1.c:74),
(BLOCKTRACE, SIN, Traceability1.c:82),
(BLOCKTRACE, data type conv, Traceability1.c:90),
(BLOCKTRACE, Gain, Traceability1.c:98),
(BLOCKTRACE, Logical, Traceability1.c:107),
(BLOCKTRACE, Switch, Traceability1.c:151 | Traceability1.c:153),
(BLOCKTRACE, Relational, Traceability1.c:116),
(BLOCKTRACE, multi-port switch,Traceability1.c:127 | Traceability1.c:128 |
Traceability1.c:130 | Traceability1.c:132 | Traceability1.c:134 | Traceability1.c:136 |
Traceability1.c:138),
(BLOCKTRACE, BusCreator, NONE),
(BLOCKTRACE, Gain3, Traceability1.c:183 | Traceability1.c:42 | Traceability1.c:45),
(BLOCKTRACE, Data Store Doubl_0, Traceability1.c:45),
(BLOCKTRACE, Data Store doubl_0, NONE),
(BLOCKTRACE, Data Store doubl_1, NONE),
(BLOCKTRACE, Double_z0_0, Traceability1.c:221 | Traceability1.c:224 |
Traceability1.c:31 | Traceability1.c:39 | Traceability1.c:45),
(BLOCKTRACE, held, Traceability1.c:195),
(BLOCKTRACE, held/Enable, NONE),
(BLOCKTRACE, held/Out1, Traceability1.c:231),
(BLOCKTRACE, held/Unit Delay,Traceability1.c:197 | Traceability1.c:202 |
Traceability1.c:220 | Traceability1.c:221 | Traceability1.c:228 | Traceability1.c:231 |
Traceability1.c:30 | Traceability1.c:31),
(BLOCKTRACE, Out11, Traceability1.c:209)
(CODETRACE, Traceability1.c:20, Step Function Interface),
(CODETRACE, Traceability1.c:218, Initialize Function Interface),
(CODETRACE, Traceability1.c:39, Double_z0_0),
(CODETRACE, Traceability1.c:42, Gain3),
(CODETRACE, Traceability1.c:45, Data Store Doubl_0 | Double_z0_0 | Gain3),
(CODETRACE, Traceability1.c:51, Sum | In1 | In2),
(CODETRACE, Traceability1.c:54, Out113),
(CODETRACE, Traceability1.c:60, Product | In3 | In4),
(CODETRACE, Traceability1.c:66, Unit Delay),
(CODETRACE, Traceability1.c:74, Abs | In7),
(CODETRACE, Traceability1.c:82, SIN | In8),
(CODETRACE, Traceability1.c:90, data type conv | In9),
(CODETRACE, Traceability1.c:98, Gain | In10)

(CODETRACE, Traceability1.c:107, Logical | In11 | In12),
(CODETRACE, Traceability1.c:116, Relational | In13 | In14),
(CODETRACE, Traceability1.c:127, multi-port switch | In32),
(CODETRACE, Traceability1.c:128, multi-port switch),
(CODETRACE, Traceability1.c:129, In33),
(CODETRACE, Traceability1.c:151, Switch | In37),
(CODETRACE, Traceability1.c:153, Switch),
(CODETRACE, Traceability1.c:183, Gain3),
(CODETRACE, Traceability1.c:195, In15 | held),
(CODETRACE, Traceability1.c:197, held/Unit Delay),
(CODETRACE, Traceability1.c:202, In5 | held/Unit Delay),
(CODETRACE, Traceability1.c:228, held/Unit Delay),
(CODETRACE, Traceability1.c:231, held/Unit Delay | held/Out1),
(CODETRACE, Traceability1.c:224, Double_z0_0)
(BLOCKTRACE, ACyclic, Traceability2.c:179 | Traceability2.c:180 | Traceability2.c:217 |
(SFBLOCKTRACE, ACyclic:124, NONE),
(SFBLOCKTRACE, ACyclic:92, Traceability2.c:105 | Traceability2.c:97),
(SFBLOCKTRACE, ACyclic:103, Traceability2.c:107 | Traceability2.c:45 |
(SFBLOCKTRACE, ACyclic:97, Traceability2.c:101 | Traceability2.c:102 |
Traceability2.c:45 | Traceability2.c:46 | Traceability2.c:96 | Traceability2.c:99),
(BLOCKTRACE, Chart1, Traceability2.c:179 | Traceability2.c:180 | Traceability2.c:214),
(SFBLOCKTRACE, Chart1:125, Traceability2.c:45 | Traceability2.c:46 |
Traceability2.c:76 | Traceability2.c:77 | Traceability2.c:78),
(SFBLOCKTRACE, Chart1:122, Traceability2.c:62 | Traceability2.c:68 |
(BLOCKTRACE, Chart3, NONE),
(SFBLOCKTRACE, Chart3:103, Traceability2.c:155),
(SFBLOCKTRACE, Chart3:92, Traceability2.c:128 | Traceability2.c:136),
(SFBLOCKTRACE, Chart3:101, Traceability2.c:150)
(CODETRACE, Traceability2.c:62, In16 | In17 | Chart1:122),

(CODETRACE, Traceability2.c:70, Chart1:122),
(CODETRACE, Traceability2.c:76, In17 | Chart1:125 | Out14),
(CODETRACE, Traceability2.c:96, ACyclic:104 | ACyclic:97),
(CODETRACE, Traceability2.c:105, ACyclic:92),
(CODETRACE, Traceability2.c:127, In19 | Function-Call Subsystem2/Gain | Function-
Call Subsystem2/Unit Delay),
(CODETRACE, Traceability2.c:214, Chart1),
(CODETRACE, Traceability2.c:217, ACyclic),
(CODETRACE, Traceability2.c:218, ACyclic)
ConfigParams_pos Configuration Parameters - positive test SOLVERPANE,

DATAPANE,
OPTPANE,
DIAGPANE,
HWPANE,
MODREFPANE,
CODEGENPANE
Solver_neg Configuration Parameters Solver pane - SOLVERPANE

negative test (Sample time)
DataImportExport_neg Configuration Parameters Data Import DATAPANE

Export pane - negative test (Initial state)
Optimization_neg Configuration Parameters Optimization OPTPANE

pane - negative test (StateBitSets)
Diagnostics_neg Configuration Parameters Diagnostics DIAGPANE

pane - negative test (Underspecified
initialization detection)
Hardware_neg Configuration Parameters Hardware HWPANE

Implementation pane - negative test
(ProdBitPerShort)
ModelReferencing_neg Configuration Parameters Model MODREFPANE

Referencing pane - negative test (Number
of instances allowed)
CodeGeneration_neg1 Configuration Parameters Code CODEGENPANE

Generation pane - negative test (Data
exchange interface)
CodeGeneration_pos1 Configuration Parameters Code CODEGENPANE

Generation pane - positive test (Data type
replacement)
CodeGeneration_neg2 Configuration Parameters Code CODEGENPANE

Generation pane - negative test (Data type
replacement)
Test Files
Model Used for Inspection Model Used for Code Generation Misc. File
ConfigParams1.slx ConfigParams1.slx
RefModelNumInstances1_ref.slx RefModelNumInstances1_ref.slx
Sampletime1.slx Sampletime2.slx
Initialstate1.slx Initialstate2.slx
Optimization1.slx Optimization2.slx
Diagnostics1.slx Diagnostics2.slx
Hardware1.slx Hardware2.slx
RefModelNumInstances1_top.slx RefModelNumInstances1_top.slx mModelRefNumInstances1.m

RefModelNumInstances1_ref.slx RefModelNumInstances1_ref.slx
CodeGeneration1.slx CodeGeneration2.slx
Expected Result










Expected Result
(BLOCK, Data Store Read, PARTIALLY_PROCESSED),

(BLOCK, Unit Delay, FAILED_TO_VERIFY),

(BLOCK, Enabled Subsystem/Unit Delay, FAILED_TO_VERIFY)
(BLOCK, Chart, FAILED_TO_VERIFY),

(SFBLOCK, Chart:46, FAILED_TO_VERIFY)
(BLOCK, Merge1, FAILED_TO_VERIFY),
(FUNCTIONINTERFACE, Hardware1_0_output,
FAILED_TO_VERIFY),
(BLOCK, Switch, FAILED_TO_VERIFY)
(BLOCK, RefModel, FAILED_TO_VERIFY)
TYPEREPLACEMENT, boolean_T, FAILED_TO_VERIFY),

TYPEREPLACEMENT, int16_T, FAILED_TO_VERIFY),
TYPEREPLACEMENT, real32_T, FAILED_TO_VERIFY),
TYPEREPLACEMENT, real_T, FAILED_TO_VERIFY),
TYPEREPLACEMENT, uint16_T, FAILED_TO_VERIFY),
ModelCodeCompatibility_pos Model and Code Compatibility - positive MDLCOMPILE,

test INVSRCCODE,
MDLFATAL,
MDLNONFATAL
FatalIncompatibility_neg1 Fatal incompatibility - negative test 1 MDLFATAL
(Block parameter)
FatalIncompatibility_neg2 Fatal incompatibility - negative test 2 MDLFATAL
(Configuration parameter)
NonFatalIncompatibility_neg1 Nonfatal incompatibility - negative test 1 MDLNONFATAL
(Block parameter)
NonFatalIncompatibility_neg2 Nonfatal incompatibility - negative test 2 MDLNONFATAL

(Configuration parameter)
ModelCompileError_neg1 Model Compilation Error - negative test MDLCOMPILE
CodeParseError_neg1 Generated Code Parsing Error - INVSRCCODE

negative test
NonFatalChoice_neg1 Nonfatal incompatibility terminates NONFATALCHOICE
inspection - negative test
Test Files
Model Used for Inspection Model Used for Code Generation Misc. File
ModelCompatibility1.slx ModelCompatibility1.slx
FatalIncompatibility1.slx FatalIncompatibility1.slx
FatalIncompatibility2.slx FatalIncompatibility2.slx
NonFatalIncompatibility1.slx NonFatalIncompatibility1.slx
NonFatalIncompatibility2.slx NonFatalIncompatibility2.slx
CompileError1.slx CompileError2.slx
CodeParseError1.slx CodeParseError1.slx
NonFatalChoice1.slx NonFatalChoice1.slx
Expected Result

(Overall Status, FAILED)



Expected Result
(ERROR, ... fatal incompatibilities: ...

'FatalIncompatibility1/ss_15/SupportVarSizeArray' ..., FAILED)
(ERROR, ... fatal incompatibilities: ... ert-based target., FAILED)
(BLOCK, ss_10/MathFunction, FAILED_TO_VERIFY)
(BLOCK, Unit Delay Resettable/Reset, FAILED_TO_VERIFY)

(ERROR, Frontend parser failed to parse file ...

CodeParseError1.h ..., FAILED)
(ERROR, Inspection of model 'NonFatalChoice1' has been terminated
because it has one or more fatal incompatibilities: , FAILED)

Qualkitdo Slci Run Tests

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Qualkitdo Slci Run Tests

Uploaded by

Copyright:

Available Formats

TITLE

R2017a, March 2017

New for Version 1.6 (Applies to Release 2012a)

ModelInterface_neg1b Model Interface - negative test 1(Model MDLINTFUNCGEN slciinterface1.slx

ModelInterface_neg2 Model Interface - negative test 2(Bus MDLINTDATAGEN slciinterface2.slx

ModelInterface_neg3 Model Interface - negative test 3 (Step MDLINTFUNCSIG slciinterface1.slx

ModelInterface_neg5 Model Interface - negative test 5 (Extra MDLINTFUNCSIG slciinterface4.slx

ModelInterface_neg6 Model Interface - negative test 6 MDLINTFUNCSIG slciinterface4.slx

slciinterface1.slx mModelInterface1a.m (Overall Status, FAILED),

slciinterface1.slx mModelInterface3.m (Overall Status, FAILED),

slciinterface4.slx mModelInterface5.m (Overall Status, FAILED),

(ERROR, Inspection terminated because an

(CODE, slciinterface3.c:59, FAILED_TO_VERIFY),

Saturate_pos Saturate block - positive test BLKCOMPS_Saturate,

Saturate_neg Saturate block - negative test BLKCOMPSEXP_Saturate,

Relay_neg Relay block - negative test BLKCOMPSEXP_Relay,

DeadZone_neg Dead Zone block - negative test BLKCOMPS_DeadZone,

Saturate2.slx Saturate3.slx (Overall Status, FAILED),

Relay1.slx Relay1.slx (Overall Status, PASSED),

Relay2.slx Relay3.slx (Overall Status, FAILED),

DeadZone1.slx DeadZone1.slx (Overall Status, PASSED),

DeadZone2.slx DeadZone3.slx (Overall Status, FAILED),

(BLOCK, maxnegneg, FAILED_TO_VERIFY),

(BLOCK, Relay7, FAILED_TO_VERIFY),

(BLOCK, DeadZone_new, FAILED_TO_VERIFY),

Unitdelay_pos Unit Delay block - positive test BLKCOMPS_Unitdelay,

Unitdelay_neg Unit Delay block - negative test BLKCOMPS_Unitdelay,

DiscreteIntegrator_neg Discrete-Time Integrator block - BLKCOMPS_DiscreteIntegrator,

Delay_pos Delay block - positive test BLKCOMPS_Delay,

Delay_neg Delay block - negative test BLKCOMPS_Delay,

Unitdelay2.slx Unitdelay3.slx mUnitdelay2.m

DiscreteIntegrator2.slx DiscreteIntegrator3.slx mDiscreteIntegrator2.m

(Overall Status, PASSED),

(Overall Status, FAILED), (BLOCK, Unit Delay1, FAILED_TO_VERIFY),

(Overall Status, FAILED), (BLOCK, StateUpdateCode, FAILED_TO_VERIFY),

(Overall Status, PASSED),

(Overall Status, FAILED), (BLOCK, Delay1, FAILED_TO_VERIFY),

Logical_pos Logical Operator block - positive BLKCOMPS_Logical,

Logical_neg Logical Operator block - negative BLKCOMPSEXP_Logical,

Relational_neg Relational Operator block - negative BLKCOMPSEXP_Relational,

Bitwise_neg Bitwise Operator block - negative BLKCOMPSEXP_Bitwise,

ArithmeticShift_pos Arithmetic Shift block - positive test BLKCOMPS_ArithmeticShift,

ArithmeticShift_neg Arithmetic Shift block - negative test BLKCOMPSEXP_ArithmeticShift,

Logical2.slx Logical3.slx (Overall Status, FAILED),

Relational1.slx Relational1.slx (Overall Status, PASSED),

Relational2.slx Relational3.slx (Overall Status, FAILED),

Bitwise1.slx Bitwise1.slx (Overall Status, PASSED),

Bitwise2.slx Bitwise3.slx (Overall Status, FAILED),

ArithmeticShift1.slx ArithmeticShift1.slx (Overall Status, PASSED),

ArithmeticShift2.slx ArithmeticShift3.slx (Overall Status, FAILED),

(BLOCK, and2, FAILED_TO_VERIFY),

(BLOCK, equal, FAILED_TO_VERIFY),

(BLOCK, Bitwise_AND, FAILED_TO_VERIFY),

(BLOCK, DialogLeft, FAILED_TO_VERIFY),

Lookuptable_pos Lookup Table block - positive test BLKCOMPS_Lookuptable,

Lookuptable_neg Lookup Table block - negative test BLKCOMPSEXP_Lookuptable,

PreLookup_pos PreLookup block - positive test BLKCOMPS_PreLookup,

PreLookup_neg PreLookup block - negative test BLKCOMPSEXP_PreLookup,

InterpolationnD_pos Interpolation Using Prelookup block BLKCOMPS_InterpolationnD,

InterpolationnD_neg Interpolation Using Prelookup block BLKCOMPS_InterpolationnD,

Lookuptable2.slx Lookuptable3.slx (Overall Status, FAILED),

Prelookup1.slx Prelookup1.slx (Overall Status, PASSED),