[polyspace Code Prover]: unit by unit mode and integration

3 次查看（过去 30 天）

dakhlaoui zina 2016-11-17

Hello ,

I want to know how to set the polyspace Code prover to have a unit by unit mode and also the integration mode

for the unit by unit mode , it includes the unit test or not ? and what are those unit test results given by Polyspace ?

for the integration test I suppose there is no unit test approach

thank you very much

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

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

Translated by