原创
史上最著名的8大严重软件错误事件,你还记得有哪些?

如果不闯入计算机,在当今世界上很难做很多事情。作为消费者,我们希望我们的设备、计算机和小工具在大多数情况下都能按预期工作。但是,当运行它们的软件出现错误时,会发生什么。大多数软件错误会带来不便或烦人的情况。但是,它们有时会导致经济损失,危及生命的情况,甚至导致无辜人员死亡。我们在下面检查了一些较著名的严重软件错误。

2020-08-31 13:51:53.610
原创
超实用静态分析工具PC-lint Plus支持CERT®C

PC-lint Plus 1.3支持许多CERT C的静态可执行准则。通过在现有配置中添加对au-certc.lnt文件(随PC-lint Plus分发)的引用,可以轻松实现对CERT C的检查。该文件启用与CERT C准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息关联的规则。au-certc.lnt文件是使用标准PC-lint Plus选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。

2020-08-27 10:30:42.720
原创
超实用静态分析工具PC-lint Plus支持AUTOSAR

自成立以来,Gimpel软件就一直为嵌入式和安全关键软件社区提供支持,而我们的工具已经为MISRA和其他相关编码标准提供了近20年的支持。当前版本的PC-lint Plus通过引入对AUTOSAR17编码准则的支持而建立在此跟踪记录的基础上。1.3版支持将近200条准则(超过60%的静态可检查准则),并且在每个发行版中都添加了对其他准则的支持。

2020-08-27 10:16:21.510
原创
超实用静态分析工具PC-lint Plus支持MISRA标准

汽车工业软件可靠性协会(MISRA)是生产和维护C和C++编程准则的组织。这些准则的主要目的是编纂一组与软件开发有关的建议,这些建议有助于创建“安全可靠的软件”。尽管MISRA是汽车行业的一项努力,但MISRA的成功却不断增长,并且已采用该指南来满足其他对安全至关重要的行业(例如医疗保健和航空航天)的需求。

2020-08-27 09:56:32.887
原创
超实用静态分析工具PC-lint Plus支持MISRA C 2004

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选项语法的,易于阅读的纯文本配置文件,可以轻松地对其进行修改以满足任何单个项目的需求。

2020-08-26 16:24:00.403
原创
超实用静态分析工具PC-lint Plus支持MISRA C++

PC-lint Plus提供对MISRA C++编码准则的支持。通过将对au-misra-cpp.lnt文件(随PC-lint Plus分发)的引用添加到PC-lint Plus配置中,可以轻松完成对MISRA C++兼容性的检查。该文件启用与MISRA C++准则相对应的消息,并将文本添加到已发布的消息中,以指定与每个适用消息相关的规则。

2020-08-26 16:10:44.533
原创
超实用静态分析工具PC-lint Plus支持MISRA C 2012

Gimpel软件为MISRA社区提供了近20年的支持,致力于为MISRA C 2012提供可靠的一流支持。

2020-08-26 15:59:43.917
翻译
C和C ++的静态分析工具PC-lint Plus v1.3更新内容:新功能(下)

在PC-lint Plus最新版本中,PC-lint Plus产品更新了很多新功能,跟着小编来了解一下吧~

2020-01-16 13:23:29.733
翻译
C和C ++的静态分析工具PC-lint Plus v1.3更新内容:新功能(上)

在PC-lint Plus最新版本中,PC-lint Plus产品更新了很多新功能,跟着小编来了解一下吧~

2020-01-08 15:12:33.523
翻译
C和C ++的静态分析工具PC-lint Plus v1.3更新内容:改进MISRA C ++

在PC-lint Plus最新版本中,改进了关于MISRA C ++的内容,现在就跟着小编来看看更新了哪些内容吧~

2019-12-25 15:39:28.327
在线咨询
联系我们
TOP
在线客服系统
live chat