Azzera filtri
Azzera filtri

Can you kindly let me know about Polyspace Main Generator ?

8 visualizzazioni (ultimi 30 giorni)
What it is used for, where it is used and how it has to be used ?
  1 Commento
John D'Errico
John D'Errico il 13 Dic 2016
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.

Accedi per commentare.

Risposte (1)

Alexandre De Barros
Alexandre De Barros il 14 Dic 2016
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

Community Treasure Hunt

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

Start Hunting!

Translated by