Improving Software Quality with Static Code Analysis
 

To improve code quality, development teams complement traditional software verification activities with static code analysis using Polyspace code verifiers, which use formal methods with abstract interpretation to verify C, C++, or Ada code.

2012-12-17 07:00 AM


[url= http://www.mathworks.com/company/newsletters/articles/improving-software-quality-with-static-code-analysis.html ]更多...[/url]