使用polyspace生成软件度量信息
软件度量信息是确定软件质量的一个重要方面。您可使用这些度量信息来确定软件能够交付生产的时间并作为开发流程不同阶段的指南。监控软件度量信息是开发安全关键嵌入式软件系统特别是需要认证的系统的一个非常重要的工作。
软件度量信息包括:
- 源文件的注释密度
- 圈复杂度
- 函数的行数,参数个数,调用层级等
- 软件中识别的运行时错误
软件度量信息可对在开发高质量软件中建立软件质量目标提供帮助。通过建立特定软件度量信息的阈值,用户可以确定是否达到了质量目标。但达到或者超过这个阈值,质量部门可以推荐软件进入到开发流程的下一个阶段。
您可以使用静态分析工具自动生成软件度量信息,例如,您可以:
- 为软件的每一版本生成度量信息
- 使用基于页面的仪表面板来监控度量信息并深入到函数级来获取更细节的信息
- 应用不同的阈值来查看是否达到特定的软件质量目标
更多信息,请参考polyspace® 产品.
示例
- 使用polyspace 生成软件度量信息 - 产品
- - 视频
软件手册
- polyspace bug finder - 产品
- polyspace code prover - 产品
- polyspace products for ada - 产品
另请参阅: 使用polyspace产品进行静态分析, 验证、确认和测试, 嵌入式系统