发明名称 调试基于模型的消息序列的系统和方法
摘要 本公开涉及一种调试基于模型的消息序列的系统和方法。其中公开了一种简化消息序列的系统。所述系统包括缩小组件和消息简化组件。缩小组件被配置成接收诱导故障消息序列并且基于所述诱导故障消息序列提供缩小序列。缩小序列所具有的消息数量少于或者等于诱导故障消息序列所具有的消息数量。消息简化模块被配置成接收缩小序列并且简化缩小序列内的消息以生成简化的消息序列。
申请公布号 CN103885769A 申请公布日期 2014.06.25
申请号 CN201310757111.2 申请日期 2013.12.20
申请人 英特尔移动通信有限责任公司 发明人 R·D·布鲁迈尔
分类号 G06F9/44(2006.01)I;G06F9/46(2006.01)I 主分类号 G06F9/44(2006.01)I
代理机构 中国专利代理(香港)有限公司 72001 代理人 王洪斌;徐红燕
主权项 一种简化消息序列的系统,包括:缩小组件,被配置成接收诱导故障消息序列,并且基于所述诱导故障消息序列生成缩小序列;其中与所述诱导故障消息序列相比,所述缩小序列包括数量减少的消息;消息简化组件,被配置成接收所述缩小序列,并且简化所述缩小序列内的多个消息以生成简化消息序列。
地址 德国诺伊比贝格