软件说明
静态分析允许软件或系统测试自动化代码评审和识别易错组件。它可以在开发生命周期的早期检测编码缺陷,从而降低校正成本。基于结构的测试是一种动态分析技术,使您能够在运行时测试测试活动的代码覆盖率。
Logiscope Workbench可用于验证C / C ++,Ada,Java,VB或C#代码,并由以下产品组成:
Logiscope质量检查器可帮助您:
通过基于软件度量和图表提供信息来预测和诊断问题
定义软件指标以跟踪计划质量特征并确保质量目标
通过定位易出错的模块并根据软件度量提供有价值的信息来帮助您预测和诊断问题,从而提高可维护性和可靠性
Logiscope规则检查器可帮助您:
使用Tcl或Perl语言定义和验证编码规则
改进软件工程实践,并帮助开发人员实现更佳的编码和测试实践
获得监管接受(MISRA)
Logiscope Test Checker帮助您:
通过指示未测试的软件代码提高代码可靠性
评估测试计划的完整性
实现客户和法规验收(IEC 61508-3,DO178B,…)
Logiscope Code Reducer可帮助您:
通过适当的代码重构,降低维护成本,识别重复的代码跨源代码