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