[發明專利]用于微控制器程序的代碼覆蓋范圍跟蹤

在審

• 申請號: 201880014801.X
• 申請日: 2018-04-27
• 公開（公告）號: CN110419031A
• 公開（公告）日: 2019-11-05
• 發明（設計）人: J·澤維奇;J·麥金尼斯
• 申請（專利權）人: 微芯片技術股份有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 蔡悅;陳斌

1.一種微控制器，包括：

處理器；和

至少一個存儲器設備，所述至少一個存儲器設備存儲：

程序，所述程序包括程序代碼，所述程序代碼基于多個基本塊之間的邏輯關系來限定所述多個基本塊和多個支配弧；

其中所述程序代碼在所述程序代碼中的多個檢測點中的每一個檢測點處利用執行跟蹤指令來檢測，其中每個檢測點均位于所述程序代碼中的所述多個支配弧中的對應一個支配弧中；

其中所述程序能夠由測試工具執行；

其中在由所述測試工具執行所述程序期間，在每個相應檢測點處的所述執行跟蹤指令被配置為在執行所述相應檢測點時，在所述至少一個存儲器設備中存儲或生成執行記錄信息，所述執行記錄信息指示所述相應檢測點已被執行；

其中針對每個相應檢測點所存儲或生成的執行記錄信息指示與所述相應檢測點對應的所述支配弧已由所述測試工具執行。

2.根據權利要求1所述的微控制器，其中存儲或生成相應檢測點的執行記錄信息包括存儲指示所述相應檢測點已被執行的單個位。

3.根據權利要求1至2中任一項所述的系統，其中：

相應支配弧包括所述多個基本塊中的多個基本塊；并且

存儲或生成相應檢測點的執行記錄信息包括存儲或生成數據，所述數據指示所述相應支配弧的多個基本塊中的每個基本塊已被執行。

4.根據權利要求1至3中任一項所述的系統，包括通過包括以下步驟的過程來識別所述程序中的所述多個支配?。?/p>

生成表示所述多個基本塊的定向圖的信息；

基于表示所述多個基本塊的所述定向圖的所述信息來生成支配樹；并且

使用所述支配樹來識別所述多個支配弧。

5.一種用于代碼覆蓋范圍跟蹤的系統，所述系統包括：

根據權利要求1至4所述的微控制器中的任一個微控制器；

代碼覆蓋范圍檢測程序，所述代碼覆蓋范圍檢測程序被配置為利用相應執行跟蹤指令來檢測所述程序代碼中的每個檢測點，以存儲或生成執行記錄信息；和

測試工具，所述測試工具被配置為在所述微控制器上執行所述程序，其中在所述程序代碼中的每個相應檢測點的執行致使所述相應執行跟蹤指令存儲或生成執行記錄信息。

6.根據權利要求5所述的系統，其中所述代碼覆蓋范圍跟蹤還包括：

識別由所述多個支配弧中的所選擇的基本塊組成的檢測點的集合，其中所述檢測點的集合提供所述程序的完整代碼覆蓋范圍跟蹤；并且

確定相應檢測點經由所述測試工具已被執行，并且作為響應，將指示所述相應檢測點已被執行的位陣列存儲在所述微控制器的存儲器設備中，所述位陣列包括用于所述檢測點中的每個檢測點的單個位。

7.根據權利要求5至6中任一項所述的系統，其中所述代碼覆蓋范圍跟蹤包括：

確定所有支配弧中的所有檢測點經由所述測試工具已被執行；并且

在第二存儲器中存儲指示所有檢測點已被執行的數據，所述數據指示所述測試工具對所述程序的完整代碼覆蓋范圍。

8.根據權利要求5至7中任一項所述的系統，其中所述測試工具在所述微控制器上提供。

9.根據權利要求5至8中任一項所述的系統，其中所述代碼覆蓋范圍檢測程序存儲在與所述微控制器分開的開發計算機系統的存儲器設備中。

10.根據權利要求5至9中任一項所述的系統，其中所述處理器被配置為：(a)使用所述測試工具來執行所述程序代碼；以及(b)執行所述代碼執行跟蹤指令，以執行所述程序代碼的執行的代碼覆蓋范圍跟蹤，而無需所述微控制器與外圍設備的串行、網絡或其他連接，以確定所述代碼覆蓋范圍。