在嵌入式軟件開發過程中,花在測試和花在編碼的時間比通常在3:1左右(實際上可能更多)。這個比例會隨著工程師編程、測試水平的提高而不斷下降,但無論如何,軟件測試都是嵌入式軟件開發中至關重要的部分。
多年前,一位工程師為了對嵌入式擁有更深層次理解的追求,曾發出這樣的疑問:“我怎么才能知道并懂得我的系統到底在干些什么呢?”。同時代的嵌入式開發人員問得最多的問題大都圍繞“我怎么才能使程序跑得更快”、“什么編譯器最好”,這個問題雖然不同尋常,但卻異乎成熟。今天就讓我們一起了解10條在業界廣為流傳的嵌入式開發測試秘訣。
1 懂得使用工具
嵌入式系統通常對可靠性要求較高,一旦發生安全問題可能就會導致災難性的后果,即使與安全無關也會帶來嚴重的經濟損失,對嵌入式系統及軟件有著嚴格的測試、確認和驗證要求。隨著越來越多的領域的嵌入式設備開始被軟件和微處理器控制,對日益復雜的嵌入式軟件進行快速有效的測試顯得愈加重要。
好的修車匠需要好工具,好的程序員應該能夠熟練運用各種軟件工具。不同的工具有不同的使用范圍、功能。合適的工具可以讓工程師看到系統在干些什么,它又占用什么資源、到底和外界哪些東西打交道。工程師不應該害怕加入測試工具或測試模塊到代碼需要的技巧或可能引入新的錯誤,光靠不斷修改、重新編譯代碼來消除Bug是不夠的;也不應該因習慣使用printf之類的簡單測試手段而不進行新的學習和探索。下面是一些嵌入式常用的測試工具。
1.1 源碼級調試器
此類調試器一般提供單步或多步調試、斷點設置、內存檢測、變量查看等功能,是嵌入式調試最基本的調試方法。
1.2 簡單實用的打印顯示工具
printf及類似的打印顯示工具估計是最靈活、最簡單的調試工具。打印代碼執行過程中的各種變量可以讓工程師獲知代碼執行的情況,但printf對正常的代碼執行干擾比較大(一般printf會占用CPU較長時間),需要慎重使用,最好設置打印開關來控制打印。
1.3 ICE或JTAG調試器
ICE是用來仿真CPU核心的設備,可以在不干擾運算器的正常運行情況下,實時檢測CPU內部工作情況,也能像桌面調試軟件一樣提供復雜的條件斷點、先進的實時跟蹤、性能分析和端口分析等功能。ICE一般都有一個較為特殊的CPU,被稱為外合(bond-out)CPU,是一種被打開了封裝且通過特殊的連接可以訪問CPU內部信號的CPU,這些信號在CPU被封裝時是沒法被“看到”的。當和工作站上強大的調試軟件聯合使用時,ICE就能提供幾乎最全面的調試功能。然而ICE同樣有著昂貴、不能全速工作的缺點;同樣,并不是所有的CPU都可以作為外合CPU的,從另一個角度說,這些外合CPU也不大可能及時被新出的CPU所更換。JTAG(Joint Test Action Group)最初開發目的是監測IC和電路連接,但其擴展了包括調試支持在內的用途。
1.4 ROM監視器
一款駐留在嵌入系統ROM中的小程序,通過串行或網絡連接和運行在工作站上的調試軟件通信。這是最低端的技術,相對便宜,除了要求一個通信端口和少量的內存空間外,不需要其它任何專門的硬件,提供下載代碼、運行控制、斷點、單步步進,以及觀察、修改寄存器和內存等功能。由于ROM監控器是操作軟件的一部分,所以如果想要檢查CPU和應用程序的狀態,必須先停下應用程序,再次進入ROM監控器。
1.5 Data監視器
在不停止CPU運行的情況下不僅可以顯示指定變量內容,還可以收集并以圖形形式顯示各個變量的變化過程。
1.6 OS監視器
操作系統監視器可以顯示諸如任務切換、信號量收發、中斷等事件。這些監視器能夠呈現事件之間的關系和時間聯系,還可以提供對信號量優先級反轉、死鎖和中斷延時等問題的診斷。
1.7 性能分析工具
可以用來測試CPU消耗所在,了解系統瓶頸、CPU的使用率以及需要優化之處。
1.8 內存測試工具
可以找到內存使用的問題所在,比如內存泄露、內存碎片、內存崩潰等問題。如果發現系統出現不可預知或間歇性的問題,就應該使用內存測試工具進行嘗試。
1.9 運行跟蹤器
可以顯示CPU執行了哪些函數、誰在調用、參數是什么、何時調用等情況,主要用于測試代碼邏輯,可在大量事件中發現異常。
1.10 覆蓋工具
主要顯示CPU具體執行了哪些代碼,便于了解代碼分支未被執行的區域,有助于提高代碼質量并消除無用代碼。
1.11 GUI測試工具
大多嵌入式應用都帶有某種特定形式的圖形用戶交互界面,部分系統的性能測試是根據用戶輸入響應時間來進行的。GUI測試工具可以作為開發環境中運行測試用例的腳本工具,其功能包括對操作的記錄和回放、抓取屏幕顯示供后續分析比較、設置和管理測試過程(Rational公司的robot和Mercury的Loadrunner工具是之中的杰出代表)。沒有GUI的嵌入式設備可通過插裝來運行GUI測試腳本,雖然需要更改被測代碼,但是節省了功能測試和回歸測試的時間。
1.12 嵌入式半實物仿真測試開發環境
是專門針對嵌入式系統進行測試開發的工具,系統提供圖形化的測試用例開發環境,自動生成測試腳本;測試結果數據可以在線監控,同時生成測試結果信息,并自動生成符合要求的測試報告;ETest為開放性平臺,提供C/C++,Python, Lua ,JS等API,圖形化監控軟件界面可以根據用戶需求定制;支持各種國產CPU+國產操作系統的部署方案。工程師可基于ETest為嵌入式設備快速構建測控系統,實現對被測件實時、動態、閉環、非侵入式的自動化測試。
2 盡早發現內存問題
內存問題存在較大危害且不容易排查,主要有三種類型:內存泄露、內存碎片和內存崩潰。對待內存問題必須要明確早發現、早“治療”的態度。
2.1 內存泄漏
內存泄露是軟件設計最常見的內存難題,指由于不斷分配的內存無法及時地被釋放,逐漸耗盡系統內存。即使細心的編程老手也會遭遇內存泄露問題,因其一般隱藏很深,很難通過代碼閱讀發現,甚至可能出現在庫當中——有可能庫中本就有bug,也有可能是因為工程師沒有正確理解接口說明文檔而造成了錯用。
大多數的內存泄露雖然無法探測,但會表現為隨機的故障,往往會被認為是硬件問題。如果用戶對系統穩定性要求較高,此類問題會導致客戶對產品失去信心,項目也會因此失敗。考慮到內存泄漏的巨大危害,現在已有眾多解決工具,通過查找沒有被引用或重復使用的代碼塊、垃圾內存收集、庫跟蹤等技術來發現內存泄露,盡管每款工具都有利有弊,但還是應防患于未然,盡量測試內存泄漏。
2.2 內存碎片
內存碎片比內存泄露有著更深的隱匿性。隨著內存不斷被分配并釋放,大塊內存被不斷分解為小塊內存,從而形成碎片,后續需要申請大塊內存時就有可能會失敗。系統內存夠大或許可能可以堅持較長時間,但最終還是逃不出分配失敗的厄運。在使用動態分配的系統中,內存碎片經常發生。
該問題當前最為有效的方法便是使用工具,通過顯示系統內存使用情況來找到內存碎片的罪魁禍首并進行改進。很多公司為避免動態內存管理問題,會選擇在嵌入式應用中禁用malloc/free來以絕后患。
2.3 內存崩潰
內存崩潰是內存使用最為嚴重的結果,主要造成原因有數組訪問越界、指針計算錯誤、重復釋放同一段內存、釋放非動態內存等。此類問題發生通常是隨機的,極難事先排查,目前也很少有可供排查的工具。
綜上,使用內存管理單元必須要小心謹慎,嚴格遵守其使用規則。
3 深入理解代碼優化
人們對嵌入式系統的關注點通常在于實時性和速度,這兩個要素直接影響著代碼效率,需要對代碼進行優化。了解如何優化代碼是每個嵌入式軟件開發人員必須具備的技能,而優化代碼的前提和必要條件則是找到真正需要優化之處,然后再對癥下藥。
上文提到的profile能夠記錄如各任務CPU占用率、優先級分配、數據拷貝次數、磁盤訪問次數、是否調用網絡收發程序、測試代碼是否已經關閉等數據,但在分析實時系統性能方面仍有不足。一方面,profile的使用往往是在系統出現問題,即CPU耗盡之后,而profile本身對CPU占用較大,所以很有可能不起作用。根據Heisenberg效應,任何測試手段或多或少都會改變系統運行。
4 不要大海撈針
大海撈針是對調試的生動比喻。尋找bug時應先確實是否在開發時有過為了尋求捷徑而沒有嚴格遵守編碼設計規范的情況,或是沒有檢測部分假設條件或算法的正確性、沒有將可能存在問題的代碼打上記號。可參照《高質量c++/c編程指南》或《關于C的0x8本“經書”》來學習。
為了盡可能地暴露和捕捉問題根源,可以設計較為全面的錯誤跟蹤代碼:盡可能處理每一個函數調用失敗,盡可能檢測每個參數輸入輸出的有效性,包括指針及是否過多或過少地調用某個過程。錯誤跟蹤能夠了解bug的大概位置。
5 重視并隔離問題
對于模塊獨立的大型項目,如果問題的出現是間歇性的,則有必要設法去重現并進行記錄完整過程,以備在下一次出現問題是進行復用。
確保問題重現后可用隔離的方法來解決問題:用#ifdef把一些可能和問題無關的代碼關閉,把系統最小化到仍能夠重現問題的地步。如果還是無法定位問題所在,可以考慮打開“工具箱”:試著用ICE或數據監視器去查看某個可疑變量的變化;使用跟蹤工具獲得函數調用的情況(包括參數的傳遞);檢查內存是否崩潰以及堆棧溢出的問題。
6 以退為進
獵人為了不使自己在森林里迷路常常會在樹木上留下標記,對過去代碼修改進行跟蹤記錄對將來出現問題之后的調試也很有幫助。代碼控制系統SCS或代碼控制系統SCS可以很好地解決修改回溯問題,將上個版本checkin下來后和當前測試版本比較,可采用SCS/VCS/CVS自帶的diff工具或其他功能更強的比較工具,比如BeyondCompare和ExamDiff。通過比較、分析所有改動代碼,可以得到所有可能導致問題的可疑代碼的分析結果。
7 確定測試的完整性
覆蓋率測試可供確認CPU到底執行了哪些代碼,從而確認測試的完整性。覆蓋率工具有不同的測試級別,用戶可以根據自己的需要選擇某個級別。
即使單元測試已經很全面且沒有deadcode,覆蓋率工具還是可以指出一些潛在問題。
以下方代碼為例:
if(i >=0&& (almostAlwaysZero==0 || (last=i)))
如果almostAlwaysZero為非0,那么last=i賦值語句就被跳過,無法完成目標。
此類問題可輕松通過覆蓋率工具的條件測試功能完成解決,覆蓋率測試工具對提高代碼質量是很有幫助的。
8 提高代碼質量意味著節省時間
有研究表明,超過80%的軟件開發時間被用在下面幾個方面:調試自己的代碼(單元測試)、調試自己和其他相關的代碼(模塊間測試)、調試整個系統(系統測試),更糟糕的則是可能需要花費10-200倍的時間來找一個最開始時很容易就能發現的bug。
千里之堤毀于蟻穴,即使bug對整個系統的性能沒有太大的影響,但仍然很可能會影響可以被看得到的部分,必須養成良好的編碼習慣和測試手段,以求更高的代碼質量,縮短代碼的調試。
9 發現它,分析它,解決它
世界沒有萬能的膏藥,工具再好用也有無法實現之處,對于隱藏很深、用盡所有工具也無法查到其根源的問題,則需要通過問題的外在表現或數據輸出來尋找其中規律,從而找出異常。任何異常的發現都應深入理解并回溯其根源。
10 請利用初學者思維
“有些事情在初學者的腦子里可能有各種各樣的情況,可在專家的頭腦里可能就很單一”,簡單問題想復雜、簡單系統設計復雜很可能就是由于“專家思維”。被問題難住時,不妨換個思路,或許就能得到意想不到的啟發。
★測試工具推薦
嵌入式調試無疑是一門藝術,和其它藝術一樣,想要取得成功就必須具備智慧、經驗并懂得使用工具。嵌入式系統半實物仿真測試集成開發環境ETest,是面向全過程的自動化測試,以向導的方式快速建立測試用例,并根據測試用例自動生成測試腳本,系統根據測試任務自動進行測試,減輕測試工程的工作強度。
ETest既可以可視化創建狀態機、通信時序、信號處理等多種可執行模型,也可以使用腳本編程實現靈活豐富的動態控制功能,內置百余項API和界面組件,讓測控系統開發變得輕松、簡單,滿足客戶敏捷化與個性化需求。提供全方位的執行過程監控,測試過程數據自動記錄,并生成符合要求的測試報告。實現高效率、高質量的的軟件交付。
-
微處理器
+關注
關注
11文章
2274瀏覽量
82776 -
軟件
+關注
關注
69文章
5010瀏覽量
88075 -
嵌入式開發
+關注
關注
18文章
1035瀏覽量
47717 -
代碼
+關注
關注
30文章
4827瀏覽量
69052
發布評論請先 登錄
相關推薦
評論