MATLAB的答案

区别代码验证和错误发现者

169(30天)
笏kaa
笏kaa 2016年12月2日
编辑: 杰亚伯拉罕 2017年9月8日
有什么区别POLYSPACE代码验证&错误发现者。哪一个是适合开发过程吗?

在回答这个问题。

答案(2)

卢卡斯Lebert
卢卡斯Lebert 2016年12月6日
嗨笏,代码验证的主要目的是验证的代码,这意味着证明没有运行时错误。另外代码验证可以洞察到运行时行为的代码和数据范围。可视化,代码验证强调了代码在红(证明运行时错误)橙色(可能的运行时错误)和绿色(证明没有运行时错误)。在灰色而且代码验证了遥不可及的代码。
这不能由错误发现者。它的主要目标是通过详尽的测试找到bug。代码中的bug发现以红色突出显示。代码验证相比,错误发现者是交易速度的深度分析。
错误发现者和验证的代码都是明确设计开发过程中。许多客户使用错误发现者在实现代码和两种产品的单元测试,集成测试和验收测试。s manbetx 845
杰亚伯拉罕
杰亚伯拉罕 2017年9月8日
编辑:杰亚伯拉罕 2017年9月8日
你可以了解Polyspace Bug仪之间的差异和Polyspace代码验证这些产品的文档。s manbetx 845遵循下面的链接的详细解释。
//www.tianjin-qmedu.com/help/bugfinder/gs/use-bug-finder-and-code-prover.html
摘录文件…“Polyspace®错误发现者™和Polyspace代码验证™通过静态分析检测运行时错误。虽然产品有类似的用户界s manbetx 845面和背后的数学分析有时可以是相同的,两个产品的目标是不同的。
Bug仪快速分析你的代码并检测到许多类型的缺陷。代码中的代码验证检查每个操作一组可能的运行时错误,并试图证明没有错误的执行路径。例如,每部门代码,一个代码验证分析试图证明分母不为零。错误发现者不执行这样的详尽的验证。例如,错误发现者也检查除零错误,但它可能不会找到所有的操作可能导致的错误。”