How to create testcases to obtain 100% table coverage for lookup tables using simulink design verifier?

Question

Rui MU 2022-3-31

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1685269-how-to-create-testcases-to-obtain-100-table-coverage-for-lookup-tables-using-simulink-design-verifi

评论： Rui MU 2022-4-7

I want to use SLDV to create test cases for subsystems contains lookup tables(such as direct n-D lookup table, lookup table dynamic...) to obtain full coverage.

However, I found it is difficult for SLDV to get full coverage on these blocks. I tried to use block replacement, but there is no built-in replacement for look-up table dynamic, how can I solve these? Do I need to write my own block replacement script? I hope someone can give me suggestions, thanks!!

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Pat Canny 2022-3-31

This is an excellent question!

I have passed this question along to our software development team to suggest the best approach, but this is certainly something we have heard from customers.

请先登录，再进行评论。

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

Answer 1

Prateek Khandelwal 2022-4-4

1
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1685269-how-to-create-testcases-to-obtain-100-table-coverage-for-lookup-tables-using-simulink-design-verifi#answer_934064

Hi Rui,

SLDV doesn't support Look Up Table coverage.

We have shipped an example in R2020a that illustrates usage the of Block Replacement feature for generating testcases corresponding to the four corner values of a 2-D Look Up table. You can access the example here.

This example ships with a custom replacement block InstrumentLUTForCornerValueCoverage and you can modify it to address your usecase.

Hope this helps !