挑战

为了缩短基于物联网的应用的上市时间，OEM需要确保嵌入式软件的发布周期更短。制造商要遵守严格的行业标准，这强调了软件开发中质量保证的重要性。然而，由于使用了非最佳选择的手工质量控制程序，调试多线程的多核软件会极其耗时。必须对此类程序进行精简和自动化改造，以提高代码质量和促进创新。

TCS解决方案

TCS的嵌入式代码分析器通过简化缺陷验证工作流程，利用基于网络的集成代码审查平台，帮助OEM交付零缺陷的代码。它增加了开发和测试团队之间的合作，并以快速有效的方式确定了多核架构中复杂的并发问题。该解决方案通过自动化代码合规性检查过程提高了程序员的生产力，从而保证了代码的稳定、安全和可靠。该方案具有以下特点：

• 利用数据流分析、语义分析和抽象解释来分析C和C++软件代码
• 仅需几个小时就能处理上千万行代码，并识别质量问题
• 可识别25种运行时的错误，包括死锁、数据损坏和零除法等
• 检测15种独特的缺陷模式，包括崩溃、冻结和不一致等

优势

• 改善代码质量：在开发生命周期中及早地发现代码缺陷
• 最大限度地减少测试工作量：自动执行复杂和耗时的质量控制流程
• 加快上市时间：以更快的速度将无错误的代码发布至生产环境
• 提高程序员的生产率：识别出准确的缺陷位置，以便快速纠正 
• 确保合规性：遵守严格的行业软件开发准则
• 降低质量相关的成本：优化质量成本（CoQ），避免产品召回