您是否关心嵌入式软件的可靠性和安全性?您是否花费时间在手工代码评审上?您是否正在寻找一种更有效的方法来尽早发现缺陷并满足认证要求?
代码审查和代码审查工具在关键嵌入式系统的开发中非常重要，特别是那些需要认证的系统。专注于扫描代码缺陷的代码审查是非常无效的，因为检测细微的运行时错误，甚至捕获简单的编码缺陷都是非常具有挑战性的。
通过这篇白皮书，您可以了解有效代码评审工具的三个关键功能。了解如何自动化您的代码评审过程，这意味着您可以在不执行程序或开发测试用例的情况下进行分析。
30天的免费试用
通过访问Polyspace产品的免费试用，提高您的投资回报。s manbetx 845
若要继续，请禁用mathworks.com的浏览器广告拦截并重新加载此页。
输入正式名称
在电话号码前加上国家代码。(例如:+ 1-555-555-5555)参见国家代码列表。
若要提交此表格，您必须接受并同意我们的隐私政策。
我们不会出售或出租您的个人联系信息。详情请参阅我们的隐私政策。
您已经登录到MathWorks帐户。请按“提交”键完成申请程序。
选择一个网站
选择一个网站，在可用的地方获得翻译的内容，并查看当地的活动和优惠。根据您的地理位置，我们建议您选择:．
您也可以从以下列表中选择网站:
选择中国网站(中文或英文)以获得最佳的网站表现。其他MathWorks国家网站没有针对从您的位置访问进行优化。
联系当地办事处
