[发明专利]调试基于模型的消息序列的系统和方法

权利要求书

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所述的方法，其中识别成功候选序列消息部分包括在抽象模型上采用第一值测试所述消息部分。