[發明專利]調試基于模型的消息序列的系統和方法

有效

• 申請號: 201310757111.2
• 申請日: 2013-12-20
• 公開（公告）號: CN103885769A
• 公開（公告）日: 2014-06-25
• 發明（設計）人: R·D·布魯邁爾
• 申請（專利權）人: 英特爾移動通信有限責任公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F9/46
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 王洪斌;徐紅燕

1.一種簡化消息序列的系統，包括：

縮小組件，被配置成接收誘導故障消息序列，并且基于所述誘導故障消息序列生成縮小序列；其中與所述誘導故障消息序列相比，所述縮小序列包括數量減少的消息；

消息簡化組件，被配置成接收所述縮小序列，并且簡化所述縮小序列內的多個消息以生成簡化消息序列。

2.如權利要求1所述的系統，其中所述縮小組件被配置成識別所述誘導故障消息序列內的一個或者多個簡化候選序列，并且基于所述一個或者多個簡化候選序列提供所述縮小序列。

3.如權利要求2所述的系統，其中所述縮小組件被配置成使用抽象模型測試一個或者多個簡化候選序列，以識別一個或者多個成功候選序列。

4.如權利要求1所述的系統，其中所述縮小組件使用抽象模型采用其觸發遷移注釋所述誘導故障消息序列的一個或者多個消息。

5.如權利要求1所述的系統，其中所述簡化序列和所述誘導故障消息序列在抽象模型中生成相同的可觀測的故障。

6.如權利要求1所述的系統，進一步包括耦合到所述縮小組件和所述消息簡化組件的抽象模型，其中所述抽象模型為事件驅動模型。

7.如權利要求6所述的系統，其中所述抽象模型表示設備的設計或者行為。

8.如權利要求7所述的系統，其中所述設備的設計或者行為以軟件、固件、硬件或者其任何組合實現。

9.如權利要求1所述的系統，其中所述簡化組件被配置成提供調試提示以及簡化序列。

10.如權利要求9所述的系統，其中所述調試提示指示技術區域。

11.如權利要求1所述的系統，其中所述消息簡化組件被配置成分析所述縮小序列的消息部分以識別可能的缺陷。

12.如權利要求1所述的系統，其中所述消息簡化組件被配置成識別不大可能導致故障的消息部分。

13.如權利要求1所述的系統，其中所述消息簡化組件被配置成識別所述縮小消息序列的消息部分，并且在抽象模型上測試用于識別的消息部分的各種值。

14.如權利要求1所述的系統，其中所述消息簡化組件利用啟發算法從所述縮小序列的一組消息部分中去除無故障消息部分。

15.一種簡化消息序列的方法，所述方法包括：

從所述消息序列中識別一個或者多個簡化候選序列；

測試所述一個或者多個簡化候選序列以識別至少一個成功候選序列；以及

基于所述至少一個成功候選序列生成縮小消息序列。

16.如權利要求15所述的方法，進一步包括識別所述縮小消息序列的消息部分，并且測試所述被識別的消息部分以識別可能有缺陷的消息部分的提示。

17.如權利要求15所述的方法，進一步包括設置所述縮小消息序列的消息部分為缺省值，并且把那些消息部分識別為再現錯誤的成功消息部分。

18.如權利要求17所述的方法，進一步包括從可能的消息部分的列表中移除所述成功消息部分以生成剩余消息部分的列表。

19.如權利要求18所述的方法，進一步包括提供所述剩余消息部分的列表作為調試提示。

20.如權利要求19所述的方法，進一步包括基于所述調試提示調試系統。

21.一種簡化消息部分列表的方法，所述方法包括：

從消息序列獲取消息部分列表；

把所述消息部分設置為第一值；

識別設置為所述第一值的成功候選序列消息部分，所述消息部分再現初始消息序列故障；

識別設置為所述第一值的不成功候選序列消息部分，所述消息部分不再生初始消息序列故障；以及

提供所述不成功候選序列消息部分作為調試指示。

22.如權利要求21所述的方法，其中所述第一值是缺省值。

23.如權利要求21所述的方法，其中所述初始消息序列故障為由所述消息序列誘導的故障。

24.如權利要求21所述的方法，其中識別成功候選序列消息部分包括在抽象模型上采用第一值測試所述消息部分。