MATLAB Answers

How is this DRS (Data Range Specification )in Polyspace code prover is generated?

20 ビュー (過去 30 日間)
Shaku kaa
Shaku kaa 2016 年 9 月 19 日
回答済み: Christian Bard 2016 年 11 月 2 日
hi, i want to know how this DRS in Polyspace Code Prover is generated. In my code , i have Global Variable of array size 8 but, in the DRS window it is showing only one element of that array to add min & max value(it is not showing its size within the "[ ]"). is it possible to view all the other elements of that array ? is it possible to get DRS option for all the other elements? if so, how to do it?

回答 (1 件)

Christian Bard
Christian Bard 2016 年 11 月 2 日
Hi Shaku,
Actually that is not possible to give a min/max range for each element of an array using data range specifications. You may write a function that initialize elements of array, and Polyspace Code Prover, will certainly take it into account.
Regards, Christian

Community Treasure Hunt

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

Start Hunting!

Translated by