提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
PC-lint Plus提供了超过一千种您的编译器不会发出的诊断信息。这些支持数十个检测区域以及丰富且可自定义的功能集。有关功能和诊断的完整列表,请参阅发行产品和30天的PC-lint Plus评估许可证随附的PC-lint Plus参考手册。以下是代表性列表,突出显示了PC-lint Plus的一些主要功能。
如果不闯入计算机,在当今世界上很难做很多事情。作为消费者,我们希望我们的设备、计算机和小工具在大多数情况下都能按预期工作。但是,当运行它们的软件出现错误时,会发生什么。大多数软件错误会带来不便或烦人的情况。但是,它们有时会导致经济损失,危及生命的情况,甚至导致无辜人员死亡。我们在下面检查了一些较著名的严重软件错误。
PC-lint Plus 1.3支持许多CERT C的静态可执行准则。通过在现有配置中添加对au-certc.lnt文件(随PC-lint Plus分发)的引用,可以轻松实现对CERT C的检查。该文件启用与CERT C准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息关联的规则。au-certc.lnt文件是使用标准PC-lint Plus选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。
自成立以来,Gimpel软件就一直为嵌入式和安全关键软件社区提供支持,而我们的工具已经为MISRA和其他相关编码标准提供了近20年的支持。当前版本的PC-lint Plus通过引入对AUTOSAR17编码准则的支持而建立在此跟踪记录的基础上。1.3版支持将近200条准则(超过60%的静态可检查准则),并且在每个发行版中都添加了对其他准则的支持。
汽车工业软件可靠性协会(MISRA)是生产和维护C和C++编程准则的组织。这些准则的主要目的是编纂一组与软件开发有关的建议,这些建议有助于创建“安全可靠的软件”。尽管MISRA是汽车行业的一项努力,但MISRA的成功却不断增长,并且已采用该指南来满足其他对安全至关重要的行业(例如医疗保健和航空航天)的需求。
PC-lint Plus为MISRA C 2004编码指南提供了实质性支持。通过将对au-misra2.lnt文件(随PC-lint Plus分发)的引用添加到PC-lint Plus配置文件中,可以轻松完成对MISRA C 2004兼容性的检查。该文件启用与MISRA C 2004指南相对应的消息,并将文本添加到已发出的消息中,以指定与每个适用消息相关的规则。au-misra2.lnt文件是使用标准PC-lint Plus选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。
PC-lint Plus提供对MISRA C++编码准则的支持。通过将对au-misra-cpp.lnt文件(随PC-lint Plus分发)的引用添加到PC-lint Plus配置中,可以轻松完成对MISRA C++兼容性的检查。该文件启用与MISRA C++准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息相关的规则。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@cahobeh.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢