麻豆一区二区三区蜜桃免费_中文字幕Va一区二区三区 _国产成人综合久久二区_丰满多毛的大隂户毛茸茸_国产麻豆剧果冻传媒免费老狼_无码人妻精品一区二区三区久久久 _亚洲中文无码精品卡通_蜜臀亚洲AV永久无码精品老司机

技術(shù)資訊
Klocwork 2024.2中的新功能
2024-08-13
Klocwork 2024.2中的新功能Klocwork 2024.2為現(xiàn)代 C/C++ 分析引擎引入了顯著的準確性和性能改進。此版本還包括增強的安全性和身份驗證功能、改進的用戶體驗、MISRA?和CERT規(guī)則集的改進、Java語言增強,以及Kotlin的新CWE映射。C/C++分析引擎Klocwork 2024.2引入了獨立運行現(xiàn)代分析引擎的選項,為現(xiàn)代C和C++代碼結(jié)構(gòu)帶來了顯著的性能改進和擴展的語言特性支持。?!艾F(xiàn)代模式”功能為C++17及更新語言版本提供更廣泛的代碼覆蓋率和缺陷檢測。降低假陽性率和假陰性率。對選定項目分析速度提高可達25%。注意:由于分析覆蓋范圍和理解的增加,“現(xiàn)代模式”可能會而導致結(jié)果發(fā)生更顯著的變化。*(基于內(nèi)部基準測試的OSS開放源碼軟件項目)新的Validate平臺身份驗證改進使用SAML和OIDC身份驗證增強安全性您現(xiàn)在可以使用安全斷言標記語言(SAML)或OpenID Connect (OIDC)身份驗證將您的身份提供者與Validate集成,從而享受以下優(yōu)勢:通過集中身份驗證增強安全性。通過單點登錄(SSO)簡化用戶管理和體驗。經(jīng)過Validate測試的身份提供者包括:SAML:Keycloak、Okta、AWS、Cisco、GitHub。OIDC:Keycloak、Google、Microsoft Entra(以前稱為Azure AD)、AWS。在Validate中驗證和管理用戶會話和應用程序令牌現(xiàn)在您可以在Validate中創(chuàng)建應用程序令牌,以通過SAML或OIDC支持的服務器安全地進行以下任務的身份驗證:使用kwauth或validate auth登錄命令行工具。從Validate或Web API導入項目。管理員現(xiàn)在可以通過Validate管理各個用戶會話,通過注銷用戶的Validate會話來控制用戶。其他改進包括增強了在Validate中使用基本身份驗證時的密碼安全性。Java分析引擎在kwandroid中使用-ignore files選項,無需修改構(gòu)建規(guī)范即可專注于一組選定的Java文件進行分析。Klocwork實用程序增強現(xiàn)在可以通過設(shè)置KW_JAVA環(huán)境變量指定Klocwork工具應使用的Java虛擬機(JVM),從而提供更大的靈活性和與不同Java環(huán)境的兼容性。為了簡化在自動化環(huán)境中部署Klocwork分析工具,持續(xù)集成工具現(xiàn)在包含在構(gòu)建工具包中。MISRA? C和C++通過Klocwork改進的MISRA C和MISRA C++分類法來強制執(zhí)行MISRA合規(guī)性。以規(guī)則優(yōu)先的方式進行分類。檢查器現(xiàn)在是分類法中規(guī)則的子類別。編碼標準Klocwork 2024.2的新增和擴展編碼標準覆蓋范圍和分類法:適用于Kotlin的CWE定義提高產(chǎn)品質(zhì)量IDE插件和擴展引入了新的Validate身份驗證,允許您使用經(jīng)典身份驗證、SAML或OIDC身份驗證連接到任何插件中的項目流。編譯器支持對以下編譯器的新增或改進支持:ClangClang-clGCCIARRenesasKlocwork 2024.2中的重要更改許可證管理變更自2023.4版本起,Klocwork工具現(xiàn)在使用Reprise License Manager(RLM)v15.1BL2。升級后的RLM v15.1BL2服務器包含在Klocwork 2023.4+安裝中。任何較早版本的RLM服務器需要升級到此版本才能與Klocwork 2023.4及更高版本配合使用。FLEXlm/FlexNet Publisher的支持在2022.2版本中已棄用,從Klocwork 2023.1+版本起將不再兼容。2023年許可證與Klocwork 2024.1或更新版本不兼容。要使用產(chǎn)品的最新版本,請聯(lián)系Perforce(license@perforce.com)獲取新許可證。Klocwork 2022版本結(jié)束維護所有Klocwork 2022版本的維護已于2024年3月31日結(jié)束。此外,維護結(jié)束(EOM)日期和銷售結(jié)束(EOS)日期也在2024年3月31日。有關(guān)任何Klocwork版本的支持可用性的信息,請參閱Klocwork產(chǎn)品生命周期。舊版幫助網(wǎng)站生命周期終止從2024年1月起,Klocwork已關(guān)閉了2022年前版本的舊版幫助網(wǎng)站(https://docs.roguewave.com/)。請使用新的幫助網(wǎng)站(https://help.klocwork.com/)獲取所有文檔需求。2021.x及更早版本的文檔需要使用發(fā)布包中提供的離線內(nèi)容進行訪問。棄用NIS訪問控制如果使用NIS訪問控制,在從早期版本遷移到2024.2時,必須切換到其他身份驗證方法。建議在遷移前切換到替代方法,以確保升級后用戶可以繼續(xù)登錄。停止使用Jenkins插件從Klocwork 2024.2開始,Jenkins插件已從Klocwork中移除,并且不再提供安裝包。刪除Validate代碼審查從Klocwork 2024.2開始,代碼審查功能及其相關(guān)命令行工具已從Validate中刪除。預告CentOS Linux 7和RHEL 7的終止支持 - Klocwork 2024.3從Klocwork 2024.3開始,將不再支持CentOS Linux 7和RHEL 7。CentOS Linux 7已到達生命周期終點,而RHEL 7的維護也于2024年6月30日結(jié)束。NIS訪問控制的停用從Klocwork 2024.3開始,將不再支持NIS訪問控制。部分功能可能會在2024.2版本中受到影響。+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
基于 Arm Cortex-R82AE 簡化高性能區(qū)域控制器的軟件開發(fā)
2024-07-25
作者:Arm 汽車事業(yè)部高級產(chǎn)品經(jīng)理 Prakash Mohapatra在之前的一篇推文中曾談到過,汽車行業(yè)的近期發(fā)展趨勢正在推動對汽車架構(gòu)中區(qū)域控制器和域控制器的需求。而基于 Armv8-R 的 Arm Cortex-R52 和 Cortex-R52+ 核心正是滿足區(qū)域控制器和域控制器設(shè)計和性能需求的理想之選。Cortex-R52 和 Cortex-R52+ 已廣泛應用于汽車設(shè)計領(lǐng)域,既包括獨立的微控制器 (MCU),也有與 Cortex-A 核心結(jié)合的異構(gòu)設(shè)計。對于更多特性和功能的需求使得車載算力要求與日劇增。在追求更高性能的過程中,區(qū)域控制器的發(fā)展也齊頭并進。為應對新興的電子/電氣 (E/E) 架構(gòu)引發(fā)的應用整合趨勢,對更高性能區(qū)域控制器的需求愈發(fā)高漲。在某些設(shè)計場景中,可能需要多個 Cortex-R52 和 Cortex-R52+ 集群來滿足性能要求。新的 Arm Cortex-R82AE為了滿足區(qū)域控制器的高性能需求,Arm 推出了基于 Armv8-R AArch64 架構(gòu)的 Cortex-R82AE。Cortex-R82AE 核心現(xiàn)已向合作伙伴開放授權(quán)并可部署到其設(shè)計中。作為首款采用 Armv8-R AArch64 架構(gòu)的汽車增強 (AE) 處理器,Cortex-R82AE 提供先進的功能安全性和出色的單核性能。Cortex-R82AE 不僅拓展了性能邊界,更為汽車合作伙伴提供了擴展產(chǎn)品系列的升級途徑。Cortex-R82AE 的優(yōu)勢Cortex-R82AE 進一步擴大了已被廣泛采用的 Cortex-R 系列在汽車市場的覆蓋范圍。這款 64 位處理器支持每個集群多達八個核心。其內(nèi)存系統(tǒng)經(jīng)過增強后,具備更寬的集群端口和共享 L2 緩存,能夠提供更高的性能。與此同時,通過支持集群內(nèi)和集群間一致性,Cortex-R82AE 簡化了面向更高計算對稱多處理 (SMP) 設(shè)計的軟件開發(fā)流程。此外,作為首款汽車增強 Cortex-R 處理器,Cortex-R82AE 配備了可選的內(nèi)存管理單元 (MMU),能夠支持 Linux、Adaptive AUTOSAR 等功能強大的操作系統(tǒng)。除此之外,與 Cortex-R 系列的其他核心一樣,Cortex-R82AE 也配備了內(nèi)存保護單元 (MPU)。它支持實時虛擬化,可在單個核心上運行功能強大的操作系統(tǒng),以及 Zephyr、FreeRTOS、Classic AUTOSAR 等實時操作系統(tǒng)。虛擬機管理程序可確保運行不同軟件組件的虛擬機之間互不干擾 (FFI)。Cortex-R82AE 可與 Cortex-A 核心等應用處理器一起部署在異構(gòu)設(shè)計中。由于應用處理器核心集群和 Cortex-R82AE 集群具有統(tǒng)一的內(nèi)存視圖,對大地址位寬的支持簡化了系統(tǒng)集成。在這種異構(gòu)設(shè)計中,Cortex-R82AE 的主要用例之一是充當安全島。安全島的目的是進行故障報告并驗證應用處理器的運行情況。它還可用于實時任務、啟動編排和系統(tǒng)測試。升級至 Cortex-R82AE為了滿足區(qū)域控制器和安全島設(shè)計的新興需求,目前采用 Cortex-R52 和 Cortex-R52+ 的合作伙伴考慮在其即將推出的產(chǎn)品中升級到 Cortex-R82AE。為了支持這一升級過程,Arm 精心編制了一份指南,為合作伙伴如何將其現(xiàn)有軟件遷移到基于 Cortex-R82AE 的設(shè)計中提供建議。該指南同樣適用于 Cortex-R82AE 的新項目開發(fā)。除了提供軟件遷移指導外,該指南還討論了基于 Armv8-R AArch32 的 Cortex-R52 和 Cortex-R52+,與基于 Armv8-R AArch64 的 Cortex-R82AE 之間的主要區(qū)別。其中包含以下幾個部分:指令集架構(gòu) (ISA):該節(jié)列出了 Armv8-R AArch32 和 Armv8-R AArch64 架構(gòu)上使用的不同指令集。該節(jié)還闡述了這兩種架構(gòu)在浮點支持和寄存器集方面的差異。異常模型:深入探討這兩種架構(gòu)中的異常向量表和異常處理的細節(jié)。內(nèi)存模型:Armv8-R AArch32 僅支持物理地址;而 Armv8-R AArch64 還支持虛擬內(nèi)存。該節(jié)討論內(nèi)存映射和虛擬內(nèi)存系統(tǒng)架構(gòu) (Virtual Memory System Architecture, VMSA),僅 Armv8-R AArch64 支持 VMSA 架構(gòu)。系統(tǒng)寄存器:深入探討這兩種架構(gòu)中包含的系統(tǒng)寄存器。安全性:Cortex-R82AE 支持“僅安全訪問”狀態(tài),因此它可以發(fā)起正常訪問和安全內(nèi)存訪問。而基于 Armv8-R AArch32 的 Cortex-R52 和 Cortex-R52+ 僅支持正常訪問狀態(tài)。虛擬化:利用 EL2 MPU 技術(shù)的 Cortex-R82AE 以及 Cortex-R52 和 Cortex-R52+ 核心均支持虛擬化,可確保在同一設(shè)備上運行的多個混合關(guān)鍵軟件組件之間互不干擾 (FFI)。而 Cortex-R82AE 具有可選的 EL1 MMU,適合在虛擬機中運行 Linux 等功能強大的操作系統(tǒng)的同時,使用 EL1 MPU 運行實時操作系統(tǒng)。編譯器和優(yōu)化:該節(jié)圍繞基于 Cortex-R52 和 Cortex-R52+,以及 Cortex-R82AE 的開發(fā),提供關(guān)于編譯選項的提示和指導。閱讀指南 了解更多信息Cortex-R82AE 可連接至更大容量的內(nèi)存,并同時具備更高的性能,可助力合作伙伴在不影響域控制器和區(qū)域控制器設(shè)計的實時性要求下,實現(xiàn)更大的計算處理能力。更多關(guān)于 Cortex-R52/Cortex-R52+ 與 Cortex-R82AE 之間的對比,以及將軟件遷移到基于 Cortex-R82AE 的設(shè)計,可于《從 Armv8-R AArch32 到 Armv8-R AArch64 的軟件遷移指南》獲取更多細節(jié)。本文轉(zhuǎn)自公眾號"Arm社區(qū)“+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
MDK-ARM Version 5.40 升級說明
2024-06-11
MDK-ARM Core 安裝MDK 5.40中的MDK默認安裝文件夾已從“C:\Keil_v5\”更改為“%LOCALAPPDATA%\Keil_v5 \”。此目的地通常提供足夠嚴格的文件權(quán)限,以防止出現(xiàn)安全漏洞CVE-2022-43701。用戶應確保安裝文件夾的有正確的權(quán)限。μVision 升級為V5.40.0.0將“Project”菜單下“Export Menu”項更新為“Save<project>.uvprojx to csolution format”。Open Project...的CMSIS Solution項目調(diào)用cbuildsetup命令,該命令的結(jié)果將在輸出窗口顯示。如果命令失敗,則中止加載項目。修復報告的錯誤后,重新打開solution項目。在啟動μVision前需在%PATH%中安裝cmake 3.25.2及以上版本和ninja 1.10.2及以上版本。μVision構(gòu)建按鈕可以使用CMSIS-Toolbox來構(gòu)建“*.cbuild-set.yml”中指定的內(nèi)容。從μVision調(diào)用構(gòu)建時,所有注冊的Arm編譯器6版本都會自動注冊,增加了對STM32CubeMX作為全局生成器的支持。更新的MDK Pack包的安裝:修復配置代理服務器的問題。在 “pack”的選項卡頂部添加了復選框,從而可以隱藏不推薦的包。默認隱藏不推薦的包。包含的Arm CompilerArm Compiler 6 version 6.22 -了解更多細節(jié)請參見發(fā)布說明。包含的Software PacksKeil - MDK-Middleware 7.17.0 Event Recorder組件使用在CMSIS-View中(不推薦使用Compiler包中的)Network組件 Version 7.19.0(網(wǎng)絡(luò)組件6.7.7版已被棄用并被刪除)FileSystem 組件Version 6.16.6USB組件Version 6.17.0Arm - CMSIS 6.1.0 增加了對Arm Cortex-M52的支持。增加了CoreDebug以與CMSIS_5兼容。使用define “CMSIS_DISABLE_DEPRECATED”隱藏符號。Arm - CMSIS-Compiler 2.1.0可與基于Arm Cortex-M52的設(shè)備一起使用。有關(guān)錯誤修復,請參閱修訂記錄。Arm -CMSIS-Driver@2.8.0與CMSIS v6一致。Arm -CMSIS-DSP@1.15.0(沒有變化)Arm -CMSIS-NN@5.0.0這是不向后兼容的API更改,用于提高MVE擴展的FC讀取效率。新的API更改為arm_vector_sum_s8、arm_svdf_s8和arm_svdf_s8_get_buffer_size_mve。有關(guān)詳細信息,請參閱arm_nnfunctions.h。Arm -CMSIS-RTX@5.9.0 可與Arm Cortex-M52的設(shè)備一起使用。刪除了對“Device:Startup”組件的依賴關(guān)系。Arm -CMSIS-View@1.1.0可與基于Arm Cortex-M52的設(shè)備一起使用。Arm -Cortex_DFP@1.1.0增加了基于Arm Cortex-M52的設(shè)備“ARMCM52”CMSIS-Toolbox將CMSIS工具箱更新至2.4.0版本。有關(guān)詳細信息,請參閱發(fā)行說明。Cortex-M Corstone modelsAVH FVP Models更新至11.24.24版本。增加了Corstone SSE-315(Cortex-M85)Mali-C55圖像信號處理器(ISP)和Ethos-U65機器學習處理器(NPU)。增加了Cortex-M52內(nèi)核(MPS2)的型號。AVH FVP Models只能在MDK使用(UBL)激活的情況下運行。如果要在元許可技術(shù)下運行模型,則需要從舊的MDK安裝中復制VHT/FVP模型。AVH Models以前位于'[install_dir]\ARM\VHT',現(xiàn)在已移至'[install_dir]\ARM\avh_fvp'并重命名(以 “FVP_”開頭,而非“VHT_”開頭)。這使MDK安裝程序中的AVH FVP與其他渠道(如Arm tools artifactory)完全一致。Target debuggingSegger J-Link:更新調(diào)試驅(qū)動程序到7.96h版本。STMicroelectronics ST-LINK:更新調(diào)試驅(qū)動程序到3.3.0版本。更新固件升級實用程序ST-Link Upgrade.exe到3.15.6版本。Nuvoton NU-Link:更新調(diào)試驅(qū)動程序到3.15.7623r版本。+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
Perforce Software發(fā)布了2024年汽車軟件開發(fā)狀況的研究報告
2024-06-03
隨著軟件定義汽車越來越成為一個共識,Perforce對汽車行業(yè)軟件開發(fā)狀態(tài)進行了調(diào)查,結(jié)果顯示了世界各地開發(fā)人員的主要關(guān)注點。這項由automotiveIQ和EclipseFoundation聯(lián)合開展的對全球600名汽車開發(fā)專業(yè)人士的調(diào)查發(fā)現(xiàn),滿足網(wǎng)絡(luò)安全標準批準的法規(guī)是最重要的安全關(guān)注問題,同時代碼質(zhì)量和全球經(jīng)濟也很重要。這項年度調(diào)查擴大了地域范圍,包括更多來自亞太地區(qū)的受訪者,提供了對全球汽車發(fā)展現(xiàn)狀的更準確看法,并強調(diào)了中國作為關(guān)鍵參與者的作用。汽車軟件開發(fā)人員最關(guān)心的三個問題是質(zhì)量(29%)、安全性(25%)和安全性(21%)。質(zhì)量是亞太地區(qū)受訪者最關(guān)心的問題,而安全是所有其他地區(qū)受訪者最關(guān)心的問題。100%覆蓋MISRA c++:2023Klocwork擴大了SAST持續(xù)合規(guī)覆蓋范圍電動汽車和網(wǎng)聯(lián)汽車的開發(fā)也極大地影響了開發(fā)團隊。大多數(shù)團隊現(xiàn)在都在某種程度上研究電子組件(84%)和連接組件(79%)。今年從功能安全到網(wǎng)絡(luò)安全的轉(zhuǎn)變表明,盡管汽車行業(yè)的安全標準已經(jīng)確立,但嵌入式安全——尤其是滿足網(wǎng)絡(luò)安全標準和執(zhí)行安全編碼實踐的法規(guī)——將是未來幾年汽車專業(yè)人士關(guān)注的重要焦點。汽車軟件開發(fā)人員需要關(guān)注的另外十個問題召回率正在下降,從去年的56%降至36%。這可能與代碼漏洞的減少有關(guān)(從2023年的52%減少到40%)。驗證和確認軟件是最耗時的活動——占47%,其次是審查代碼的錯誤/編碼規(guī)則違反——占34%。敏捷是最流行的開發(fā)方法,占51%,其次是模型驅(qū)動開發(fā),占47%。人工智能正在取得重大進展——它的使用率達到75%。開源很普遍——70%的人使用開源工具。51%的人積極從事電動汽車的研發(fā),33%的人從事一些電動部件的研發(fā)。網(wǎng)聯(lián)汽車也對產(chǎn)品設(shè)計產(chǎn)生了影響——39%的人正在積極開發(fā)網(wǎng)聯(lián)汽車,43%的人正在開發(fā)一些聯(lián)網(wǎng)組件。符合ISO26262是大多數(shù)(77%)企業(yè)的要求82%的人使用編碼標準,62%的人使用MISRA?,比去年增加了20%。32%的人使用AUTOSAR C++14,減少了4%。C++仍然是汽車軟件開發(fā)的主要編程語言(51%);然而,C迅速趕上,從34%增加到50%。Perforce產(chǎn)品總監(jiān)SteveHoward表示:“隨著保護汽車電子系統(tǒng)、通信網(wǎng)絡(luò)和軟件的需求不斷增長,嵌入式安全問題也在不斷上升?!癘EM及其供應鏈合作伙伴希望防止代價高昂的惡意攻擊、未經(jīng)授權(quán)的訪問或?qū)ζ囅到y(tǒng)的操縱,確保其代碼的安全性是減少這些事件的第一步。”全球經(jīng)濟繼續(xù)對汽車軟件專業(yè)人員產(chǎn)生最大的市場影響,這意味著在其他戰(zhàn)略中,保持行業(yè)競爭力和最大化現(xiàn)有資源在2024年非常重要。Perforce的調(diào)查結(jié)果還表明,越來越多的人轉(zhuǎn)向混合/遠程工作,越來越多的人關(guān)注團隊生產(chǎn)力和加速開發(fā)。隨著電動汽車和聯(lián)網(wǎng)汽車在當今市場上的地位日益確立,軟件在汽車開發(fā)中更加重要。在車輛中使用越來越多的軟件會導致在開發(fā)過程中更多的安全考慮-最好盡早。在接受調(diào)查的人員中,59%的汽車開發(fā)人員已經(jīng)采用或正在采用左移策略,以便在編碼時識別軟件漏洞。一些專業(yè)工具的使用率正在上升——自2023年以來,靜態(tài)代碼分析軟件的使用率上升了25%,現(xiàn)在使用率為67%(去年為42%)。同樣,版本控制系統(tǒng)的使用率從38%上升到56%,增幅為18%。另一個值得注意的發(fā)現(xiàn)是,82%的受訪者使用編碼標準來確保代碼的功能安全、網(wǎng)絡(luò)安全和提高可靠性——67%的受訪者使用靜態(tài)代碼分析工具來幫助滿足合規(guī)需求,26%的受訪者使用SAST工具來確保軟件的安全。今年,62%的受訪開發(fā)者使用了MISRA,比去年增加了20%。新的MISRA指南(MISRAC:2023和MISRAC++:2023)的發(fā)布可能是使用該標準的受訪者急劇增加的原因?!罢麄€汽車行業(yè)的組織都在努力達到最高的質(zhì)量水平,”合規(guī)總監(jiān)吉爾·布里頓(JillBritton)說。“隨著電動汽車和聯(lián)網(wǎng)汽車的快速增長,遵守安全標準將比以往任何時候都更加重要?!盤erforce提供用于C和C++編程語言的HelixQAC靜態(tài)代碼分析器,以及用于C,C++,C#,Java,JavaScript,Python和Kotlin編程語言的Klocwork靜態(tài)分析和SAST工具。該調(diào)查可在https://www.perforce.com/resources/sca/2024-state-automotive-software-development-report上查閱。+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
Perforce,從合規(guī)開始:電動汽車軟件概述
2024-05-20
介紹汽車軟件開發(fā)過程的一個重要部分是確保軟件符合關(guān)鍵的行業(yè)標準和指導方針。對于電動汽車來說,很真實的一點是許多硬件組件已經(jīng)被電子元件所取代。對于電動汽車軟件來說,存在安全和安保方面的擔憂。然而,這些問題可以通過功能安全和安全性編碼標準和指導方針得到有效解決。在這里,我們概述了關(guān)鍵的汽車標準和指導方針,以及特別適用于電動汽車的合規(guī)性最佳實踐。電動汽車軟件所有電動汽車部件都有一定的安全和保障要求,但覆蓋水平因部件的功能而異。顯然,電動汽車對于制動系統(tǒng)有重要的安全要求,外部通信的車載信息娛樂(IVI)必須考慮網(wǎng)絡(luò)安全問題。在電動汽車中,電池管理系統(tǒng)需要考慮車輛內(nèi)部的安全性,以及與外界通信的安全性。未來,車輛內(nèi)的領(lǐng)域和區(qū)域控制器將會增加,許多獨立的、不同的組件將整合到整個車輛的分布式平臺上。這會導致安全、調(diào)度和網(wǎng)絡(luò)安全問題。這些問題中的許多都可以通過實施編碼標準來解決,編碼標準是編碼規(guī)則、指導方針和最佳實踐的集合。汽車的主要標準是ISO26262。所有組件都需要滿足ISO 26262,未來還將需要滿足ISO/SAE 21434。這些功能標準都建議使用編碼指南來檢測編程語言中未定義的和關(guān)鍵的未指定行為。主要汽車編碼指南MISRAMISRA(汽車工業(yè)軟件可靠性協(xié)會)最初是為汽車工業(yè)開發(fā)的,為開發(fā)安全關(guān)鍵系統(tǒng)提供編碼標準,并已擴展到安全領(lǐng)域。它現(xiàn)在被用于所有要求安全關(guān)鍵系統(tǒng)的行業(yè)。MISRA C最初發(fā)布于1998年,最新版本是MISRA C:2023涵蓋C90, C99和C11。它現(xiàn)在是世界上使用最廣泛的C編程指南。2008年,MISRA C++發(fā)布,現(xiàn)在被安全關(guān)鍵開發(fā)人員廣泛使用。2023年有一個更新,涵蓋C++的后續(xù)版本。AUTOSAR C++14AUTOSAR(汽車開放系統(tǒng)架構(gòu))編碼指南適用于在關(guān)鍵和安全相關(guān)系統(tǒng)中使用C++14語言。它們是為AUTOSAR自適應平臺開發(fā)的,但適用于任何用C++編寫的安全關(guān)鍵應用程序。AUTOSAR C++ 14基于MISRA C++:2008編碼指南,但增加了其他C++編碼標準的最佳特性,如JSF和CERT C++。它允許使用其他C++編碼標準所不允許的一些特性,包括:—?Dynamic?Memory? ?動態(tài)內(nèi)存—?Exceptions? ? ? ? ? ? ? 免責條款—?Templates? ? ? ? ? ? ? ?模板—?Inheritance? ? ? ? ? ? ? 繼承—?Virtual?Functions? ? ?虛擬函數(shù)—?AUTOSAR C++?14CERTCERT(計算機應急準備小組)是一種安全編碼標準,支持常用的編程語言,如C、C++和Java。它由針對不安全編碼實踐和導致安全風險的未定義行為的規(guī)則和建議組成。軟件安全和網(wǎng)絡(luò)安全編碼指南最佳實踐在選擇和實現(xiàn)編碼準則時,需要考慮應用程序。顯然,編程語言是第一步,但通常這已經(jīng)由項目決定了。這將決定可用的編碼指南。接下來,應用程序的范圍——它是需要做到安全至上的還是需要關(guān)注網(wǎng)絡(luò)安全的?SAFETY-CRITICAL安全至上MISRA和AUTOSAR C++ 14都用于安全關(guān)鍵型應用程序,因為它們可以識別未指定和關(guān)鍵的未定義的語言行為。CYBERSECURITY網(wǎng)絡(luò)安全所有的防御實現(xiàn)技術(shù)都應該從使用公認的編碼標準開始。MISRA(特別是C:2012 Revision 1)和CERT C都通過識別關(guān)鍵的和未指定的語言行為來實現(xiàn)這一目標,從而使生成的代碼更可靠,更不容易出錯,更容易維護。所需的覆蓋級別可能根據(jù)組件的功能而有所不同,因此可能僅應用檢測高風險違規(guī)的規(guī)則就足夠了。CERT定義每個規(guī)則的風險,MISRA C應用一個類別。兩者都允許涵蓋規(guī)則的子集。對于任何使用C語言的項目,汽車網(wǎng)絡(luò)安全編碼標準ISO/SAE 21434建議使用MISRA C:2012 Revision 1和CERT C指南。然而,任何禁用編碼指南中規(guī)則的決定都必須要仔細考慮,因為通常需要進行解釋說明。電動汽車功能安全對傳統(tǒng)內(nèi)燃機汽車至關(guān)重要的功能安全標準對電動汽車同樣重要。ISO 26262:汽車功能安全ISO 26262 -“道路車輛-功能安全”,是汽車行業(yè)使用的主要功能安全標準。這是一項基于風險的安全標準,適用于生產(chǎn)車輛的電氣和/或電子系統(tǒng)。這包括駕駛輔助、推進和車輛動力學控制系統(tǒng)。ISO 26262涵蓋了整個開發(fā)過程的功能安全方面,從需求規(guī)范到設(shè)計和實施,再到驗證和確認。為什么ISO 26262對電動汽車軟件很重要汽車安全完整性等級(ASIL)是ISO 26262的關(guān)鍵要素,用于衡量特定系統(tǒng)組件的風險。系統(tǒng)越復雜,系統(tǒng)故障和隨機硬件故障的風險越大。ASIL分為四個等級,從A到D。ASIL A是最低風險水平,ASIL D是最高風險水平。遵從性要求在從A到D的過程中變得更加嚴格。QM(質(zhì)量管理)是一個額外的選項,用于沒有安全需求的特定組件。決定ASIL的三個關(guān)鍵因素ASIL由三個因素決定:嚴重程度、暴露度和可控性。嚴重程度:嚴重性衡量的是系統(tǒng)故障造成的人員和財產(chǎn)損失的嚴重程度。嚴重程度分為四類:1. S0沒有傷害。2. S1: 輕度至中度傷害。3. S2:嚴重到危及生命(可能生存)的傷害。4. S3:危及生命(生存不確定)到致命傷害。暴露度:暴露度描述了在什么條件下某個特定的故障可能會引發(fā)安全隱患。每個條件按照發(fā)生的概率,分為了以下五個等級:1. E0:完全不可能。2. E1: 概率極低(僅在極少數(shù)操作條件下才會發(fā)生傷害)。3. E2:低概率。4. E3:中等概率。5. E4:高概率(在大多數(shù)操作條件下都可能發(fā)生傷害)??煽刂菩?可控性是對危險情況發(fā)生時避免傷害的可能性的度量。這種情況可能是由于駕駛員的行為或外部措施造成的。危險情況的可控性分為四個等級:1. ?C0:總體可控。2. ?C1: 容易控制。3. ?C2: 一般可控(大多數(shù)司機可以采取行動防止受傷)。4. C3:難以控制或無法控制。如何確定ASILS一旦確定了嚴重性、暴露度和可控性,就可以確定ASIL。下表提供了如何完成此任務的指導。ISO 26262由11個部分組成,其中第6部分:軟件產(chǎn)品開發(fā)和第8部分:支持過程特別適用于電動汽車軟件開發(fā)。第6部分包含一系列表,其中包括定義軟件過程的方法。(完整的表格可參閱我們的白皮書《如何遵從ISO 26262標準》。)對于每種方法,推薦使用相應方法的程度取決于ASIL,分類如下:—“++”表示高度推薦該方法用于已識別的ASIL?!?”表示推薦該方法用于已識別的ASIL。-“o”表示不推薦也不反對該方法用于已識別的ASIL。例如,在下面的表6中(第7頁),子程序和函數(shù)中的一個入口點和一個出口點被強烈推薦給所有的ASIL等級,而沒有遞歸只被推薦給較低的級別。重要的是要注意,用于協(xié)助遵守ISO 26262的任何工具都必須經(jīng)過認證,以確保結(jié)果是有效的。因此,使用已經(jīng)通過認證的工具更容易,例如Perforce靜態(tài)分析工具- Helix QAC和Klocwork -已通過TüV-SüD的ASIL D級認證。ISO 26262要求應用編碼標準來實現(xiàn)特定的編碼和設(shè)計指南。通過使用靜態(tài)分析工具,可以更容易地應用諸如MISRA或AUTOSAR C++ 14之類的編碼標準。電車功能安全對傳統(tǒng)內(nèi)燃機汽車至關(guān)重要的功能安全標準對電動汽車同樣重要。ISO / SAE 21434:汽車軟件安全ISO/SAE 21434“道路車輛-網(wǎng)絡(luò)安全工程”是一項汽車標準,重點關(guān)注道路車輛電子系統(tǒng)的網(wǎng)絡(luò)安全風險。該標準涵蓋了車輛生命周期的所有階段,通過應用網(wǎng)絡(luò)安全工程從設(shè)計到退役。這適用于車輛中的所有電子系統(tǒng)、組件和軟件,以及任何外部連接。此外,ISO/SAE 21434提供了一種全面的方法來實現(xiàn)跨越整個供應鏈的安全保障。為什么ISO/SAE21434對電動汽車軟件很重要ISO/SAE 21434對于電動汽車軟件非常重要,因為目前的安全關(guān)鍵標準不足以覆蓋網(wǎng)絡(luò)安全風險。該標準提供了一個結(jié)構(gòu)化的流程,以確保將網(wǎng)絡(luò)安全考慮納入汽車產(chǎn)品的整個生命周期。該標準要求汽車制造商和供應商在實施網(wǎng)絡(luò)安全工程時表現(xiàn)出盡職盡責,并在整個供應鏈中應用網(wǎng)絡(luò)安全管理來支持它。如何滿足ISO/SAE21434合規(guī)要求ISO/SAE 21434對軟件開發(fā)有特定的要求,其中包括檢查固有弱點的分析,以及與網(wǎng)絡(luò)安全需求相關(guān)的整體一致性、正確性和完整性。網(wǎng)絡(luò)安全應該處于所有設(shè)計決策的最前沿,包括選擇用于軟件開發(fā)的編程語言。在選擇編程語言時需要考慮幾個標準,其中包括:?安全設(shè)計和編碼技術(shù)。?明確的語法和語義定義。然而,其中一些標準可能沒有在選定的語言中得到充分的處理。因此,建議使用編碼標準(如MISRA和CERT)來解決所選語言的缺陷。Perforce如何幫助確保安全、可靠和符合標準的電動汽車軟件為了有效地識別軟件安全漏洞和弱點,以及執(zhí)行推薦的編碼標準和指導方針,應該使用行業(yè)標準化工具——特別是靜態(tài)分析工具。通過使用靜態(tài)分析工具,您可以通過以下方式加快標準遵從性:? 執(zhí)行編碼標準并檢測違規(guī)行為。? 在開發(fā)早期發(fā)現(xiàn)合規(guī)性問題。? 加快代碼審查和手動測試工作。??報告不同時間不同產(chǎn)品版本的合規(guī)性。此外,Perforce靜態(tài)分析工具完全符合MISRA和CERT指南。它們還通過TüV- SüD認證,可用于安全關(guān)鍵系統(tǒng),包括ISO 26262高達ASIL D級。請了解Perforce靜態(tài)分析工具如何幫助確保電動汽車軟件的功能安全和網(wǎng)絡(luò)安全。+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
Keil MDK 第六版現(xiàn)已推出:解決嵌入式開發(fā)中的復雜挑戰(zhàn)
2024-05-06
如今,嵌入式、物聯(lián)網(wǎng) (IoT) 和邊緣機器學習 (ML) 應用廣泛基于 Arm 平臺運行。目前有超過 45 家芯片供應商提供 10,000 多種基于 Arm Cortex-M 系列處理器的不同微控制器。毫無疑問,Cortex-M 處理器系列已經(jīng)成為了這些領(lǐng)域事實上的行業(yè)標準。多年來,Arm 提供 Keil 微控制器開發(fā)套件 (Keil Microcontroller Development Kit, Keil MDK)。這是面向基于 Cortex-M 打造的嵌入式、物聯(lián)網(wǎng)和邊緣 ML 應用的最為全面的軟件開發(fā)解決方案。近期,Arm 正式發(fā)布了針對 Cortex-M 和 Arm Ethos-U 處理器產(chǎn)品系列進行了整體優(yōu)化的 Keil MDK 第六版(下文簡稱 MDK v6)。隨著物聯(lián)網(wǎng)終端設(shè)備變得更加智能,ML 模型等工作負載也越來越復雜,為此,MDK v6 能與 MLOps 工作流程集成,并支持 Arm 虛擬硬件,以便在 DevOps 系統(tǒng)中進行驗證,為開發(fā)者應對新的軟件挑戰(zhàn)。MDK v6 框圖MDK v6 增加了許多新功能,可幫助開發(fā)者進一步提高效率:Keil Studio 以微軟的 Visual Studio Code 編輯器為基礎(chǔ),為基于 Cortex-M 的微控制器提供新的開發(fā)平臺。它可全面支持新的 CMSIS 工作流,可以固定軟件和工具版本,進而確保了項目構(gòu)建的可重復性。Keil Studio 包含集成調(diào)試器,并提供相關(guān)組件,以便在 Windows、Linux 和 macOS 主機上創(chuàng)建、構(gòu)建和測試嵌入式應用。Visual Studio Code 與 Git 版本控制集成,并提供豐富的第三方擴展。這使得 Keil Studio 成為嵌入式物聯(lián)網(wǎng)或 ML 項目的靈活、可擴展的開發(fā)平臺。在 keil.arm.com 網(wǎng)站上,開發(fā)者可以搜索開發(fā)板、設(shè)備、軟件包和數(shù)千個代碼示例。Keil Studio 也可用作基于瀏覽器的零安裝應用,與本地連接目標相連,以進行簡單的運行/停止調(diào)試?,F(xiàn)在,MDK 中間件可免費使用。多年來,這一屢經(jīng)驗證的中間件一直是專業(yè) MDK 版本的組成要件。Arm 現(xiàn)向所有 MDK 用戶開放該中間件,以支持廣泛的應用。例如,同步數(shù)據(jù)流框架 (SDS) 使用文件系統(tǒng)組件來保存記錄的傳感器數(shù)據(jù),以便日后在 MLOps 系統(tǒng)中回放。CMSIS 工具箱可實現(xiàn)基于 CMSIS 軟件包的開發(fā)流程,是 MDK v6 的重要組件。它不僅可以在 Keil Studio 中使用,還可以在 μVision IDE 中使用,μVision IDE 多年來一直是嵌入式開發(fā)的事實標準。CMSIS 軟件包框架支持可使用多個工具鏈(例如 Arm Compiler 6、GCC 和 LLVM)的項目。該軟件包系統(tǒng)提供可重復使用的軟件組件,包括來自許多供應商的各種 RTOS 內(nèi)核、設(shè)備驅(qū)動程序和中間件。Arm 虛擬硬件固定虛擬平臺 (Arm Virtual Hardware Fixed Virtual Platform) 仿真模型可實現(xiàn)軟件工作負載的測試自動化。與 Keil MDK 的集成支持在桌面系統(tǒng)上開發(fā)和驗證測試用例。通過桌面和基于云的工作流相結(jié)合,開發(fā)者將可運用 CI/CD、DevOps 和 MLOps 的核心概念以及軟件優(yōu)先的開發(fā)方法。將 FuSa RTS 和 FuSa C 庫添加到 MDK-Professional 后,開發(fā)者可以更胸有成足地為功能安全系統(tǒng)創(chuàng)建應用。經(jīng)過預認證的軟件庫以及全面的文檔和實踐材料可幫助開發(fā)者在更短的時間內(nèi)實現(xiàn)目標。新的基于用戶的授權(quán)許可 (UBL) 簡化了授權(quán)許可過程,并在任何主機上均可支持用戶憑證。CMSIS 軟件包系統(tǒng)有助于輕松管理產(chǎn)品生命周期,在編寫第一行代碼到完成和維護的過程中提供出色的支持。Arm 與其生態(tài)系統(tǒng)合作伙伴共同致力于解決軟件日趨復雜的難題,并為軟件開發(fā)者提供適用于一系列工具鏈和標準化軟件組件的統(tǒng)一工作流。借助 Arm 平臺,開發(fā)者可選擇不同的工具鏈、軟件組件和 IDE,使得處理器與其新應用能夠完美匹配。MDK v6 將助力開發(fā)者在 Arm 架構(gòu)上構(gòu)建物聯(lián)網(wǎng)的未來。* 本文為 Arm 原創(chuàng)文章,原文鏈接+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
Klocwork 2024.1新功能
2024-04-22
在今年的第一個版本中,Klocwork 2024.1為 Perforce的持續(xù)安全性和代碼合規(guī)性平臺 Validate 引入了新功能和改進?,F(xiàn)在,Validate的升級過程更快、更有彈性和用戶友好。您可以排除項目、確定遷移優(yōu)先級、在不重新啟動服務器的情況下單獨遷移項目、無縫處理失敗的遷移等等。這個版本還改進了對使用 C/C++、C# 和 Java 開發(fā)的使用 Bazel 構(gòu)建系統(tǒng)的項目的支持。Klocwork 2024.1 擴展了編碼標準執(zhí)行范圍,新增支持MISRA C++:2023?。除了提供改進的搜索功能和增強的角色權(quán)限等用戶體驗功能外,Validate 還增加了一個新功能,支持以 CSV 格式下載問題列表。與此同時,VSCode IDE 插件增加了對高級差異分析的支持,極大地提升了可用性和整體用戶體驗。新的Validate平臺功能改進及提升升級和遷移改進即使某些項目無法遷移,也可以通過啟動Validate服務來更快地啟動和運行。 成功的遷移將立即可用,失敗的遷移將自動禁用。 無需重新啟動Validate服務即可遷移各個項目,從而節(jié)省時間。 應用修復并重新遷移有問題的項目,而不會中斷已成功遷移的項目的使用。項目遷移狀態(tài)Validate項目列表提示項目的當前狀態(tài),并提供可操作的建議來解決升級和遷移期間可能出現(xiàn)的問題??梢詥⒂?禁用項目以限制升級期間的使用,而遷移失敗的項目將不再阻止Validate服務啟動。項目狀態(tài)將通知用戶需要完成遷移。還可以使用kwadmin命令或Web API查詢當前項目狀態(tài)。從遷移中排除單個項目為了加快遷移速度,您可以排除特定的項目。被排除的項目將不會被遷移,并且將在Validate中顯示為禁用。然后您可以單獨遷移和啟用被排除的項目,而無需重新啟動Validate服務。有關(guān)詳細信息,請參見遷移projects_root目錄。優(yōu)先遷移特定項目為了優(yōu)先處理重要項目,您可以指定一個優(yōu)先級列表,指定項目遷移的順序。未包含在列表中的項目將按照其項目 ID 的順序進行遷移。要了解更多信息,請參見遷移projects_root目錄。導入或復制現(xiàn)有項目現(xiàn)在即使項目名稱與目標服務器上的現(xiàn)有項目匹配,您也可以從另一個 Validate 服務器導入項目。有關(guān)更多信息,請參閱導入您的項目和服務設(shè)置。改進的遷移日志遷移日志得到了很大的改進,提供了關(guān)于項目遷移步驟狀態(tài)的詳細信息,并且日志被持久化以幫助必要時進行故障排除。 將問題列表下載為CSV在問題頁面頂部新增的CSV下載按鈕將基于 Validate 中當前搜索查詢下載缺陷列表。對于額外的問題信息,如行號、注釋和理由,您需要訂閱Validate高級合規(guī)報告包。擴展搜索Validate 模塊的正則表達式(RegEx)搜索功能增強了對在指定文件系統(tǒng)路徑時使用 * 和 ** 通配符的支持。有關(guān)更多信息,請參閱模塊文檔。新的角色權(quán)限增加了更改問題所有者權(quán)限,允許用戶更改問題所有者而無需更改問題狀態(tài)。保留許可證日志以進行審計現(xiàn)在您可以保留日志用于審計,方法是將日志附加到許可證服務器的 license.report.log 文件中,而不是在服務重新啟動后覆蓋該文件。要了解 append.license.logging 設(shè)置的詳細信息,請參閱 kwservice 或 validate 服務。分析Bazel構(gòu)建的項目2024.1 改進了對使用 C/C++、C# 和 Java 開發(fā)的使用 Bazel 構(gòu)建系統(tǒng)的項目的支持。在 Linux上使用構(gòu)建集成命令 kwbazel,或在 Android 項目中使用 kwandroid 的 --bazel 選項。有關(guān)更多用法和相關(guān)信息,請參閱 kwbazel。 MISRA C++:2023?使用Klocwork 針對 MISRA C++:2023 規(guī)則的新編碼標準分類法強制執(zhí)行 MISRA合規(guī)性。 編碼標準Klocwork 2024.1 的新標準和擴展標準覆蓋范圍及分類:CERT C/Java - 為 C 和 Java 的類別名稱和元數(shù)據(jù)添加了級別信息。CWE - C/C++MISRA C++:2023用戶體驗增強IDE 插件Visual Studio Code 現(xiàn)在支持在打開/保存文件時進行差異分析。Visual Studio 狀態(tài)和信息欄經(jīng)過改進,可突出顯示重要信息并減少視覺干擾。編譯器支持增加和改進對以下編譯器的支持:ClangClang-clTasking Tricore?Klocwork 2024.1的重要改變License管理變更從2023.4版開始,Klocwork 工具使用 Reprise 許可證管理器(RLM)v15.1BL2。升級后的 RLM v15.1BL2 服務已包含在 Klocwork 2023.4+ 的安裝包中。任何早期版本的 RLM 服務都需要升級到此版本才能與 Klocwork 2023.4 及更高版本一起使用。FLEXlm/FlexNet Publisher 支持已于 2022.2 版棄用,并且將不再與 Klocwork 2023.1+ 發(fā)行版一起使用。2022年的許可證與 Klocwork 2023.4 或更新版本不兼容。要使用產(chǎn)品的最新版本,請通過 license@perforce.com 聯(lián)系 Perforce 獲取新的許可證。Klocwork 2022 維護結(jié)束所有 Klocwork 2022 版本的維護于 2024 年 3 月 31 日結(jié)束。此外,維護終止(EOM)日期和銷售終止(EOS)日期也于 2024 年 3 月 31 日到期。有關(guān) Klocwork 任何版本支持可用性的信息,請參閱 Klocwork Product Lifecycle。 傳統(tǒng)幫助網(wǎng)站的生命周期結(jié)束從 2024 年 1 月開始,Klocwork 將關(guān)閉 2022 版之前版本的傳統(tǒng)幫助網(wǎng)站,網(wǎng)址為 https://docs.roguewave.com/。這是一則通知,提醒用戶請使用新網(wǎng)站 https://help.klocwork.com/,滿足您的所有文檔需求。版本為 2021.x 及更早版本的文檔需要使用發(fā)布包中提供的離線內(nèi)容進行訪問。在2023.4版本中停止Klocwork服務器安裝從2023.4 版本開始Klocwork 服務安裝已停止。我們建議過渡到 Validate 安裝程序,以獲得更流暢的集成體驗。CLion 插件和桌面工具 2023.4 兼容性這則通知告知用戶以下限制適用于與 2023.4 桌面工具的向后兼容性。僅 2023.4 或更高版本的 Klocwork 桌面工具(kwcheck)可以與 2023.4 CLion 插件一起使用。只有 2023.4 或更高版本的服務器才能與來自 2023.4 的 kwcheck 和桌面工具一起用于連接項目。預告Klocwork Jenkins 插件的生命周期結(jié)束 - Klocwork 2024.2這是一個預告,告知客戶我們計劃在 2023.4 版本中棄用 Klocwork 的自定義 Jenkins 插件,并從 2024.2 版本開始停止隨發(fā)布一起提供。這個自定義 Jenkins 插件提供的好處現(xiàn)在已經(jīng)被Klocwork 原生支持,為我們的工具與 Jenkins、GitHub Actions、Azure DevOps、GitLab CI 等集成提供了更多的靈活性。有關(guān)管理 CI 構(gòu)建的信息,請單擊此處。Klocwork 代碼審查(Inspect)生命周期結(jié)束 - Klocwork 2024.2這是一個預告,告知客戶我們計劃停止支持、許可和銷售代碼審查(Inspect)。計劃在 2024.2 版本中從 Validate 中移除此功能。移除問題分組功能 - 2024 年下半年問題分組在 2023.3 版本中已棄用,這是一個預告,計劃在 2024 年下半年將分組作為一個選項移除。這是一個通知,建議用戶在執(zhí)行遷移之前從以前的版本升級時禁用分組。項目流功能與問題分組不兼容。對于較大的項目和具有大量缺陷的較大文件,禁用分組可以顯著改善Validate數(shù)據(jù)庫的加載時間。原文鏈接+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→
Helix QAC 2024.1新功能
2024-04-22
Helix QAC 2024.1增強了對C++20 和C23 語言特性支持,增加了針對使用多個編譯器的項目進行分析的新功能。此外,Validate 改善了搜索功能、角色權(quán)限等用戶體驗,并新增了問題列表導出為CSV格式的選項。此版本還加強了對 CWE for C/C++、HKMC for C 和 MISRA C++:2023? 合規(guī)模塊的擴展執(zhí)行,提升了用戶體驗。C++20此版本增加了對以下改進的語言特性的支持:C++20 概念(concepts) C++20 縮寫函數(shù)模板(abbreviated function templates)C23此版本還初步支持以下語言特性:當設(shè)置了 -c23constexpr 時,對 C23 constexpr的支持除了擴展語言特性的支持外,Helix QAC還針對GCC 12 和 13 以及MSVC 2022 版本的編譯器進行了改進,以提升用戶體驗。多編譯器項目的支持Helix QAC 現(xiàn)在提供了配置分析設(shè)置的能力,以適用于使用多個編譯器的項目。支持在項目中每種語言的多個CCT。提供一致的分析結(jié)果,減少在不同編譯器環(huán)境中出現(xiàn)誤報或漏報的可能性。為需要靜態(tài)分析的跨平臺開發(fā)項目提供更大的靈活性。有助于識別編譯器特定問題。使開發(fā)人員在項目編譯器選擇方面具有更大的靈活性。新的Validate平臺改進和功能問題列表導出為 CSV 格式在問題頁面頂部新增的 CSV 下載按鈕將基于 Validate 中當前搜索查詢下載一個缺陷列表。要獲取額外的問題信息,如行號、注釋和理由,您需要訂閱 Validate 高級合規(guī)性報告包。擴展搜索Validate 模塊的正則表達式(RegEx)搜索功能提供了對文件系統(tǒng)路徑指定時使用 * 和 ** 通配符的更強大支持。有關(guān)更多信息,請參閱模塊文檔。新的角色權(quán)限添加了更改問題所有者的權(quán)限,允許用戶更改問題所有者而不無法更改問題狀態(tài)。保留許可證日志以用于審計目的現(xiàn)在,您可以保留日志用于審核目的,方法是將日志附加到許可證服務器的 license.report.log 文件中,而不是在服務器重新啟動后覆蓋該文件。要了解 append.license.logging設(shè)置,請參閱 validate 服務。編碼標準覆蓋范圍(CWE、HKMC、MISRA C++:2023?)改進了以下合規(guī)模塊的規(guī)則和指令的執(zhí)行:與NIST 500-268要求相關(guān)的CWE C和CWE C++規(guī)則CWE-259、CWE-412、CWE-367、CWE-99、CWE-321HKMC C-MSC-011MISRA C++:2023 Dir 0.3.2對其他編譯器的支持改進,支持自動生成CCTKeil armcc 改進了對 Clang 12 的支持GCC 12/13 MSVC 2022'qainject' 現(xiàn)在是默認的同步方法性能針對涉及大量分支的結(jié)構(gòu),分析時間普遍減少。libc++對libc++標準庫的支持進行了改進和增強。添加了-iso646keywords 選項,以匹配 -fno-operator-names 行為。啟用時,不使用運算符的替代關(guān)鍵字名稱。編譯器擴展C 的 "compound literal" 功能現(xiàn)在由 QAC++ 作為擴展支持。符號引用改進了對 VCS 和非-VCS 創(chuàng)建的符號鏈接的支持。Visual Studio 和 Eclipse IDE 插件總體穩(wěn)定性改進CLI'qacli project' 的新命令: create、modify、upgrade、config-file操作系統(tǒng)支持 Ubuntu Linux 22.04Helix QAC 2024.1 中的重要變更QACLI admin命令棄用以下命令已被棄用于 'qacli admin',并將在未來的版本中刪除:--qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files合規(guī)性模塊目錄變更提醒:從 Helix QAC 2023.4 版本開始,工具不再從舊的 "PRQA" 目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從與 "Perforce" 文件目錄等效的位置讀取。以下是現(xiàn)在已廢棄的文件目錄: %LOCALAPPDATA%\PRQA\installed_components.ini %PROGRAMDATA%\PRQA\installed_components.ini${HOME}/.config/PRQA/installed_components.ini /etc/prqa.d/installed_components.ini許可證管理變更RLM v15.1 服務器的新安裝程序與 Helix QAC 2024.1 版本一起發(fā)布。 如果將 Helix QAC 與 Validate 2024.1 一起使用,則此服務器版本是必需的,否則是可選的。原文鏈接+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++關(guān)于億道電子上海億道電子技術(shù)有限公司是國內(nèi)資深的研發(fā)工具軟件提供商,公司成立于2009年,面向中國廣大的制造業(yè)客戶提供研發(fā)、設(shè)計、管理過程中使用的各種軟件開發(fā)工具,致力于幫助客戶提高研發(fā)管理效率、縮短產(chǎn)品設(shè)計周期,提升產(chǎn)品可靠性。十多年來,先后與ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立戰(zhàn)略合作伙伴關(guān)系,并作為他們在中國區(qū)的主要分銷合作伙伴服務了數(shù)千家中國本土客戶,為客戶提供從芯片級開發(fā)工具、EDA設(shè)計工具、軟件編譯以及測試工具、結(jié)構(gòu)設(shè)計工具、仿真工具、電氣設(shè)計工具、以及嵌入式GUI工具等等。億道電子憑借多年的經(jīng)驗積累,真正的幫助客戶實現(xiàn)了讓研發(fā)更簡單、更可靠、更高效的目標。歡迎關(guān)注“億道電子”公眾號了解更多研發(fā)工具軟件知識
查看更多→