公开(公告)号：US09262307B2

公开(公告)日：2016-02-16

申请号：US13253089

申请日：2011-10-05

申请人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

发明人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

IPC分类号： G06F11/36 ,  G01R31/3183 ,  G01R31/3181

CPC分类号： G06F11/3676 ,  G01R31/3181 ,  G01R31/31813 ,  G01R31/3183 ,  G01R31/318314 ,  G01R31/31835 ,  G01R31/318357 ,  G01R31/318364 ,  G06F11/3684

摘要： A method executable on one or more processors for modeling a test space is provided. The method may include defining a coverage model including a set of variables. The method may also include selecting one or more variables within at least one subset of a plurality of subsets of the set of variables. The selection may be according to an interaction level requirement defined for at least one or more of the subsets, whereby the interaction level corresponds to a coverage of the test space that covers a plurality of possible combinations of the one or more variables at multiple levels. Furthermore, respective values for the one or more selected variables within the subset of the set of variables may be assigned. The method may also include one or more definitions for value combinations for said variables with assigned values.

摘要翻译： 提供了在一个或多个处理器上可执行的用于建模测试空间的方法。 该方法可以包括定义包括一组变量的覆盖模型。 该方法还可以包括在该组变量集合的多个子集的至少一个子集内选择一个或多个变量。 该选择可以根据为至少一个或多个子集定义的交互级别要求，由此交互级别对应于覆盖多个级别的一个或多个变量的多个可能组合的测试空间的覆盖。 此外，可以分配变量集合的子集内的一个或多个选定变量的相应值。 该方法还可以包括用于具有指定值的所述变量的值组合的一个或多个定义。

公开(公告)号：US08595676B2

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

申请号：US13163700

申请日：2011-06-19

申请人： Rachel Tzoref-Brill ,  Itai Segall ,  Tatyana Veksler

发明人： Rachel Tzoref-Brill ,  Itai Segall ,  Tatyana Veksler

IPC分类号： G06F17/50

CPC分类号： G01R31/31835 ,  G01R31/318371

摘要： A computer-implemented method, apparatus, and computer program product for assisting in dynamic verification of a System Under Test (SUT). The method comprising obtaining a set of functional attributes and associated domains with respect to a System Under Test (SUT), and obtaining a set of restrictions over the functional attributes and associated domains. The method comprising encoding a Binary Decision Diagram (BDD) to represent a Cartesian cross-product test-space of all possible combinations of values of the functional attributes excluding combinations that are restricted by the set of restrictions, whereby the BDD symbolically represents the Cartesian cross-product test-space. The method may further comprise analyzing the Cartesian cross-product test-space by manipulating the BDD so as to assist in performing dynamic verification of the SUT.

摘要翻译： 一种用于辅助被测系统（SUT）的动态验证的计算机实现的方法，装置和计算机程序产品。 该方法包括相对于被测系统（SUT）获得一组功能属性和相关联的域，以及获得关于功能属性和相关域的一组限制。 该方法包括编码二进制决策图（BDD）以表示功能属性的值的所有可能组合的笛卡尔乘积测试空间，排除受该组限制限制的组合，由此BDD象征性地表示笛卡尔十字 - 产品测试空间。 该方法还可以包括通过操纵BDD来分析笛卡尔积产品测试空间，以帮助执行SUT的动态验证。

公开(公告)号：US20130262017A1

公开(公告)日：2013-10-03

申请号：US13437945

申请日：2012-04-03

申请人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

发明人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

IPC分类号： G06F19/00

CPC分类号： G06F11/263

摘要： An apparatus, computer-implemented method performed by a computerized device and a computer program product, the method comprising: receiving an attribute collection related to a domain, the attribute collection comprising two or more attributes; receiving one or more restrictions, each restriction indicating one or more attributes, wherein a value for the attribute is to be selected from one existing test; receiving an existing test; and generating one or more new tests by setting values for the two or more attributes, wherein values for the one or more attributes of the one or more restrictions are selected from the existing test, and one or more values for one or more other attributes are not selected from the existing test.

摘要翻译： 一种由计算机化设备和计算机程序产品执行的装置，计算机实现的方法，所述方法包括：接收与域相关的属性集合，所述属性集合包括两个或多个属性; 接收一个或多个限制，每个限制指示一个或多个属性，其中从一个现有测试中选择该属性的值; 接受现有测试; 以及通过设置两个或多个属性的值来生成一个或多个新测试，其中从现有测试中选择一个或多个限制的一个或多个属性的值，并且一个或多个其他属性的一个或多个值是 没有从现有测试中选出。

公开(公告)号：US20130090911A1

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

申请号：US13253084

申请日：2011-10-05

申请人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

发明人： Itai Segall ,  Rachel Tzoref-Brill ,  Aviad Zlotnick

IPC分类号： G06F9/44 ,  G06F17/00

CPC分类号： G06F11/263

摘要： A method for modeling test space for verifying system behavior is provided. The method comprises defining a coverage model based on one or more variables, wherein respective value combinations for the variables are assigned to define a test space for a system under test, and zero or more constraints define restrictions on value combinations assigned to the variables, wherein the restrictions define whether said value combinations are valid; and designating, as interchangeable, relevant variables values in the coverage model.

摘要翻译： 提供了一种用于建模测试空间以验证系统行为的方法。 该方法包括基于一个或多个变量定义覆盖模型，其中分配变量的相应值组合以定义被测系统的测试空间，并且零个或更多个约束定义对分配给变量的值组合的限制，其中 该限制定义所述值组合是​​否有效; 并在覆盖模型中指定可互换的相关变量值。

公开(公告)号：US20110276578A1

公开(公告)日：2011-11-10

申请号：US12773852

申请日：2010-05-05

申请人： Miriam Allalouf ,  Muli Ben-Yehuda ,  Julian Satran ,  Itai Segall

发明人： Miriam Allalouf ,  Muli Ben-Yehuda ,  Julian Satran ,  Itai Segall

IPC分类号： G06F17/30 ,  G06F12/00 ,  G06F7/00

CPC分类号： G06F3/0643 ,  G06F3/0604 ,  G06F3/064 ,  G06F3/0689

摘要： A computer implemented method is disclosed for obtaining file-level information from block level information of files stored on a storage medium. The method includes accessing the storage medium to obtain metadata available in block level on the storage medium and building an inverse block-to-file map of the files stored on the storage medium. The method also includes listening online to incoming block-level commands communicated from a host to the storage medium, parsing the incoming block-level commands, inferring file-level information from the parsed block level commands; and updating the inverse file-level map. Also disclosed are corresponding computer program product and processing system.

摘要翻译： 公开了一种计算机实现的方法，用于从存储在存储介质上的文件的块级信息获得文件级信息。 该方法包括访问存储介质以获得在存储介质上以块级可用的元数据，并构建存储在存储介质上的文件的反向块对文件映射。 该方法还包括在线监听从主机传送到存储介质的传入块级命令，解析传入的块级命令，从解析块级别命令推断文件级信息; 并更新逆文件级映射。 还公开了相应的计算机程序产品和处理系统。

公开(公告)号：US20100287397A1

公开(公告)日：2010-11-11

申请号：US12436163

申请日：2009-05-06

申请人： Dalit Naor ,  Danny Harnik ,  Itai Segall

发明人： Dalit Naor ,  Danny Harnik ,  Itai Segall

IPC分类号： G06F1/32 ,  G06F12/00 ,  G06F12/16

CPC分类号： G06F3/065 ,  G06F1/3203 ,  G06F1/3268 ,  G06F3/0625 ,  G06F3/0634 ,  G06F3/067 ,  Y02D10/154

摘要： A novel and useful method of implementing a full coverage low power mode in a storage system comprised of one or more memory storage devices storing replicated data items. A subset of the memory storage devices is chosen whose replicated data items require the least amount of storage. If the chosen subset stores uncovered data items, these data items are copied to an auxiliary memory storage device. The storage system can enter a full coverage low power mode by powering down the chosen subset of memory storage devices.

摘要翻译： 一种在由存储复制数据项的一个或多个存储器存储设备组成的存储系统中实现全覆盖低功率模式的新颖且有用的方法。 选择存储器存储设备的子集，其复制数据项需要最少量的存储。 如果所选择的子集存储未覆盖的数据项，则这些数据项被复制到辅助存储器存储设备。 存储系统可以通过关闭所选择的存储器存储设备的子集来进入全覆盖低功率模式。

公开(公告)号：US20130110880A1

公开(公告)日：2013-05-02

申请号：US13285016

申请日：2011-10-31

申请人： Eitan Farchi ,  Itai Segall ,  Aviad Zlotnick

发明人： Eitan Farchi ,  Itai Segall ,  Aviad Zlotnick

IPC分类号： G06F17/30

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

摘要： A method for modeling a test space is provided. The method comprises defining a coverage model including one or more variables, wherein respective values for the variables are assigned, one or more definitions of value properties for said variables with assigned values, and one or more restrictions that limit combination of variable values that are legal for the model, wherein at least one of said restrictions is defined using at least one value property.

摘要翻译： 提供了一种用于建模测试空间的方法。 该方法包括定义包括一个或多个变量的覆盖模型，其中分配变量的相应值，对于具有指定值的所述变量的值属性的一个或多个定义以及限制合法的变量值的组合的一个或多个限制 对于所述模型，其中使用至少一个值属性来定义所述限制中的至少一个。

公开(公告)号：US20130110489A1

公开(公告)日：2013-05-02

申请号：US13285018

申请日：2011-10-31

申请人： Eitan Farchi ,  Itai Segall ,  Rachel Tzoref-Brill

发明人： Eitan Farchi ,  Itai Segall ,  Rachel Tzoref-Brill

IPC分类号： G06F17/50

CPC分类号： G01R31/31835

摘要： A method for modeling a test space comprising defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and restrictions based on which valid variable value combinations are determined for the purpose of testing the model, wherein at least two values that are assignable to the one or more variables are merged to reduce number of variable values in the coverage model.

摘要翻译： 一种用于对测试空间进行建模的方法，包括定义覆盖模型，所述覆盖模型包括：一个或多个变量，其中分配变量的相应值，以及基于哪个有效变量值组合为了测试模型而确定的限制，其中至少 可以分配给一个或多个变量的两个值被合并以减少覆盖模型中的变量值的数量。

公开(公告)号：US20120324414A1

公开(公告)日：2012-12-20

申请号：US13163700

申请日：2011-06-19

申请人： Rachel Tzoref-Brill ,  Itai Segall ,  Tatyana Veksler

发明人： Rachel Tzoref-Brill ,  Itai Segall ,  Tatyana Veksler

IPC分类号： G06F17/50

CPC分类号： G01R31/31835 ,  G01R31/318371

摘要： A computer-implemented method, apparatus, and computer program product for assisting in dynamic verification of a System Under Test (SUT). The method comprising obtaining a set of functional attributes and associated domains with respect to a System Under Test (SUT), and obtaining a set of restrictions over the functional attributes and associated domains. The method comprising encoding a Binary Decision Diagram (BDD) to represent a Cartesian cross-product test-space of all possible combinations of values of the functional attributes excluding combinations that are restricted by the set of restrictions, whereby the BDD symbolically represents the Cartesian cross-product test-space. The method may further comprise analyzing the Cartesian cross-product test-space by manipulating the BDD so as to assist in performing dynamic verification of the SUT.

摘要翻译： 一种用于辅助被测系统（SUT）的动态验证的计算机实现的方法，装置和计算机程序产品。 该方法包括相对于被测系统（SUT）获得一组功能属性和相关联的域，以及获得关于功能属性和相关域的一组限制。 该方法包括编码二进制决策图（BDD）以表示功能属性的值的所有可能组合的笛卡尔乘积测试空间，排除受该组限制限制的组合，由此BDD象征性地表示笛卡尔十字 - 产品测试空间。 该方法还可以包括通过操纵BDD来分析笛卡尔积产品测试空间，以帮助执行SUT的动态验证。

公开(公告)号：US08290994B2

公开(公告)日：2012-10-16

申请号：US12773852

申请日：2010-05-05

申请人： Miriam Allalouf ,  Muli Ben-Yehuda ,  Julian Satran ,  Itai Segall

发明人： Miriam Allalouf ,  Muli Ben-Yehuda ,  Julian Satran ,  Itai Segall

IPC分类号： G06F17/30

CPC分类号： G06F3/0643 ,  G06F3/0604 ,  G06F3/064 ,  G06F3/0689

摘要： A computer implemented method is disclosed for obtaining file-level information from block level information of files stored on a storage medium. The method includes accessing the storage medium to obtain metadata available in block level on the storage medium and building an inverse block-to-file map of the files stored on the storage medium. The method also includes listening online to incoming block-level commands communicated from a host to the storage medium, parsing the incoming block-level commands, inferring file-level information from the parsed block level commands; and updating the inverse file-level map. Also disclosed are corresponding computer program product and processing system.

摘要翻译： 公开了一种计算机实现的方法，用于从存储在存储介质上的文件的块级信息获得文件级信息。 该方法包括访问存储介质以获得在存储介质上以块级可用的元数据，并构建存储在存储介质上的文件的反向块对文件映射。 该方法还包括在线监听从主机传送到存储介质的传入块级命令，解析传入的块级命令，从解析块级别命令推断文件级信息; 并更新逆文件级映射。 还公开了相应的计算机程序产品和处理系统。