公开(公告)号：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.

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

公开(公告)号：US08452813B2

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

申请号：US13285016

申请日：2011-10-31

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

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

IPC分类号： G06F7/00 ,  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.

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

公开(公告)号：US20130117005A1

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

申请号：US13291115

申请日：2011-11-08

申请人： Eitan Farchi ,  Howard M. Hess ,  Onn M. Shehory ,  Aviad Zlotnick

发明人： Eitan Farchi ,  Howard M. Hess ,  Onn M. Shehory ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/3676

摘要： Systems and methods for constructing a model to test the functionality of a target system are provided. When a first test methodology is used to test the target system, a model is proposed to test the target system based on a second test methodology. A subset of the target system's properties covered by the model is selected according to the second test methodology. It is determined whether the selected subset of the target system's properties, as covered by the second test methodology, is covered by the first test methodology.

摘要翻译： 提供了用于构建模型以测试目标系统的功能的系统和方法。 当使用第一种测试方法来测试目标系统时，提出了一种基于第二种测试方法来测试目标系统的模型。 根据第二种测试方法选择模型覆盖的目标系统属性的子集。 确定第二种测试方法所涵盖的目标系统属性的选定子集是否被第一种测试方法所涵盖。

公开(公告)号：US20130024804A1

公开(公告)日：2013-01-24

申请号：US13186473

申请日：2011-07-20

申请人： Eitan Farchi ,  Onn Shehory ,  Moran Shochat ,  Aviad Zlotnick

发明人： Eitan Farchi ,  Onn Shehory ,  Moran Shochat ,  Aviad Zlotnick

IPC分类号： G06F3/048

CPC分类号： G06F3/0484

摘要： Systems and methods for monitoring user actions, while a user is viewing first content displayed on a display screen, wherein the user views a first portion of the first content within a first context that defines scope of view for the first content; determining whether the user's actions resulted in second content being displayed on the display screen; associating the first portion of the first content with the second content; and maintaining a record of the association between the first portion of the first content and the second content.

摘要翻译： 当用户正在观看在显示屏幕上显示的第一内容时，用户监视用户动作的系统和方法，其中所述用户在第一内容中观看第一内容的第一部分，所述第一内容定义所述第一内容的视野; 确定用户的动作是否导致第二内容被显示在显示屏幕上; 将第一内容的第一部分与第二内容相关联; 以及保持第一内容的第一部分与第二内容之间的关联的记录。

公开(公告)号：US20110202904A1

公开(公告)日：2011-08-18

申请号：US12705645

申请日：2010-02-15

申请人： Orna Raz ,  Eitan Farchi ,  Yochai Ben-Chaim ,  Hana Chockler ,  Lawrence Blount ,  Aviad Zlotnick

发明人： Orna Raz ,  Eitan Farchi ,  Yochai Ben-Chaim ,  Hana Chockler ,  Lawrence Blount ,  Aviad Zlotnick

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

CPC分类号： G06F11/3676

摘要： A coverage analysis tool may determine coverage in respect to heterogeneous coverage tasks associated with different hierarchy levels of a tasks hierarchy. The coverage analysis tool may iteratively refine coverage tasks to determine coverage of sub-tasks. In some cases, coverage tasks may be unrefined in order to reduce overhead of coverage analysis in performance of the software under test, such that the software under test may perform in an essentially similar manner as in non-testing mode.

摘要翻译： 覆盖分析工具可以确定与任务层次结构的不同层次级别相关联的异构覆盖任务的覆盖。 覆盖分析工具可以迭代地优化覆盖任务以确定子任务的覆盖。 在某些情况下，覆盖任务可能未被精炼，以便减少被测软件的性能上的覆盖率分析的开销，使得被测软件可以以与非测试模式基本相似的方式执行。

公开(公告)号：US08448147B2

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

申请号：US12705645

申请日：2010-02-15

申请人： Orna Raz ,  Eitan Farchi ,  Yochai Ben-Chaim ,  Hana Chockler ,  Lawrence Blount ,  Aviad Zlotnick

发明人： Orna Raz ,  Eitan Farchi ,  Yochai Ben-Chaim ,  Hana Chockler ,  Lawrence Blount ,  Aviad Zlotnick

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

CPC分类号： G06F11/3676

摘要： A coverage analysis tool may determine coverage in respect to heterogeneous coverage tasks associated with different hierarchy levels of a tasks hierarchy. The coverage analysis tool may iteratively refine coverage tasks to determine coverage of sub-tasks. In some cases, coverage tasks may be unrefined in order to reduce overhead of coverage analysis in performance of the software under test, such that the software under test may perform in an essentially similar manner as in non-testing mode.

摘要翻译： 覆盖分析工具可以确定与任务层次结构的不同层次级别相关联的异构覆盖任务的覆盖。 覆盖分析工具可以迭代地优化覆盖任务以确定子任务的覆盖。 在某些情况下，覆盖任务可能未被精炼，以便减少被测软件的性能上的覆盖率分析的开销，使得被测软件可以以与非测试模式基本相似的方式执行。

公开(公告)号：US20100064280A1

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

申请号：US12206813

申请日：2008-09-09

申请人： Aviad Zlotnick ,  Eitan Farchi ,  Yarden Nir-Buchbinder

发明人： Aviad Zlotnick ,  Eitan Farchi ,  Yarden Nir-Buchbinder

IPC分类号： G06F9/44

CPC分类号： G06F11/3688

摘要： A method of testing a system includes providing a shared memory including at least one value and at least one lock associated with the at least one value, the at least one lock including one or more shared read sublocks and an exclusive write sublock, providing a plurality of subsystems in communication with the shared memory and configured to access and update the at least one value, providing a test application on at least one of the plurality of subsystems, and running the test application on the one of the plurality of subsystems. A list of locks and values given to the test application includes a pre-existing list of locks and values in the system under the testing.

摘要翻译： 一种测试系统的方法包括提供共享存储器，其包括与至少一个值相关联的至少一个值和至少一个锁，所述至少一个锁包括一个或多个共享读取子锁和独占写入子锁，提供多个 子系统与所述共享存储器通信并被配置为访问和更新所述至少一个值，在所述多个子系统中的至少一个子系统上提供测试应用，以及在所述多个子系统之一上运行所述测试应用。 给测试应用程序的锁和值的列表包括系统中测试前的已有的锁和值列表。

公开(公告)号：US20110093745A1

公开(公告)日：2011-04-21

申请号：US12581927

申请日：2009-10-20

申请人： Aviad Zlotnick ,  Eitan Farchi ,  Yarden Nir-Buchbinder

发明人： Aviad Zlotnick ,  Eitan Farchi ,  Yarden Nir-Buchbinder

IPC分类号： G06F11/28 ,  G06F17/30

CPC分类号： G06F11/3672

摘要： The present invention generally relates to systems and methods for implementing test applications of systems using locks.

摘要翻译： 本发明一般涉及用于实现使用锁的系统的测试应用的系统和方法。

公开(公告)号：US20100131930A1

公开(公告)日：2010-05-27

申请号：US12276077

申请日：2008-11-21

申请人： Yochai Ben-Chaim ,  Lawrence Carter Blount ,  Hana Chockler ,  Eitan Farchi ,  Orna Raz-Pelleg ,  Aviad Zlotnick

发明人： Yochai Ben-Chaim ,  Lawrence Carter Blount ,  Hana Chockler ,  Eitan Farchi ,  Orna Raz-Pelleg ,  Aviad Zlotnick

IPC分类号： G06F11/36

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

摘要： Reporting on software test coverage, where a set of coverage tasks and a coverage task hierarchy have been established for a software under test (SUT). Establishing a coverage task subset, the subset including at least one coverage task hierarchy element at a level above the lowest coverage task hierarchy level. Identifying when, during a software test, a coverage task in the coverage task subset was completed. Outputting to a user the identity of those portions of the coverage task that have been completed. Refining the coverage task subset in one of the following fashions through the coverage task hierarchy in accordance with user input: depth first progression, breadth first progression.

摘要翻译： 报告软件测试覆盖范围，为被测软件（SUT）建立了一组覆盖任务和覆盖任务层次结构。 建立覆盖任务子集，所述子集包括在最低覆盖任务层次结构级别之上的层级中的至少一个覆盖任务层次结构元素。 在软件测试期间，确定覆盖任务子集中的覆盖任务何时完成。 向用户输出已完成的覆盖任务的那些部分的身份。 根据用户输入，通过覆盖任务层次结构，以下列方式之一来优化覆盖任务子集：深度优先进度，广度优先进度。

公开(公告)号：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.

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