公开(公告)号：US08464103B2

公开(公告)日：2013-06-11

申请号：US12910804

申请日：2010-10-24

申请人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna X Orna Raz-Pelleg

发明人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna X Orna Raz-Pelleg

IPC分类号： G06F11/00

CPC分类号： G06F11/3636 ,  G06F11/3676

摘要： A functional coverage model may be generated based on a trace. The functional coverage model may comprise values of attributes. The values may be extracted from one or more entries comprised by the trace. Based upon a selection of a field of an exemplary entry, content of the corresponding fields in other entries may be extracted and utilized. In some exemplary embodiments, names of attributes may be extracted from the trace. In some exemplary embodiments, a reference trace may be utilized as a comparative baseline coverage by generating a functional coverage model based upon the reference trace and comparing coverage of a second trace in respect to the functional coverage model with the coverage of the reference trace.

摘要翻译： 可以基于跟踪生成功能覆盖模型。 功能覆盖模型可以包括属性值。 值可以从跟踪包含的一个或多个条目中提取。 基于对示例性条目的字段的选择，可以提取和利用其他条目中的对应字段的内容。 在一些示例性实施例中，可以从跟踪中提取属性的名称。 在一些示例性实施例中，可以通过基于参考轨迹生成功能覆盖模型并将第二轨迹相对于功能覆盖模型的覆盖与参考轨迹的覆盖进行比较来将参考轨迹用作对比基线覆盖。

公开(公告)号：US08458523B2

公开(公告)日：2013-06-04

申请号：US12910805

申请日：2010-10-24

申请人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna X Orna Raz-Pelleg

发明人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna X Orna Raz-Pelleg

IPC分类号： G06F11/00

CPC分类号： G06F11/3676 ,  G06F11/3636

摘要： A meta attribute useful for functional coverage is computed based on values comprised by two or more matching fields in a trace. The two or more matching fields may be comprised by a single entry of the trace or by a plurality of entries of the trace. A definition of the meta attribute may define which fields of the entries comprise values useful for computation of the meta attributes. The matching entries may be identified based on identifying values within the entries.

摘要翻译： 基于跟踪中两个或多个匹配字段所包含的值计算功能覆盖有用的元属性。 两个或多个匹配字段可以由跟踪的单个条目或跟踪的多个条目组成。 元属性的定义可以定义条目的哪些字段包含对元属性的计算有用的值。 可以基于条目中的识别值来识别匹配条目。

公开(公告)号：US20120102366A1

公开(公告)日：2012-04-26

申请号：US12910805

申请日：2010-10-24

申请人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna Raz-Pelleg

发明人： Yoram Simha Adler ,  Noam Behar ,  Dale E. Blue ,  Orna Raz-Pelleg

IPC分类号： G06F11/34

CPC分类号： G06F11/3676 ,  G06F11/3636

摘要： A meta attribute useful for functional coverage is computed based on values comprised by two or more matching fields in a trace. The two or more matching fields may be comprised by a single entry of the trace or by a plurality of entries of the trace. A definition of the meta attribute may define which fields of the entries comprise values useful for computation of the meta attributes. The matching entries may be identified based on identifying values within the entries.

摘要翻译： 基于跟踪中两个或多个匹配字段所包含的值计算功能覆盖有用的元属性。 两个或多个匹配字段可以由跟踪的单个条目或跟踪的多个条目组成。 元属性的定义可以定义条目的哪些字段包含对元属性的计算有用的值。 可以基于条目中的识别值来识别匹配条目。

公开(公告)号：US20120078925A1

公开(公告)日：2012-03-29

申请号：US12890755

申请日：2010-09-27

申请人： Noam Behar ,  Oma Raz-Pelleg ,  Moran Shochat ,  Yaakov Yaari ,  Aviad Zlotnick

发明人： Noam Behar ,  Oma Raz-Pelleg ,  Moran Shochat ,  Yaakov Yaari ,  Aviad Zlotnick

IPC分类号： G06F17/30

CPC分类号： G06F16/3341

摘要： A search tool may search a text file for entries matching one or more search criterions. The search tool may parse the file into entries. Entries may be parsed into lines and fields. A search criterion may define possible content in two or more fields and relationship between the two or more fields. The search criterion may be defined based on an exemplary entry of the text file, such as for example based on a selection of fields of the exemplary entry by a user.

摘要翻译： 搜索工具可以在文本文件中搜索匹配一个或多个搜索准则的条目。 搜索工具可以将文件解析成条目。 条目可能会被分析成行和字段。 搜索条件可以在两个或更多个字段中定义可能的内容以及两个或更多个字段之间的关系。 搜索标准可以基于文本文件的示例性条目来定义，例如基于用户对示例性条目的字段的选择。