沒有找到合適的產(chǎn)品?
聯(lián)系客服協(xié)助選型:023-68661681
提供3000多款全球軟件/控件產(chǎn)品
針對軟件研發(fā)的各個階段提供專業(yè)培訓與技術(shù)咨詢
根據(jù)客戶需求提供定制化的軟件開發(fā)服務(wù)
全球知名設(shè)計軟件,顯著提升設(shè)計質(zhì)量
打造以經(jīng)營為中心,實現(xiàn)生產(chǎn)過程透明化管理
幫助企業(yè)合理產(chǎn)能分配,提高資源利用率
快速打造數(shù)字化生產(chǎn)線,實現(xiàn)全流程追溯
生產(chǎn)過程精準追溯,滿足企業(yè)合規(guī)要求
以六西格瑪為理論基礎(chǔ),實現(xiàn)產(chǎn)品質(zhì)量全數(shù)字化管理
通過大屏電子看板,實現(xiàn)車間透明化管理
對設(shè)備進行全生命周期管理,提高設(shè)備綜合利用率
實現(xiàn)設(shè)備數(shù)據(jù)的實時采集與監(jiān)控
利用數(shù)字化技術(shù)提升油氣勘探的效率和成功率
鉆井計劃優(yōu)化、實時監(jiān)控和風險評估
提供業(yè)務(wù)洞察與決策支持實現(xiàn)數(shù)據(jù)驅(qū)動決策
打通數(shù)據(jù)孤島 實現(xiàn)生產(chǎn)過程全透明化
實現(xiàn)產(chǎn)品全生命周期的質(zhì)量管理與追溯
精準制定生產(chǎn)計劃 合理配置生產(chǎn)資源
全面可視的生產(chǎn)質(zhì)量統(tǒng)計與追溯
一鍵生成排產(chǎn)計劃,有效提升資源利用率
打通生產(chǎn)過程數(shù)字化全鏈路,提高生產(chǎn)效率
幫助企業(yè)大幅降低因改裝質(zhì)量問題帶來的損失
打造數(shù)字化工廠,全面提升產(chǎn)品質(zhì)量
快速應(yīng)對訂單變化,大幅減少企業(yè)資源浪費
實現(xiàn)產(chǎn)品報價快速精準,全面實現(xiàn)生產(chǎn)透明化
打造生產(chǎn)計劃自動排產(chǎn)信息化平臺
PC-lint Plus提供了超過一千種您的編譯器不會發(fā)出的診斷信息。這些支持數(shù)十個檢測區(qū)域以及豐富且可自定義的功能集。有關(guān)功能和診斷的完整列表,請參閱發(fā)行產(chǎn)品和30天的PC-lint Plus評估許可證隨附的PC-lint Plus參考手冊。以下是代表性列表,突出顯示了PC-lint Plus的一些主要功能。
如果不闖入計算機,在當今世界上很難做很多事情。作為消費者,我們希望我們的設(shè)備、計算機和小工具在大多數(shù)情況下都能按預(yù)期工作。但是,當運行它們的軟件出現(xiàn)錯誤時,會發(fā)生什么。大多數(shù)軟件錯誤會帶來不便或煩人的情況。但是,它們有時會導致經(jīng)濟損失,危及生命的情況,甚至導致無辜人員死亡。我們在下面檢查了一些較著名的嚴重軟件錯誤。
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準則相對應(yīng)的消息,并將文本添加到已發(fā)布的消息中,以指定與每個適用消息關(guān)聯(lián)的規(guī)則。au-certc.lnt文件是使用標準PC-lint Plus選項語法的,易于閱讀的純文本配置文件,可以輕松地對其進行修改以滿足任何單個項目的需求。
自成立以來,Gimpel軟件就一直為嵌入式和安全關(guān)鍵軟件社區(qū)提供支持,而我們的工具已經(jīng)為MISRA和其他相關(guān)編碼標準提供了近20年的支持。當前版本的PC-lint Plus通過引入對AUTOSAR17編碼準則的支持而建立在此跟蹤記錄的基礎(chǔ)上。1.3版支持將近200條準則(超過60%的靜態(tài)可檢查準則),并且在每個發(fā)行版中都添加了對其他準則的支持。
汽車工業(yè)軟件可靠性協(xié)會(MISRA)是生產(chǎn)和維護C和C++編程準則的組織。這些準則的主要目的是編纂一組與軟件開發(fā)有關(guān)的建議,這些建議有助于創(chuàng)建“安全可靠的軟件”。盡管MISRA是汽車行業(yè)的一項努力,但MISRA的成功卻不斷增長,并且已采用該指南來滿足其他對安全至關(guān)重要的行業(yè)(例如醫(yī)療保健和航空航天)的需求。
PC-lint Plus為MISRA C 2004編碼指南提供了實質(zhì)性支持。通過將對au-misra2.lnt文件(隨PC-lint Plus分發(fā))的引用添加到PC-lint Plus配置文件中,可以輕松完成對MISRA C 2004兼容性的檢查。該文件啟用與MISRA C 2004指南相對應(yīng)的消息,并將文本添加到已發(fā)出的消息中,以指定與每個適用消息相關(guān)的規(guī)則。au-misra2.lnt文件是使用標準PC-lint Plus選項語法的,易于閱讀的純文本配置文件,可以輕松地對其進行修改以滿足任何單個項目的需求。
PC-lint Plus提供對MISRA C++編碼準則的支持。通過將對au-misra-cpp.lnt文件(隨PC-lint Plus分發(fā))的引用添加到PC-lint Plus配置中,可以輕松完成對MISRA C++兼容性的檢查。該文件啟用與MISRA C++準則相對應(yīng)的消息,并將文本添加到已發(fā)布的消息中,以指定與每個適用消息相關(guān)的規(guī)則。
Gimpel軟件為MISRA社區(qū)提供了近20年的支持,致力于為MISRA C 2012提供可靠的一流支持。
官方微信
官方微博
服務(wù)電話
重慶/ 023-68661681
華東/ 13452821722
華南/ 18100878085
華北/ 17382392642
客戶支持
技術(shù)支持咨詢服務(wù)
服務(wù)熱線:400-700-1020
郵箱:sales@evget.com
關(guān)注我們
地址 : 重慶市九龍坡區(qū)火炬大道69號6幢
慧都科技 版權(quán)所有 Copyright 2003- 2024 渝ICP備12000582號-13 渝公網(wǎng)安備 50010702500608號