如何使嵌入式系統(tǒng)安全可靠？自動(dòng)化測(cè)試工具Parasoft滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

---

嵌入式系統(tǒng)是基于微處理器的計(jì)算機(jī)系統(tǒng)，通常內(nèi)置于一個(gè)系統(tǒng)或產(chǎn)品中，具有專門的操作作用。換句話說(shuō)，嵌入式系統(tǒng)是我們使用的所有設(shè)備、我們駕駛的汽車、我們乘坐的飛機(jī)和我們乘坐的火車背后隱藏的 "智能"。

嵌入式系統(tǒng)不是像臺(tái)式電腦、服務(wù)器和其他類似的計(jì)算領(lǐng)域那樣由獨(dú)立的部件組成，而是被封閉在產(chǎn)品中，包括完整的硬件和軟件。

Parasoft是一家專門提供軟件測(cè)試解決方案的公司，幫助企業(yè)打造無(wú)缺陷的軟件。

嵌入式系統(tǒng)是如何使用的？

嵌入式系統(tǒng)的有趣之處在于其應(yīng)用的廣泛性。它們的范圍從智能家居設(shè)備的小型控制器到飛機(jī)上的航空電子系統(tǒng)，再到構(gòu)成我們電信網(wǎng)絡(luò)的大型網(wǎng)絡(luò)交換機(jī)。這也使得它們?cè)谠O(shè)計(jì)和開(kāi)發(fā)方面具有挑戰(zhàn)性。預(yù)期產(chǎn)品的約束條件影響著嵌入式硬件和軟件的性能范圍。

嵌入式系統(tǒng)無(wú)處不在，但對(duì)大多數(shù)消費(fèi)者來(lái)說(shuō)相對(duì)陌生?，F(xiàn)代汽車有多達(dá)1億行的代碼，其中大部分不在信息娛樂(lè)系統(tǒng)中?，F(xiàn)代汽車的許多軟件和硬件都在控制和監(jiān)測(cè)現(xiàn)代功能的各種微控制器和發(fā)動(dòng)機(jī)控制單元中。

嵌入式系統(tǒng)架構(gòu)

如上所述，嵌入式系統(tǒng)由硬件和軟件組成。它們通常用于既需要感知環(huán)境中的物理事物又需要控制某些事物以做出響應(yīng)的應(yīng)用中。

一個(gè)簡(jiǎn)單的例子是帶有嵌入式恒溫控制器的 HVAC 系統(tǒng)。這樣的系統(tǒng)將感應(yīng)室溫并啟動(dòng)暖氣或空調(diào)。它可能需要通過(guò)網(wǎng)絡(luò)接口進(jìn)行某種形式的通信，并在 LCD 屏幕（人機(jī)界面或 HMI）上顯示溫度。

下面是嵌入式系統(tǒng)架構(gòu)的一個(gè)簡(jiǎn)單示例：

嵌入式系統(tǒng)的另一個(gè)獨(dú)特之處在于使用微控制器架構(gòu)。與臺(tái)式機(jī)或服務(wù)器系統(tǒng)不同，微控制器通常在單個(gè)芯片上具有所有 RAM、ROM 和 I/O。這些控制器通常具有與傳感器和執(zhí)行器交互以及與網(wǎng)絡(luò)和其他通信設(shè)備集成所需的 I/O 功能。

嵌入式系統(tǒng)的應(yīng)用

嵌入式系統(tǒng)的應(yīng)用不勝枚舉，但明顯的高知名度的例子包括：

• 拯救生命的設(shè)備，如心臟起搏器
• 關(guān)鍵應(yīng)用，如飛機(jī)上的飛行控制和自動(dòng)駕駛輔助系統(tǒng)
• 運(yùn)行小工具和智能家居設(shè)備的軟件
• 智能手機(jī)、平板電腦、智能手表和智能電視都是嵌入式系統(tǒng)

下面是更多運(yùn)行在嵌入式系統(tǒng)上的應(yīng)用。

• 工業(yè)自動(dòng)化
• 核電站、發(fā)電和配電的指揮和控制
• 維持經(jīng)濟(jì)運(yùn)行的電力、熱能和照明
• 火車、飛機(jī)和汽車中的安全關(guān)鍵性軟件
• 用于互聯(lián)網(wǎng)和電信業(yè)務(wù)的電信塔、樞紐、交換機(jī)和路由器
• 復(fù)雜的武器裝備、戰(zhàn)斗機(jī)、坦克和導(dǎo)彈的核心是嵌入式系統(tǒng)

事實(shí)上，世界上生產(chǎn)的98%的微處理器都用于嵌入式系統(tǒng)。

如何使嵌入式系統(tǒng)安全可靠？

確保嵌入式系統(tǒng)安全和可靠的唯一方法是通過(guò)測(cè)試。更確切地說(shuō)，是通過(guò)在整個(gè)開(kāi)發(fā)生命周期中進(jìn)行嚴(yán)格的驗(yàn)證和確認(rèn)。這包括在軟件開(kāi)發(fā)之前，在早期需求分析中，以及一直到生命結(jié)束。

在安全問(wèn)題備受關(guān)注的行業(yè)中，有一些特定的標(biāo)準(zhǔn)必須遵循，包括以下內(nèi)容：

• Automotive (ISO 26262)
• Aviation (DO-178C)
• Medical devices (IEC 62304)
• Industrial automation (IEC 61508)
• Railway (EN 50128)

Parasoft——領(lǐng)先的自動(dòng)化測(cè)試工具，滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

Parasoft是一家專門提供軟件測(cè)試解決方案的公司，幫助企業(yè)打造無(wú)缺陷的軟件。

從開(kāi)發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過(guò)集成靜態(tài)和運(yùn)行時(shí)分析，單元、功能和API測(cè)試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強(qiáng)大的報(bào)告和分析功能可幫助用戶快速查明有風(fēng)險(xiǎn)的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機(jī)器學(xué)習(xí)添加到軟件測(cè)試中，使組織更容易采用和擴(kuò)展跨開(kāi)發(fā)和測(cè)試團(tuán)隊(duì)的有效的軟件測(cè)試實(shí)踐。

Parasoft針對(duì)C/C++、Java、.NET和嵌入式的開(kāi)發(fā)測(cè)試都有著30多年的深入研究，很多全國(guó)500強(qiáng)企業(yè)使用Parasoft的產(chǎn)品實(shí)現(xiàn)了軟件快速、高質(zhì)量的交付。

申請(qǐng)Parasoft測(cè)試試用