NATICK, Mass.--(BUSINESS WIRE)--MathWorks today expanded its Polyspace product family with the introduction of two new code verification tools: Polyspace Code Prover and Polyspace Bug Finder.

Polyspace Bug FinderとPolyspace Code Proverが支援する、早期段階でのバグ検出 高品質な組み込みソフトウェア開発において、エンジニアには素早く、効率的にバグ検出を行う技法が必要となる。極端なことをいうならば、 コード作成の最中に並行してバグ検査を行う ことができれば、先に挙げた課題は ...

MathWorks expanded its Polyspace product family with the introduction of two new code verification tools: Polyspace Code Prover and Polyspace Bug Finder. Available with the company’s Release 2013b, ...

Run some sample C/C++ tests written using the Polyspace Test xUnit API on an STM32F746G Discovery board Collect coverage data after test execution using the polyspace ...