与Polyspace死代码检测和覆盖率
Polyspace工具可以帮助您识别死亡或遥不可及的代码在您的软件。这将节省时间和降低成本与测试活动相关的鲁棒性和完整的代码覆盖率。Polyspace产品提供的详细的信息关于软件的运行时行为证明死代码的存在,帮助下载188bet金宝搏你跟踪潜在来源的控制流和数据流。这一点尤为重要当遵守行业标准如178 B / C, ISO 26262、IEC 61508和IEC 62304。
死代码是应用程序的一部分,永远不会被执行。常见的原因包括:
- 编程错误条件分支
- 代码永远不会达到,因为输入数据不会导致一个特定的分支被执行
- 调试结构和其他非功能代码
- 可重用的组件,用于不同的运行时的场景
的死代码在您的应用程序可能会导致严重的后果,因为它可以隐藏错误的来源。死代码也意味着代码是低效的,因为它可以增加你的可执行文件的大小,这是特别相关的嵌入式应用程序。那里也可以法律含义。
Polyspace产下载188bet金宝搏品可以帮助你找到死代码,优化测试周期,缩短验证周期。这很重要,因为它可以减少时间由工程师试图得到100%的代码覆盖率,并节省时间的测试和开发资源。尤其如此高度集成和高安全性的应用程序时必须遵守标准做178 B / C。
- 178 b / ED-12B定义死亡和无效的代码如下:
- 死代码可执行目标代码(或数据),由于设计错误,无法执行(代码)或使用(数据)在运营目标计算机的配置环境,不可跟踪系统或软件需求。嵌入式标识符是一个例外。
- 无效的代码——可执行目标代码(或数据),通过设计(a)无意执行(代码)或使用(数据),例如,以前开发的软件组件的一部分;或(b)只是执行(代码)或使用(数据)在某些目标计算机环境的配置,例如,代码通过一个硬件销选择或软件编程选项。
- 178 b / ED-12B本质上要求删除任何死代码,它呼吁释放代码的验证证明它不能无意中激活。由于这个原因,测试的成本是非常高的。识别死代码也是一个好的开发实践无论认证要求,因为研究表明,死代码和无效的代码是一个隐藏的缺陷和运行时错误的来源。Polyspace产下载188bet金宝搏品可以帮助您优化测试周期,缩短验证周期。
确定使用Polyspace遥不可及的代码错误发现者
在您运行一个测试用例之前,您可以识别的代码在模块级别或在使用Polyspace完整的应用程序代码验证工具。如下图所示,Polyspace错误发现者™你可以检测代码的遥不可及的部分在你的IDE,比如Eclipse®。这也能帮助你在考虑任何这样的死代码在您的应用程序的影响,并使您能够更改第一次。
证明存在的死代码使用Polyspace代码验证
Polyspace代码验证™使您能够证明死代码的存在,因为它提供了数学证明强调的某部分代码不执行任何代码路径和在应用程序中变量的值的任意组合。由于正式的方法和抽象解释技术,Polyspace代码验证证明了死代码在应用程序中以接近零误报率。
您可以使用详细的检查信息进一步了解这种冗余的原因。它可能发现遗漏的需求没有确定在需求捕获或没有与任何测试用例。让你的数据范围规范确定的参数范围上下文验证还允许您识别死代码和无效的代码。
代码覆盖率、代码度量和趋势
此外,Polyspace产品集成和代码覆盖工具下载188bet金宝搏像VectorCast可以导入的结果Polyspace产品验证和使用结果来补充他们的代码覆盖的解决方案。
代码覆盖率用来量化一个软件应用程序是否已经彻底测试和包含错误的几率较低。结构代码覆盖率主要是用作测量表明当取得足够的测试。因为它是不可能测试所有可能的运行时的场景,100%的代码覆盖率是指软件测试到可接受的水平。死代码的存在使得它不可能达到100%的代码覆盖率并导致重大投资时间和精力写不必要的测试用例。
Polyspace工具生产和合成有用的代码度量准确反映您的代码的质量。这些指标可以使用一个基于web的仪表板。这个内置的功能,你可以访问各种指标如运行时错误,代码复杂度和编码规则违规。使用这些度量,您可以跟踪你的进展预定义的软件质量目标代码的发展从第一个迭代到最终交付的版本。你也可以测量任何代码更改的增量影响你对代码库等引入任何死代码的结果变化。
