• <menu id="w2i4a"></menu>
  • 原創(chuàng)
    史上著名的8大嚴重軟件錯誤事件,你還記得有哪些?

    如果不闖入計算機,在當今世界上很難做很多事情。作為消費者,我們希望我們的設備、計算機和小工具在大多數(shù)情況下都能按預期工作。但是,當運行它們的軟件出現(xiàn)錯誤時,會發(fā)生什么。大多數(shù)軟件錯誤會帶來不便或煩人的情況。但是,它們有時會導致經(jīng)濟損失,危及生命的情況,甚至導致無辜人員死亡。我們在下面檢查了一些較著名的嚴重軟件錯誤。

    2020-08-31 13:51:53.610
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持CERT?C

    PC-lint Plus 1.3支持許多CERT C的靜態(tài)可執(zhí)行準則。通過在現(xiàn)有配置中添加對au-certc.lnt文件(隨PC-lint Plus分發(fā))的引用,可以輕松實現(xiàn)對CERT C的檢查。該文件啟用與CERT C準則相對應的消息,并將文本添加到已發(fā)布的消息中,以指定與每個適用消息關聯(lián)的規(guī)則。au-certc.lnt文件是使用標準PC-lint Plus選項語法的,易于閱讀的純文本配置文件,可以輕松地對其進行修改以滿足任何單個項目的需求。

    2020-08-27 10:30:42.720
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持AUTOSAR

    自成立以來,Gimpel軟件就一直為嵌入式和安全關鍵軟件社區(qū)提供支持,而我們的工具已經(jīng)為MISRA和其他相關編碼標準提供了近20年的支持。當前版本的PC-lint Plus通過引入對AUTOSAR17編碼準則的支持而建立在此跟蹤記錄的基礎上。1.3版支持將近200條準則(超過60%的靜態(tài)可檢查準則),并且在每個發(fā)行版中都添加了對其他準則的支持。

    2020-08-27 10:16:21.510
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持MISRA標準

    汽車工業(yè)軟件可靠性協(xié)會(MISRA)是生產(chǎn)和維護C和C++編程準則的組織。這些準則的主要目的是編纂一組與軟件開發(fā)有關的建議,這些建議有助于創(chuàng)建“安全可靠的軟件”。盡管MISRA是汽車行業(yè)的一項努力,但MISRA的成功卻不斷增長,并且已采用該指南來滿足其他對安全至關重要的行業(yè)(例如醫(yī)療保健和航空航天)的需求。

    2020-08-27 09:56:32.887
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持MISRA C 2004

    PC-lint Plus為MISRA C 2004編碼指南提供了實質(zhì)性支持。通過將對au-misra2.lnt文件(隨PC-lint Plus分發(fā))的引用添加到PC-lint Plus配置文件中,可以輕松完成對MISRA C 2004兼容性的檢查。該文件啟用與MISRA C 2004指南相對應的消息,并將文本添加到已發(fā)出的消息中,以指定與每個適用消息相關的規(guī)則。au-misra2.lnt文件是使用標準PC-lint Plus選項語法的,易于閱讀的純文本配置文件,可以輕松地對其進行修改以滿足任何單個項目的需求。

    2020-08-26 16:24:00.403
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持MISRA C++

    PC-lint Plus提供對MISRA C++編碼準則的支持。通過將對au-misra-cpp.lnt文件(隨PC-lint Plus分發(fā))的引用添加到PC-lint Plus配置中,可以輕松完成對MISRA C++兼容性的檢查。該文件啟用與MISRA C++準則相對應的消息,并將文本添加到已發(fā)布的消息中,以指定與每個適用消息相關的規(guī)則。

    2020-08-26 16:10:44.533
    原創(chuàng)
    超實用靜態(tài)分析工具PC-lint Plus支持MISRA C 2012

    Gimpel軟件為MISRA社區(qū)提供了近20年的支持,致力于為MISRA C 2012提供可靠的一流支持。

    2020-08-26 15:59:43.917
    翻譯
    C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內(nèi)容:新功能(下)

    在PC-lint Plus最新版本中,PC-lint Plus產(chǎn)品更新了很多新功能,跟著小編來了解一下吧~

    2020-01-16 13:23:29.733
    翻譯
    C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內(nèi)容:新功能(上)

    在PC-lint Plus最新版本中,PC-lint Plus產(chǎn)品更新了很多新功能,跟著小編來了解一下吧~

    2020-01-08 15:12:33.523
    翻譯
    C和C ++的靜態(tài)分析工具PC-lint Plus v1.3更新內(nèi)容:改進MISRA C ++

    在PC-lint Plus最新版本中,改進了關于MISRA C ++的內(nèi)容,現(xiàn)在就跟著小編來看看更新了哪些內(nèi)容吧~

    2019-12-25 15:39:28.327
    掃碼咨詢


    添加微信 立即咨詢

    電話咨詢

    客服熱線
    023-68661681

    TOP
    三级成人熟女影院,欧美午夜成人精品视频,亚洲国产成人乱色在线观看,色中色成人论坛 (function(){ var bp = document.createElement('script'); var curProtocol = window.location.protocol.split(':')[0]; if (curProtocol === 'https') { bp.src = 'https://zz.bdstatic.com/linksubmit/push.js'; } else { bp.src = 'http://push.zhanzhang.baidu.com/push.js'; } var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(bp, s); })();