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

说明书

背景技术

传统上，设备采用相当特定的功能和特征组进行操作。这种传统设备的功能和特征对设备的类型是特定的。例如，传统的电话使用诸如发起呼叫、接收呼叫等与电话相关的功能。在另一示例中，传统音乐设备使用诸如跳到下一首歌曲、播放、暂停等功能。

目前的设备经常在单个设备中包括传统设备的许多特征组。例如，智能电话可以包括涉及电话、音乐播放器、电子消息系统、视频播放器、相机等的功能和特征。具有多种特征组导致目前的设备比传统设备更复杂。这种复杂性使这种设备的设计和调试充满挑战。因此，存在这种设备的调试设计的更简化系统的需求。

附图说明

图1为图示了利用消息序列简化系统的设备的框图。

图2为图示了消息序列简化系统的框图。

图3A为描绘了能够与所述系统一起被使用的抽象模型200的示例的状态图。

图3B为图示了示出消息部分的诱导故障的消息序列的部分示图。

图4为图示了简化消息序列的方法的流程图。

具体实施方式

现在参考附图描述本发明，其中相同的附图标记全文被用于指代相同的元件，并且其中图示的结构和设备不必按比例绘制。

如今的设备可以包括移动设备、个人计算机、平板设备。设备也可以包括片上系统(SOC)和嵌入式系统，所述片上系统(SOC)和嵌入式系统包括多种功能和特征组。这些组包括电话、相机、视频回放、多媒体等。增强这些设备的开发和设计的一种技术是利用抽象模型来测试和调试这种设备的开发。

在最简单的形式中，抽象模型以加标记的迁移系统表示。每个迁移采用触发迁移的消息或事件加标记。此外，迁移也可以采用迁移概率加注释。抽象模型为实际完成系统的抽象表示。抽象模型规定各种抽象系统状态以及每个系统状态在所述系统因到来的消息或者事件而受到刺激时如何改变。

当消息序列导致偏离预期或者期望响应的系统输出或行为时，一个问题被识别。这种消息序列称为诱导故障的消息序列。然后这种诱导故障的消息序列可以被分析以识别故障的根本原因并且改正设计。然而，这种诱导故障消息序列典型地包括相当大数量的消息和高度复杂性。因此，调试这些诱导故障消息序列可能是花时间的并且困难的。

公开了包括自动缩小和简化诱导故障消息序列技术的系统和方法。因此，提供简化的序列以及能够大大减少与调试设备相关联的调试工作量(特别是人工调试的工作量)的提示。另外，简化的序列也可以促进把调试作为目标的特定技术区域(诸如，特定工程部门)的识别，并且因此改进故障分类。

图1为图示了利用消息序列简化系统100的设备50的框图。设备50可以为设备(诸如，移动设备、个人计算机、平板设备等)的至少一部分。设备50可以包括多种功能和／或特征组。

设备50包括一个或者多个处理器52、存储器54、输入／输出(I/O)组件56和消息序列简化系统100。处理器52被配置成与存储器54、I/O组件56和消息序列简化系统100交互。处理器52进一步被配置成执行来自存储器54的指令(包括序列)。

存储器54包括用于设备操作的程序代码、数据等。存储器54也可以包括消息序列。I／O组件56被配置成接收设备50外部的信息并且提供来自设备50的信息。

消息序列简化系统100接收诱导故障消息序列并且据其生成具有调试提示的简化序列。下面提供关于这种系统操作的附加细节。诱导故障消息序列能够被从存储器54或者由I／O组件56接收。类似地，具有调试提示的简化序列能够被存储在存储器54中和／或被提供到I／O组件56。

提供设备50作为示例以便于理解。可以意识到的是其它适合的设备也能够利用消息序列简化系统。

图2为图示了消息序列简化系统100的框图，其中序列消息可以被简化。为了生成简化序列和调试提示，系统100自动分析输入消息序列以缩小和简化消息序列。简化序列和调试提示便于改正或者修改由抽象模型表示的设备的设计。

可以意识到的是系统100的组件的至少一部分能够作为由一个或者多个处理器可执行的机器可读指令等在一个或者多个计算机上执行的软件中实现。进一步，系统100的组件能够至少部分存储在计算机可读介质上和／或利用计算机可读介质。