一、問題復現

穩定復現問題才能正確的對問題進行定位、解決以及驗證。一般來說，越容易復現的問題越容易解決。

1.1 模擬復現條件

有的問題存在于特定的條件下，只需要模擬出現問題的條件即可復現。對于依賴外部輸入的條件，如果條件比較復雜難以模擬可以考慮程序里預設直接進入對應狀態。

1.2 提高相關任務執行頻率

例如某個任務長時間運行才出現異常則可以提高該任務的執行頻率。

1.3 增大測試樣本量

程序長時間運行后出現異常，問題難以復現，可以搭建測試環境多套設備同時進行測試。

二、問題定位

縮小排查范圍，確認引入問題的任務、函數、語句。

2.1 打印LOG

根據問題的現象，在抱有疑問的代碼處增加LOG輸出，以此來追蹤程序執行流程以及關鍵變量的值，觀察是否與預期相符。

2.2 在線調試

在線調試可以起到和打印LOG類似的作用，另外此方法特別適合排查程序崩潰類的BUG，當程序陷入異常中斷(HardFault，看門狗中斷等)的時候可以直接STOP查看call stack以及內核寄存器的值，快速定位問題點。

2.3 版本回退

使用版本管理工具時可以通過不斷回退版本并測試驗證來定位首次引入該問題的版本，之后可以圍繞該版本增改的代碼進行排查。

2.4 二分注釋

二分注釋即以類似二分查找法的方式注釋掉部分代碼，以此判斷問題是否由注釋掉的這部分代碼引起。 具體方法為將與問題不相干的部分代碼注釋掉一半，看問題是否解決，未解決則注釋另一半，如果解決則繼續將注釋范圍縮小一半，以此類推逐漸縮小問題的范圍。

2.5 保存內核寄存器快照

Cortex M內核陷入異常中斷時會將幾個內核寄存器的值壓入棧中，如下圖：

????

我們可以在陷入異常中斷時將棧上的內核寄存器值寫入RAM的一段復位后保留默認值的區域內，執行復位操作后再從RAM將該信息讀出并分析，通過PC、LR確認當時執行的函數，通過R0-R3分析當時處理的變量是否異常，通過SP分析是否可能出現棧溢出等。STM32堆棧相關文章請移步:詳解STM32單片機的堆棧。

三、問題分析處理

結合問題現象以及定位的問題代碼位置分析造成問題的原因。

3.1 程序繼續運行

3.1.1 數值異常

3.1.1.1 軟件問題

1、數組越界

寫數組時下標超出數組長度，導致對應地址內容被修改。如下：

????

此類問題通常需要結合map文件進行分析，通過map文件觀察被篡改變量地址附近的數組，查看對該數組的寫入操作是否存在如上圖所示不安全的代碼，將其修改為安全的代碼。

2、棧溢出

如上圖，此類問題也需要結合map文件進行分析。假設棧從高地址往低地址增長，如果發生棧溢出，則g_val的值會被棧上的值覆蓋。 出現棧溢出時要分析棧的最大使用情況，函數調用層數過多，中斷服務函數內進行函數調用，函數內部申明了較大的臨時變量等都有可能導致棧溢出。 解決此類問題有以下方法：

在設計階段應該合理分配內存資源，為棧設置合適的大小；

將函數內較大的臨時變量加”static”關鍵字轉化為靜態變量，或者使用malloc()動態分配，將其放到堆上；

改變函數調用方式，降低調用層數。

3、判斷語句條件寫錯

????

判斷語句的條件容易把相等運算符“==”寫成賦值運算符“=”導致被判斷的變量值被更改，該類錯誤編譯期不會報錯且總是返回真。 建議將要判斷的變量寫到運算符的右邊，這樣錯寫為賦值運算符時會在編譯期報錯。還可以使用一些靜態代碼檢查工具來發現此類問題。

4、同步問題

例如操作隊列時，出隊操作執行的過程中發生中斷(任務切換)，并且在中斷(切換后的任務)中執行入隊操作則可能破壞隊列結構，對于這類情況應該操作時關中斷（使用互斥鎖同步）。

5、優化問題

????

如上圖程序，本意是等待irq中斷之后不再執行foo()函數，但被編譯器優化之后，實際運行過程中flg可能被裝入寄存器并且每次都判斷寄存器內的值而不重新從ram里讀取flg的值，導致即使irq中斷發生foo()也一直運行，此處需要在flg的申明前加“volatile”關鍵字，強制每次都從ram里獲取flg的值。

3.1.1.2 硬件問題

1、芯片BUG

芯片本身存在BUG，在某些特定情況下給單片機返回一個錯誤的值，需要程序對讀回的值進行判斷，過濾異常值。

2、通信時序錯誤

例如電源管理芯片Isl78600，假設現在兩片級聯，當同時讀取兩片的電壓采樣數據時，高端芯片會以固定周期通過菊花鏈將數據傳送到低端芯片，而低端芯片上只有一個緩存區. 如果單片機不在規定時間內將低端芯片上的數據讀走那么新的數據到來時將會覆蓋當前數據，導致數據丟失。此類問題需要仔細分析芯片的數據手冊，嚴格滿足芯片通信的時序要求。

3.1.2 動作異常

3.1.2.1 軟件問題

1、設計問題

設計中存在錯誤或者疏漏，需要重新評審設計文檔。

2、實現與設計不符

代碼的實現與設計文檔不相符需要增加單元測試覆蓋所有條件分支，進行代碼交叉review。

3、狀態變量異常

例如記錄狀態機當前狀態的變量被篡改，分析該類問題的方法同前文數值異常部分。

3.1.2.2 硬件問題

1、硬件失效

目標IC失效，接收控制指令后不動作，需要排查硬件。

2、通信異常

與目標IC通信錯誤，無法正確執行控制命令，需要使用示波器或邏輯分析儀去觀察通信時序，分析是否發出的信號不對或者受到外部干擾。

3.2 程序崩潰

3.2.1 停止運行

3.2.1.1 軟件問題

1、HardFault

以下情況會造成HardFault：

在外設時鐘門未使能的情況下操作該外設的寄存器；

跳轉函數地址越界，通常發生在函數指針被篡改，排查方法同數值異常；

解引用指針時出現對齊問題：

以小端序為例，如果我們聲明了一個強制對齊的結構體如下：

此時a.val1的地址為0x00000001，如果以uint16_t類型去解引用此地址則會因為對齊問題進入HardFault，如果一定要用指針方式操作該變量則應當使用memcpy()。

2、中斷服務函數中未清除中斷標志

中斷服務函數退出前不正確清除中斷標志，當程序執行從中斷服務函數內退出后又會立刻進入中斷服務函數，表現出程序的“假死”現象。

3、NMI中斷

調試時曾遇到SPI的MISO引腳復用NMI功能，當通過SPI連接的外設損壞時MISO被拉高，導致單片機復位后在把NMI引腳配置成SPI功能之前就直接進入NMI中斷，程序掛死在NMI中斷中。這種情況可以在NMI的中斷服務函數內禁用NMI功能來使其退出NMI中斷。

3.2.1.2 硬件問題

晶振未起振

供電電壓不足

復位引腳拉低

3.2 .2 復位

3.2.2.1 軟件問題

1、看門狗復位

除了喂狗超時導致的復位以外，還要注意看門狗配置的特殊要求，以Freescale KEA單片機為例，該單片機看門狗在配置時需要執行解鎖序列（向其寄存器連續寫入兩個不同的值），該解鎖序列必須在16個總線時鐘內完成，超時則會引起看門狗復位。此類問題只能熟讀單片機數據手冊，注意類似的細節問題。

3.2.2.2 硬件問題

供電電壓不穩

電源帶載能力不足

四、回歸測試

問題解決后需要進行回歸測試，一方面確認問題是否不再復現，另一方面要確認修改不會引入其他問題。

五、經驗總結

總結本次問題產生的原因及解決問題的方法，思考類似問題今后如何防范，對相同平臺產品是否值得借鑒，做到舉一反三，從失敗中吸取經驗。

審核編輯：劉清