Is it possible to generate MCDC coverage testcases from a boolean Matlab function?

2 次查看（过去 30 天）
George P
George P 2018-12-7
回答： Ayush Modi 2024-8-26
As it is possible to generate MCDC coverage testcases for Simulink models using Design Verifier, would it be possible to generate testcases on a boolean Matlab function, for example:
A = B & C
I am interested in this case in obtaining a testcase with 3 test steps:
B C A
1 1 1
1 0 0
0 1 0
  3 个评论
显示 1更早的评论
Hisham
Hisham 2024-6-21
Hi Pat
I'm interested to know if design verifier (or any other Mathworks plug-in) can generate mcdc testcases based on any given boolean expression?
Thanks in advance, Hisham
MULI
MULI 2024-8-23
Hi George,
Simulink design verifier can be with simulink models. So if you are interested to generate MCDC for boolean expression you can do it in simulink as given below.
TESTGENERATION SETTINGS > MODEL COVERAGE OBJECTIVES>MCDC
INPORTS AND OUTPORTS : DATA_TYPE: Boolean

请先登录，再进行评论。

请先登录，再回答此问题。

回答（1 个）

Ayush Modi
Ayush Modi 2024-8-26
Hi George,
I understand you want to write a boolean MATLAB function and do a MC/DC analysis for that function. You can use Simulink design verifier for this. Two ways to approach this are as follows:
1- Save the boolean function in a ".M" file. Then, in the Configuration Parameters dialog box, on the Coverage pane, select Coverage for MATLAB files. After simulation, the model coverage report summary contains sections for the top-level model and for the external function.
2- Other way is to create MATLAB function block which contains the boolean function. Then in the Configuration Parameters dialog box, on the Coverage pane, under Other metrics, select Objectives and Constraints.
Refer to the following MathWorks documentation for more information on coverage reports for MATLAB functions:
https://www.mathworks.com/help/slcoverage/ug/coverage-reports-for-matlab-functions.html#:~:text=for%20that%20condition.-,Coverage%20Reports%20for%20Simulink%20Design%20Verifier%20MATLAB%20Functions,-If%20you%20configure

类别

在 Help Center 和 File Exchange 中查找有关 Generate Tests 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by