Polyspace CodeProver – reanalyze only differences

2 次查看（过去 30 天）
Daniel Popu
Daniel Popu 2015-7-24
编辑： Alexandre De Barros 2015-7-31
Hi, May tools have the concepts re-build(take everything from scratch) and build ( look only to the differences).
Can we do something like this in CodeProver?
If not, can we submit such a change request?
Best Regards,
Daniel

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

回答（2 个）

Cindy Solomon
Cindy Solomon 2015-7-27
Hi Daniel,
This functionality is not currently available in Polyspace, but I work for MathWorks and have forwarded your feedback to the appropriate product team. Thank you for the suggestion!
Alexandre De Barros
编辑：Alexandre De Barros 2015-7-31
Hi Daniel!
There is no such thing yet because when you want to prove that everything is safe, it is not as easy as it may appear.
Why ? Because even if you change one file, this little change can impact the rest of the application.
For example, it could be a change that would eventually lead to a new function call, and if the call tree changes, the whole application can change (unreachable code can become reachable, global variables can have different values, etc...)
Hence, this feature requires to compute the impact and for that you need to interpret the code, it's not only detecting what has changed since the last verification.
Regards,
Alexandre

类别

在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by