公开(公告)号：US20130103983A1

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

申请号：US13360811

申请日：2012-01-30

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

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

IPC分类号： G06F11/28

CPC分类号： G06F11/3676

摘要： Obtaining a functional coverage model of a System Under Test (SUT) defining all functional coverage tasks of the SUT, wherein the functional coverage model defining a test-space with respect to functional attributes; obtaining a set of covered functional coverage tasks; encoding a covered Binary Decision Diagram (BDD) to represent the set of covered functional coverage tasks within the test-space; and manipulating the covered BDD to identify one or more coverage holes, wherein a coverage hole defines a set of coverage tasks in the test-space, all having a same combination of values to a subset of the functional attributes, that are not covered by the set of covered functional coverage task.

摘要翻译： 获得定义所述SUT的所有功能覆盖任务的被测系统（SUT）的功能覆盖模型，其中所述功能覆盖模型定义关于功能属性的测试空间; 获得一套覆盖的功能覆盖任务; 编码覆盖的二进制决策图（BDD）来表示测试空间内覆盖的功能覆盖任务集合; 并且操纵被覆盖的BDD以识别一个或多个覆盖孔，其中覆盖孔定义测试空间中的一组覆盖任务，所有这些都具有与功能属性的子集相同的值组合，其不被 一套涵盖功能覆盖的任务。

公开(公告)号：US20130091382A1

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

申请号：US13253089

申请日：2011-10-05

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

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

IPC分类号： G06F11/28

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

摘要： 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, and one or more definitions for value combinations for said variables with assigned values, wherein at least one of said value combinations is defined as optional, and zero or more other said value combinations are defined as forbidden or mandatory for purpose of generating test scenarios to test a system for which the coverage model is defined.

摘要翻译： 提供了一种用于建模测试空间的方法。 该方法包括定义覆盖模型，包括：一个或多个变量，其中分配变量的相应值，以及用于具有分配值的所述变量的值组合的一个或多个定义，其中所述值组合中的至少一个被定义为可选的 ，并且零个或多个其他所述值组合被定义为禁止或强制的，用于生成测试场景以测试覆盖模型被定义的系统。

公开(公告)号：US09218271B2

公开(公告)日：2015-12-22

申请号：US13252219

申请日：2011-10-04

申请人： Itai Segall ,  Rachel Tzoref-Brill

发明人： Itai Segall ,  Rachel Tzoref-Brill

IPC分类号： G06F9/44 ,  G06F11/36 ,  G06F11/263

CPC分类号： G06F11/3676 ,  G06F11/263 ,  G06F11/3684

摘要： A method for refining a test plan is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein zero or more of said value combinations are defined according to one or more restrictions for the purpose of generating a test plan to test a system for which the coverage model is constructed; determining zero or more uncovered value combinations in the test plan; and providing means to update the test plan.

摘要翻译： 提供了一种精炼测试计划的方法。 该方法包括定义覆盖模型，包括：一个或多个变量，其中分配变量的相应值，以及用于具有分配值的所述变量的值组合的一个或多个定义，其中根据 一个或多个限制，用于生成测试计划，以测试构建覆盖范围模型的系统; 在测试计划中确定零个或多个未覆盖的值组合; 并提供更新测试计划的方法。

公开(公告)号：US08954310B2

公开(公告)日：2015-02-10

申请号：US13285018

申请日：2011-10-31

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

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

IPC分类号： G06F9/44 ,  G01R31/3183

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.

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

公开(公告)号：US08656341B2

公开(公告)日：2014-02-18

申请号：US13360811

申请日：2012-01-30

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

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

IPC分类号： G06F17/50

CPC分类号： G06F11/3676

摘要： Obtaining a functional coverage model of a System Under Test (SUT) defining all functional coverage tasks of the SUT, wherein the functional coverage model defining a test-space with respect to functional attributes; obtaining a set of covered functional coverage tasks; encoding a covered Binary Decision Diagram (BDD) to represent the set of covered functional coverage tasks within the test-space; and manipulating the covered BDD to identify one or more coverage holes, wherein a coverage hole defines a set of coverage tasks in the test-space, all having a same combination of values to a subset of the functional attributes, that are not covered by the set of covered functional coverage task.

摘要翻译： 获得定义所述SUT的所有功能覆盖任务的被测系统（SUT）的功能覆盖模型，其中所述功能覆盖模型定义关于功能属性的测试空间; 获得一套覆盖的功能覆盖任务; 编码覆盖的二进制决策图（BDD）来表示测试空间内覆盖的功能覆盖任务集合; 并且操纵被覆盖的BDD以识别一个或多个覆盖孔，其中覆盖孔定义测试空间中的一组覆盖任务，所有这些都具有与功能属性的子集相同的值组合，其不被 一套涵盖功能覆盖的任务。

公开(公告)号：US20130085741A1

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

申请号：US13252219

申请日：2011-10-04

申请人： Itai Segall ,  Rachel Tzoref-Brill

发明人： Itai Segall ,  Rachel Tzoref-Brill

IPC分类号： G06F9/44

CPC分类号： G06F11/3676 ,  G06F11/263 ,  G06F11/3684

摘要： A method for refining a test plan is provided. The method comprises defining a coverage model including: one or more variables, wherein respective values for the variables are assigned, and one or more definitions for value combinations for said variables with assigned values, wherein zero or more of said value combinations are defined according to one or more restrictions for the purpose of generating a test plan to test a system for which the coverage model is constructed; determining zero or more uncovered value combinations in the test plan; and providing means to update the test plan.

摘要翻译： 提供了一种精炼测试计划的方法。 该方法包括定义覆盖模型，包括：一个或多个变量，其中分配变量的相应值，以及用于具有分配值的所述变量的值组合的一个或多个定义，其中根据 一个或多个限制，用于生成测试计划，以测试构建覆盖范围模型的系统; 在测试计划中确定零个或多个未覆盖的值组合; 并提供更新测试计划的方法。

公开(公告)号：US20120324286A1

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

申请号：US13163702

申请日：2011-06-19

申请人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Segall ,  Avi Ziv

发明人： Ariel Birnbaum ,  Rachel Tzoref-Brill ,  Steven Mittermaier ,  Itai Segall ,  Avi Ziv

IPC分类号： G06F11/36

CPC分类号： G06F11/3608

摘要： Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.

摘要翻译： 提供了使用一个或多个辅助变量建​​模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及对分配给属性的值组合定义限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是​​否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。

公开(公告)号：US08122217B2

公开(公告)日：2012-02-21

申请号：US12436163

申请日：2009-05-06

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

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

IPC分类号： G06F12/02

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.

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