Polyspace Code Prover report
Show older comments
Hello
I have some questions. We are using Polyspace R2016a. In some way I am able to modify templates for reports generated by Polyspace. But report generator uses class polyspaceData.GetMessage(someparams). 1. Please where is some manual how to use this class for getting data from Polyspace results. Is there some help for that? 2. If results from analysis is displayed in Polyspace, there is dashboard containing pie chart and column chart. What is the way, how can I get this dashboard to Polyspace report by setting in rpt file? 3. How can I modify the names of tables, so they will not contain some words which are automatically created (Actually I dont want to use word run-time, because Polyspace provide static, not runtime analysis)? 4.How can I generate reports for each unit of all in analysis (unit by unit analysis) by one command?
I would ask you not send me reply with check documentation, or manual with link to help page. I appreciate professional reply with technique how to do that, not only link to genreal manual. We must generate a hundreds of Polyspace reports weekly. Thank you very much.
Answers (0)
Categories
Find more on Generate Reports in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!