Parasoft全面发布广泛的MISRA规则覆盖
Parasoft是一家专门提供软件测试解决方案的公司,Parasoft通过其经过市场验证的自动化软件测试工具集成套件,帮助企业持续交付高质量的软件。Parasoft的技术支持嵌入式、企业和物联网市场,通过将静态代码分析和单元测试、WebUI和API测试等所有内容集成到交付管道中,再加上服务虚拟化和完整的代码覆盖率,减少了交付安全、可靠和合规软件所需的时间、精力和成本。
ParasoftCC静态测试自动化测试工具,构建高质量软件的最佳解决方案慧都网CCtest简化了静态分析和编码标准的采用
加利福尼亚州蒙罗维亚2022年11月29日作为拥有30多年自动化软件测试经验的全球领导者Parasoft,ParasoftCCtest的2022。2版本,支持MISRAC:2012修正案3和MISRAC202x的草案版本。Parasoft针对C和C软件开发的统一、完全集成的测试解决方案的最新版本,帮助团队实现自动化静态分析和编码标准的遵从性,提高生产力,并缩短上市周期。
Parasoft为全球诸多软件供应商提供最广泛的MISRACC覆盖范围,并致力于帮助客户走在快速发展的标准领域前列。支持MISRAC2012修正案3,更新了现有的指南,并通过新的规则扩展了标准,以涵盖C11和C18语言。
作为MISRA的C工作组的参与者,Parasoft积极开发MISRAC202x,即新版的C编码标准,Parasoft被授权发布其中的规则草案。CCtest2022。2附带了新的MISRAC202x标准的测试配置规则集,其中包含对早期版本规则的支持。CCtest用户可以用早期版本的C静态分析检查器扫描他们的代码,并在标准版本发布前开始改进他们的C代码。现有用户下载CCtest2022。2链接。
Parasoft最新的CC软件开发解决方案中功能包括:对C模板的支持,提供了对C模板类的插桩能力,这些桩函数可以隔离被测试的代码,实现了早期测试,并简化了错误注入。这降低了单元测试的成本并提高了生产力。支持最新的2022CWETop25和OnTheCusp,在静态分析中自动识别安全弱点。支持GitHub和GitLab合并请求中的静态分析基线,增强了CICD工作流的集成。运行在LinuxARM上的CCtestStandard的新发行版,可支持在基于LinuxARM的开发平台上进行静态分析和代码覆盖率测量,提供满足编码安全和标准安全的能力,如MISRA、AUTOSARC14和CERT。新增编译器,实现了使用GreenHillsPPC2020。1或PPC2019。1和GNUGCCforARM648、10、11满足构建项目的合规性。
我们很高兴地宣布,我们的CCtest2022。2版本的新功能和增强功能可以立即提高生产力。Parasoft首席产品官IgorKirilenko说:先进的功能,如完全覆盖新的编码准则,有助于简化MISRAC2012AMD3和MISRAC202x的合规性。而且还包括更多支持现代开发生态系统的功能,加速测试自动化并提高其质量。
申请一个演示,看看ParasoftCCtest如何帮助你的开发团队交付先进的安全关键系统。
Parasoft的报告分析仪表板将所有这些整合在一起,提供了一个集中的质量视图,使组织能够自信地交付,并在当今最具战略性的生态系统和开发计划中取得成功,包括安全性、安全关键性、敏捷、DevOps以及持续测试。