公开(公告)号：US08607198B2

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

申请号：US12636853

申请日：2009-12-14

申请人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

发明人： Yarden Nir-Buchbinder ,  Dan Pelleg ,  Orna Raz-Pelleg ,  Shmuel Ur ,  Aviad Zlotnick

IPC分类号： G06F9/44

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

摘要： A method for software processing includes extracting from software code under test respective items of meta-information pertaining to elements of the software code and receiving respective quality data regarding the elements of software code. The quality data and meta-information are processed in a computer so as to assign respective metrics to the items of the meta-information responsively to the quality data regarding the elements of the software code to which the items pertain. At least some of the meta-information is presented to a user in accordance with the assigned metrics.

摘要翻译： 一种用于软件处理的方法包括：从软件代码中提取与软件代码的元素相关的元信息的相应项目，并接收关于软件代码元素的各个质量数据。 在计算机中处理质量数据和元信息，以便响应于关于项目所属的软件代码的元素的质量数据，将元数据的项目分配给各个度量。 根据分配的度量，至少一些元信息被呈现给用户。

公开(公告)号：US08473526B2

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

申请号：US11971100

申请日：2008-01-08

申请人： Aviad Zlotnick

发明人： Aviad Zlotnick

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

CPC分类号： G06F11/1458 ,  G06F11/1464

摘要： A method for managing a group of targets is provided. The method includes: receiving a request to update a x'th generation copy of a data entity, where x is a positive integer. Then applying an update function responsive to x such as to update a first sub-group of targets. Then receiving a request to read a y'th generation copy of the data entity and (iv) applying a retrieve function responsive to y such as to search for the y'th generation copy of the data entity in a second sub-group of targets. The first and second sub-groups intersect only once and only if y does not exceed x.

摘要翻译： 提供了一种用于管理一组目标的方法。 该方法包括：接收更新数据实体的第X代拷贝的请求，其中x是正整数。 然后应用响应于x的更新功能，例如更新目标的第一子组。 然后接收到读取数据实体的第y代副本的请求，以及（iv）响应于y应用检索功能，以便在第二个目标子组中搜索数据实体的第y代拷贝 。 只有当y不超过x时，第一和第二子组只相交一次。

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

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

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

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

公开(公告)号：US08347052B2

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

申请号：US13352274

申请日：2012-01-17

申请人： Shachar Fienblit ,  Eyal Gordon ,  Aviad Zlotnick

发明人： Shachar Fienblit ,  Eyal Gordon ,  Aviad Zlotnick

IPC分类号： G06F12/00

CPC分类号： G06F12/023 ,  G06F3/0605 ,  G06F3/0632 ,  G06F3/0689

摘要： A method for initializing a memory area, the method includes: receiving a request to access a first memory sub area of a first memory area that comprises multiple memory sub areas; and initializing the first memory sub area if a first memory area initialization indicator differs from a first memory sub area initialization request indicator; wherein the first memory area initialization request indicator is a multiple bit variable indicative of a time of a last request to initialize the first memory area and the first memory sub area initialization indicator is a multiple bit variable indicative of a time of a request to initialize the first memory area that resulted in a last initialization of the first memory sub area.

摘要翻译： 一种用于初始化存储区域的方法，所述方法包括：接收访问包括多个存储器子区域的第一存储器区域的第一存储器子区域的请求; 以及如果第一存储区初始化指示符与第一存储器子区初始化请求指示符不同，则初始化第一存储器子区; 其中所述第一存储区初始化请求指示符是指示初始化所述第一存储器区域的最后请求的时间的多位变量，并且所述第一存储器子区初始化指示符是表示初始化所述第一存储区初始化请求的时间的多位变量 导致第一存储器子区域的最后初始化的第一存储区域。

公开(公告)号：US20120331449A1

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

申请号：US13606214

申请日：2012-09-07

申请人： Eitan Daniel Farchi ,  Shachar Fienblit ,  Shay Gammer ,  Sheli Rahav ,  Orna Raz-Pelleg ,  Dalit Tzafrir ,  Aviad Zlotnick

发明人： Eitan Daniel Farchi ,  Shachar Fienblit ,  Shay Gammer ,  Sheli Rahav ,  Orna Raz-Pelleg ,  Dalit Tzafrir ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/3644

摘要： A method for evaluating a debugger script, the method includes: (i) receiving a debugger script that includes a first debugger breakpoint that is associated with a certain program line number; and determining a validity of the first debugger breakpoint in response to a comparison between expected content associated with the first debugger breakpoint and between an actual content of at least a portion of a certain program line group that comprises a certain program line identified by the certain program line number.

摘要翻译： 一种用于评估调试器脚本的方法，所述方法包括：（i）接收包括与特定程序行号相关联的第一调试器断点的调试器脚本; 以及响应于与所述第一调试器断点相关联的预期内容与所述特定程序行组的至少一部分的实际内容之间的比较确定所述第一调试器断点的有效性，所述特定程序行组包括由所述特定程序 电话号码。

公开(公告)号：US20110191557A1

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

申请号：US12698331

申请日：2010-02-02

申请人： Akram Bitar ,  Irit Dolev ,  Shachar Fienblit ,  Olympia Gluck ,  Gilad Sharaby ,  Gail Andrea Spear ,  Aviad Zlotnick

发明人： Akram Bitar ,  Irit Dolev ,  Shachar Fienblit ,  Olympia Gluck ,  Gilad Sharaby ,  Gail Andrea Spear ,  Aviad Zlotnick

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

CPC分类号： G06F12/00 ,  G06F12/16

摘要： A method for synchronizing data storage systems is provided. The method comprises designating a relationship between a first data storage system and a second data storage system, such that data stored in the first data storage system is copied to the second data storage system, in response to determining that the data stored in the first data storage system has been modified; receiving a first request to modify data stored in a first data block of a first storage volume in the first data storage system, wherein the data block is modified according to the first request; determining that the first data block has not been successfully synchronized when the modified data stored in the first data block is not copied to the second data storage system; and executing a process to retry synchronization of the first data block until synchronization of the first data block is successful, without suspending the relationship while the process is executed.

摘要翻译： 提供了一种同步数据存储系统的方法。 该方法包括：指定第一数据存储系统和第二数据存储系统之间的关系，使得存储在第一数据存储系统中的数据被复制到第二数据存储系统，以响应于确定存储在第一数据中的数据 存储系统已经修改; 接收修改存储在第一数据存储系统中的第一存储卷的第一数据块中的数据的第一请求，其中根据第一请求修改数据块; 当存储在第一数据块中的修改数据未被复制到第二数据存储系统时，确定第一数据块尚未成功同步; 以及执行重试所述第一数据块的同步的处理，直到所述第一数据块的同步成功，而不执行所述处理时暂停所述关系。

公开(公告)号：US07761732B2

公开(公告)日：2010-07-20

申请号：US11297126

申请日：2005-12-07

申请人： Robert Frederic Kern ,  Kenneth Wayne Boyd ,  William Frank Micka ,  Gregory Edward McBride ,  John Thomas Flynn, Jr. ,  John Jay Wolfgang ,  Michael E. Factor ,  Amiram Hayardeny ,  Kenneth Fairclough Day, III ,  Aviad Zlotnick

发明人： Robert Frederic Kern ,  Kenneth Wayne Boyd ,  William Frank Micka ,  Gregory Edward McBride ,  John Thomas Flynn, Jr. ,  John Jay Wolfgang ,  Michael E. Factor ,  Amiram Hayardeny ,  Kenneth Fairclough Day, III ,  Aviad Zlotnick

IPC分类号： G06F11/00

CPC分类号： G06F11/1435 ,  G06F11/1471 ,  G06F2201/84

摘要： Provided are a method, system, and article of manufacture wherein a command is received for writing data to a first storage location. A determination is made that previously written data is stored in the first storage location. The previously written data is copied to a second storage location, in response to determining that the previously written data is stored in the first storage location. The data is written to the first storage location, in response to copying the previously written data to the second storage location.

摘要翻译： 提供了一种方法，系统和制品，其中接收到用于向第一存储位置写入数据的命令。 确定先前写入的数据被存储在第一存储位置。 响应于确定先前写入的数据被存储在第一存储位置，先前写入的数据被复制到第二存储位置。 响应于将先前写入的数据复制到第二存储位置，数据被写入到第一存储位置。

公开(公告)号：US07757015B2

公开(公告)日：2010-07-13

申请号：US11225738

申请日：2005-09-13

申请人： Michael Factor ,  Thomas Charles Jarvis ,  Robert Akira Kubo ,  Orit Nissan-Messing ,  Gary Valentin ,  Elena Yerushalmi ,  Aviad Zlotnick

发明人： Michael Factor ,  Thomas Charles Jarvis ,  Robert Akira Kubo ,  Orit Nissan-Messing ,  Gary Valentin ,  Elena Yerushalmi ,  Aviad Zlotnick

IPC分类号： G05B23/00

CPC分类号： G06F9/4411

摘要： Method, device and computer program product for determining a characteristic of an identifiable component. The method includes: receiving identification information representative of an identity of components that belong to a group of components, determining at least one characteristic of an identifiable component in response to the received identification information, and performing at least one characteristic responsive operation. The device includes an identifiable component and a component characteristic determiner. The component characteristic determiner is adapted to receive identification information representative of an identity of components that belong to a group of components and to determine at least one characteristic of the identifiable component in response to a relationship between the received identification information and reference identification information. The device is adapted to perform at least one characteristic responsive information.

摘要翻译： 用于确定可识别部件的特性的方法，装置和计算机程序产品。 所述方法包括：接收表示属于一组组件的组件的身份的标识信息，响应于所接收的标识信息确定可识别组件的至少一个特征，以及执行至少一个特征响应操作。 该设备包括可识别的组件和组件特征确定器。 组件特性确定器适于接收表示属于一组组件的组件的身份的标识信息，并且响应于所接收的标识信息和参考标识信息之间的关系来确定可识别组件的至少一个特性。 该装置适于执行至少一个特征响应信息。

公开(公告)号：US20100146348A1

公开(公告)日：2010-06-10

申请号：US12329965

申请日：2008-12-08

申请人： Aviad Zlotnick

发明人： Aviad Zlotnick

IPC分类号： G06F11/07 ,  G06F12/00 ,  G06F12/16

CPC分类号： G06F11/2087 ,  G06F11/2082

摘要： A storage unit adapted for use in a processing system includes a controller including at least two compute nodes, each of the compute nodes including a read/write cache and a persistent cache; and machine executable instructions stored within machine readable media, the instructions including instructions for tracking in-flight data in the persistent cache and composing a list of the in-flight data segments after a failure of the controller. A processing system and a method are also provided.

摘要翻译： 适于在处理系统中使用的存储单元包括包括至少两个计算节点的控制器，每个计算节点包括读/写高速缓存和持久高速缓存; 以及存储在机器可读介质内的机器可执行指令，所述指令包括用于在所述控制器发生故障之后跟踪所述持续高速缓存中的飞行中数据并组合所述飞行中数据段的列表的指令。 还提供了一种处理系统和方法。