Can you kindly let me know about Polyspace Main Generator ?

6 次查看（过去 30 天）
Rohan
Rohan 2016-12-13
回答： Alexandre De Barros 2016-12-14
What it is used for, where it is used and how it has to be used ?
  1 个评论
John D'Errico
John D'Errico 2016-12-13
A friend of mine once asked me what a specific tool was used for, and if he needed it in his shop. My response was that if he did not know what it did, then he definitely did not need it.

请先登录，再进行评论。

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

回答（1 个）

Alexandre De Barros
Alexandre De Barros 2016-12-14
Hello,
With Polyspace, you don't need to provide all the source code of your application.
You can use the tools (Code Prover and Bug Finder) with only a subset of files, or even one file.
But to be able to process these files, Polyspace will create a main automatically, via the "main generator".
This main will be responsible for calling the functions and initializing the global variables.
If you want to know more about how the main generator is working, you can refer to another MATLAB Answer that you will find here: http://www.mathworks.com/matlabcentral/answers/309263-can-anyone-tell-me-how-polyspace_main-file-is-generated-and-works.
Best regards,
Alexandre

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by