本文將介紹如何避免那些隱蔽然而常見的錯誤,并介紹的幾個技巧幫助工程師發(fā)現(xiàn)PCB抄板軟件中隱藏的錯誤。大部分軟件開發(fā)項目依靠結(jié)合代碼檢查、結(jié)構(gòu)測試和功能測試來識別軟件缺陷。盡管這些傳統(tǒng)技術(shù)非常重要,而且能發(fā)現(xiàn)大多數(shù)軟件問題,但它們無法檢查出當(dāng)今復(fù)雜系統(tǒng)中的許多共性錯誤?! 〗Y(jié)構(gòu)測試或白盒測試能有效地發(fā)現(xiàn)代碼中的邏輯、控制流、計算和數(shù)據(jù)錯誤。這項測試要求對軟件的內(nèi)部工作能夠一覽無遺(因此稱為"白盒"或"玻璃盒"),以便了解軟件結(jié)構(gòu)的詳細情況。它檢查每個條件表達式、數(shù)學(xué)操作、輸入和輸出。由于需要測試的細節(jié)眾多,結(jié)構(gòu)測試每次檢查一個軟件單元,通常為一個函數(shù)或類?! 〈a審查也使用與實現(xiàn)缺陷和潛在問題查找同樣復(fù)雜的技術(shù)。與白盒測試一樣,審查通常針對軟件的各個單元進行,因為一個有效的審查過程要求的是集中而詳盡的檢查?! ∨c審查和白盒測試不同,功能測試或黑盒測試假設(shè)對軟件的實現(xiàn)一無所知,它測試由受控輸入所驅(qū)動的輸出。功能測試由測試人員或開發(fā)人員所編寫的測試過程組成,它們規(guī)定了一組特定程序輸入對應(yīng)的預(yù)期程序輸出。測試運行之后,測試人員將實際輸出與預(yù)期輸出進行比較,查找問題。黑盒測試可以有效地找出未能實現(xiàn)的需求、接口問題、性能問題和程序最常用功能中的錯誤?! ‰m然將這些技術(shù)結(jié)合起來可以找出隱藏在一個特定軟件程序中的大部分錯誤,但它們也有局限。代碼審查和白盒測試每次只針對一小部分代碼,忽視了系統(tǒng)的其它部分。黑盒測試通常將系統(tǒng)作為一個整體來處理,忽視了實現(xiàn)的細節(jié)。一些重要的問題只有在集中考察它們在整個系統(tǒng)內(nèi)相互作用時的細節(jié)才能被發(fā)現(xiàn);傳統(tǒng)的方法無法可靠地找出這些問題。必須整體地檢查軟件系統(tǒng),查找具體問題的特定原因。由于詳盡徹底地分析程序中的每個細節(jié)和它與代碼中所有其它部分之間的相互作用通常是不大可能的,因此分析應(yīng)該針對程序中已經(jīng)知道可能導(dǎo)致問題的特定方面。 本文將探討其中三個潛在的問題領(lǐng)域: * 堆棧溢出 * 競爭條件 * 死鎖 讀者可在網(wǎng)上閱讀本文的第二部分,它將探討下列問題: * 時序問題 * 可重入條件 在采用多任務(wù)實時設(shè)計技術(shù)的系統(tǒng)中,以上所有問題都相當(dāng)普遍。 堆棧溢出 處理器使用堆棧來存儲臨時變量、向被調(diào)函數(shù)傳遞參數(shù)、保存線程“狀態(tài)”,等等。如果系統(tǒng)不使用虛擬內(nèi)存(換句話說,它不能將內(nèi)存頁面轉(zhuǎn)移到磁盤上以釋放內(nèi)存空間供其它用途),堆棧將固定為產(chǎn)品出廠時的大小。如果由于某種原因堆棧越出了編程人員所分配的數(shù)量范圍,程序?qū)⒆兊貌淮_定。這種不穩(wěn)定可能導(dǎo)致系統(tǒng)發(fā)生嚴(yán)重故障。因此,確保系統(tǒng)在最壞情況下能夠分配到足夠的堆棧至關(guān)重要。 確保永不發(fā)生堆棧溢出的唯一途徑就是分析代碼,確定程序在各種可能情況下的最大堆棧用量,然后檢查是否分配了足夠的堆棧。測試不大可能觸發(fā)特定的瞬時輸入組合進而導(dǎo)致系統(tǒng)出現(xiàn)最壞情況。 堆棧深度分析的概念比較簡單: 1. 為每個獨立的線程建立一棵調(diào)用樹?! ?. 確定調(diào)用樹中每個函數(shù)的堆棧用量。 3. 檢查每棵調(diào)用樹,確定從樹根到外部“樹葉”的哪條調(diào)用路徑需要使用的堆棧最多?! ?. 將每個獨立線程調(diào)用樹的最大堆棧用量相加?! ?. 確定每個中斷優(yōu)先級內(nèi)各中斷服務(wù)程序(ISR)的最大堆棧用量并計算其總和。但是,如果ISR本身沒有堆棧而使用被中斷線程的堆棧,則應(yīng)將ISR使用的最大堆棧數(shù)加到各線程堆棧之上。 6. 對于每個優(yōu)先級,加上中斷發(fā)生時用來保存處理器狀態(tài)的堆棧數(shù)?! ?.如果使用RTOS,則加上RTOS自身內(nèi)部用途需要的最大堆棧數(shù)(與應(yīng)用代碼引發(fā)的系統(tǒng)調(diào)用不同,后者已包含在步驟2中)。除此之外,還有兩個重要事項需要考慮。首先,僅僅從高級語言源代碼建立的調(diào)用樹很可能并不完善。大部分編譯器采用運行時庫(run-time library)來優(yōu)化常用計算任務(wù),如大值整數(shù)的乘除、浮點運算等,這些調(diào)用只在編譯器產(chǎn)生的匯編語言中才可見。運行時庫函數(shù)本身可能使用大量的堆??臻g,在分析時必須將它們包括進去。如果使用的是C++語言,則以下所有類型的函數(shù)(方法)也都必須包含到調(diào)用樹內(nèi):結(jié)構(gòu)器、析構(gòu)器、重載運算符、復(fù)制結(jié)構(gòu)器和轉(zhuǎn)換函數(shù)。所有的函數(shù)指針也都必須進行解析,并且將它們調(diào)用的函數(shù)包含進分析之中。
上一篇:如何讓盲孔和基底銅結(jié)合更緊密
下一篇多層PCB電路圖形檢測技術(shù)分析
溫馨提示:
凡在本公司進行電路板克隆業(yè)務(wù)的客戶,必須有合法的PCB設(shè)計版權(quán)來源聲明,以保護原創(chuàng)PCB設(shè)計版權(quán)所有者的合法權(quán)益;
您當(dāng)前的位置:首頁 > 技術(shù)資源 > PCB設(shè)計技術(shù)
PCB抄板設(shè)計之軟件缺陷查找方法介紹
[PCB抄板設(shè)計之軟件缺陷查找方法介紹]^相關(guān)文章
- 手機零組件廠可望拉貨 第二季訂單
- 淺談焊錫膏與絲網(wǎng)印制
- wyPCB抄板20年 攜手IT企業(yè)揚帆“二
- LED需求熱 Veeco第三季度接單旺
- PCB材料和電子元器件
- 集邦科技看好明年P(guān)C市場
- 編程PIC單片機風(fēng)格和格式
- 異方性導(dǎo)電膠膜常識介紹
- PCB設(shè)計中布線注意原則
- PCB電路板微小孔加工技術(shù)現(xiàn)狀及存
- 組合芯片應(yīng)挑戰(zhàn)無線融合技術(shù)
- PCB抄板密技說明
- WM8731 WM8731L 低功耗的立體聲Cod
- PCB板的熱設(shè)計原則
- LG(HYUNDAI)系列
- PCB設(shè)計方法和技巧(4)
- 公司簡介
- i2c程序(c語言)
- 程序名稱: keil c51中文說明
- PCB抄板、電路板及電路原理圖之間
- 芯片解密是否合法
- 中國已成為全球數(shù)字電視機頂盒制造
- 手機RF設(shè)計技巧(二)
- 受惠新電子產(chǎn)品上市 國內(nèi)PCB產(chǎn)值重
- ZILOG系列芯片解密
- 單片機解密后的文件
- 11億FPC項目在兩江新區(qū)開工
- LC諧振計算器
- 電子信息產(chǎn)業(yè)2014年將結(jié)束快速上升
- 低碳經(jīng)濟背景下關(guān)注A股六大板塊
- PCB線路板電鍍廢液貴重金屬回收技
- 國產(chǎn)設(shè)備走俏光伏市場 半導(dǎo)體領(lǐng)域
- iSuppli發(fā)布LED全球市場利好預(yù)期