配置管理（Configuration Management）在航空領(lǐng)域經(jīng)常又稱為構(gòu)型管理，是現(xiàn)代復(fù)雜....

本篇將深入討論單元測試過程中，如何在保質(zhì)保量完成測試任務(wù)的同時，縮減時間成本、提高測試效率，并分享目....

對于現(xiàn)今的自動駕駛汽車來說，由于傳感器的增加和感知網(wǎng)絡(luò)等軟件的存在，使得自動駕駛汽車在信息安全上相較....

本文著重探討單元測試的重要性及其正面臨的困境，并介紹功能安全標(biāo)準(zhǔn)中羅列的單元測試方法。

隨著汽車行業(yè)逐步走向電氣化、智能化，車載系統(tǒng)的軟件和硬件復(fù)雜度不斷上升。如何確保這些復(fù)雜系統(tǒng)中的數(shù)據(jù)....

機(jī)載軟件適航標(biāo)準(zhǔn)對軟件研制過程、生命周期數(shù)據(jù)以及符合性證據(jù)等都提出了明確的要求。然而，這些過程要求都....

在現(xiàn)代汽車行業(yè)中，隨著電子控制單元（ECUs）的普及以及車與車之間通信的不斷增加，確保通信安全變得尤....

本文將深入剖析單元測試、模糊測試等當(dāng)前主流的自動化API測試形式與技術(shù)。

當(dāng)談及安全測試時，邏輯漏洞挖掘一直是一個備受關(guān)注的話題，它與傳統(tǒng)的安全漏洞（如SQL注入、XSS、C....

隨著汽車行業(yè)對于數(shù)據(jù)通信的需求不斷增加，SOME/IP作為支持汽車以太網(wǎng)進(jìn)程和設(shè)備間通信的一種通信協(xié)....

文將聚焦于軌交領(lǐng)域，從領(lǐng)域?qū)Ｓ玫男枨笞珜懪c分析工具Prema入手，介紹形式化方法在工業(yè)中的實際應(yīng)用。

本文則選取典型的智能網(wǎng)聯(lián)汽車網(wǎng)絡(luò)安全攻擊實例展開詳細(xì)介紹。

本篇將展開討論降低民機(jī)機(jī)載操作系統(tǒng)適航風(fēng)險的具體方法。

在越來越多的國產(chǎn)機(jī)載系統(tǒng)研制中，操作系統(tǒng)軟件的選擇對后續(xù)開展研制以及適航舉證活動帶來很大的影響

VSOC需要處理龐大而復(fù)雜的數(shù)據(jù)，包括車輛狀態(tài)、傳感器數(shù)據(jù)、駕駛行為等，要能夠快速、準(zhǔn)確地處理這些數(shù)....

本文針對ISO 26262：2018國際標(biāo)準(zhǔn)的第六部分到第十二部分做簡要的介紹

本文將從軌交軟件的測試技術(shù)入手進(jìn)行講解。

本篇將從軌交軟件生命周期入手，重點從軟件不同階段、不同類型闡述各階段的測試的重點。

公鑰基礎(chǔ)設(shè)施(PKI)在車聯(lián)網(wǎng)中的應(yīng)用為實現(xiàn)安全、可靠通信提供了關(guān)鍵的支持

引言：上一篇文章我們講了整車的OTA升級測試(詳解車載設(shè)備FOTA測試），本篇我們介紹在車載零配件上....

摘要：安全在汽車研發(fā)中是關(guān)鍵要素之一，輔助駕駛、車輛的動態(tài)控制等功能的研發(fā)和集成都需要加強(qiáng)安全系統(tǒng)研....

引言：2023年5月初，工業(yè)和信息化部裝備工業(yè)一司組織全國汽車標(biāo)準(zhǔn)化技術(shù)委員會開展《汽車整車信息安全....

本篇將介紹車載設(shè)備FOTA專項測試中的整車FOTA升級過程、零部件交互、測試要點等。

面向界面的圖形化測試是一種常用的軟件測試方法，旨在驗證用戶界面是否符合業(yè)務(wù)規(guī)范和用戶需求，以及驗證應(yīng)....

本篇主要介紹TCP協(xié)議的概念、主要功能、主要特點、報文格式以及相應(yīng)的工作方式

符號執(zhí)行作為一個經(jīng)典的程序分析技術(shù)，在 21 世紀(jì)受到了研究者的廣泛重視，并為軟件測試提供了一個在白....

近年來，汽車網(wǎng)絡(luò)安全攻擊事件頻發(fā)，而汽車智能化和網(wǎng)聯(lián)化所帶來的安全隱患也與日俱增，研究人員除了考慮如....

形式化工程方法，是以軟件形式化方法理論為基礎(chǔ)，以系統(tǒng)化的工程方法引導(dǎo)工業(yè)界工程人員構(gòu)建高質(zhì)量的軟件模....

隨著車輛藍(lán)牙技術(shù)的發(fā)展和應(yīng)用越來越廣泛，車輛藍(lán)牙安全問題也在不斷引起關(guān)注。未來，隨著人工智能和物聯(lián)網(wǎng)....

模型檢查已被應(yīng)用于各種系統(tǒng)，包括硬件電路、通信協(xié)議、操作系統(tǒng)和軟件程序。它已被用于在部署之前檢測系統(tǒng)....