[發明專利]一種基于運行時驗證技術的嵌入式系統軟件調試方法

有效

• 申請號: 201710322903.5
• 申請日: 2017-05-09
• 公開（公告）號: CN107153612B
• 公開（公告）日: 2019-10-08
• 發明（設計）人: 黃滟鴻;趙慧;史建琦;何積豐;李昂;方徽星
• 申請（專利權）人: 華東師范大學;上海豐蕾信息科技有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京辰權知識產權代理有限公司 11619
• 代理人: 董李欣

1.一種基于運行時驗證技術的嵌入式系統軟件調試方法，其特征在于，包括：

I/O仿真步驟，控制調試程序的數據的輸入和輸出，通過RDI接口連接開發環境，并將RDI轉換成JTAG/SWD協議連接待調試的單片機；

需求規范檢查步驟，根據運行時驗證規范，在程序運行時驗證程序是否滿足時序停止條件；所述需求規范檢查步驟包括規范解析步驟、分析步驟、驗證步驟和決策步驟；所述分析步驟對當前運行程序的時序邏輯進行分析；所述分析步驟對所述當前運行程序的時序邏輯進行分析包括以下步驟：(1)、定位當前運行的程序；(2)、訪問與當前運行的程序相關的寄存器，從而獲取相關數據；(3)、將該程序的語句分析成相應的規則數據；所述規范解析步驟解析觸發條件的需求規范，將其解析成一條條的時序條件；所述驗證步驟將所述分析步驟分析出來的當前運行程序的時序邏輯與需求規范時序邏輯比較，驗證兩者是否符合；所述決策步驟在驗證當前運行程序的時序邏輯滿足需求規范時序邏輯時，觸發相應的條件，對當前運行的程序采取相應的決策；

調試功能步驟，在需求規范檢查步驟驗證出程序滿足時序停止條件之后，對暫停的程序進行調試；

執行控制步驟，控制調試的進程和運行，對調試進行狀態設置。

2.根據權利要求1所述的基于運行時驗證技術的嵌入式系統軟件調試方法，其特征在于，所述驗證步驟進行邏輯比較包括以下步驟：

(1)、接收判斷規范解析步驟產生的數據，并存儲；

(2)、接收判斷分析步驟產生的數據，將其與之前存儲的規范解析步驟發送的數據依次進行比較；

(3)、若分析步驟產生的數據符合規范解析步驟產生的某條數據，則產生觸發信號；若都不符合，則產生非觸發信號。

3.根據權利要求1所述的基于運行時驗證技術的嵌入式系統軟件調試方法，其特征在于，所述決策步驟采取決策包括以下步驟：

(1)、接收驗證步驟產生的信號；

(2)、如果所述信號為非觸發信號，不采取觸發操作，繼續執行下一句程序；

(3)、如果所述信號為觸發信號，則程序符合觸發規則條件，發送sigTrap信號，暫停當前程序，對當前程序進行調試。