公开(公告)号：US20110314450A1

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

申请号：US12820149

申请日：2010-06-22

申请人： Moran Shochat ,  Itzhack Goldberg ,  Aviad Zlotnick ,  Shmuel Ur

发明人： Moran Shochat ,  Itzhack Goldberg ,  Aviad Zlotnick ,  Shmuel Ur

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/00 ,  G06Q10/06

摘要： A method that may include: monitoring over time, actions carried out by at least one programmer over a software development environment to yield development patterns; comparing the development patterns to best practice rules to yield a comparison results indicating deviations of the development patterns from the best practice rules; and analyzing the comparison results based at least partially on a likelihood of each action deviated from the respective best practice rule to result in a software bug, to yield an analysis of potential software bug prone code sections, wherein at least one of the monitoring, the comparing, and the analyzing is executed by at least one processor.

摘要翻译： 一种方法可以包括：随着时间的推移监视至少一个程序员在软件开发环境中执行的动作以产生开发模式; 将发展模式与最佳实践规则进行比较，以产生指示发展模式与最佳做法规则的偏差的比较结果; 并且至少部分地分析比较结果，所述比较结果至少部分地基于从相应的最佳实践规则偏离的每个动作的可能性导致软件错误，以产生潜在的软件易错代码部分的分析，其中，所述监视中的至少一个， 比较，并且分析由至少一个处理器执行。

公开(公告)号：US20100274520A1

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

申请号：US12820156

申请日：2010-06-22

申请人： Shmuel Ur ,  Aviad Zlotnick

发明人： Shmuel Ur ,  Aviad Zlotnick

IPC分类号： G06F19/00

CPC分类号： G06F11/3676

摘要： Test plan to be utilized in a testing phase may be generated based on an initial test plan. A functional coverage model may be derived from the initial test plan. Modifications to the test plan may be automatically determined based on predetermined rules and parameters. Restrictions over possible combinations of values may be determined based on analysis of uncovered test activities in the initial test plan. Restrictions may be determined based on values of test activities in the initial test plan. Restrictions and modifications determined according to the disclosed subject matter may be indicated to a user for confirmation thereof.

摘要翻译： 可以根据初始测试计划生成在测试阶段中使用的测试计划。 可以从初始测试计划中导出功能覆盖模型。 测试计划的修改可以根据预定的规则和参数自动确定。 可能的组合值的限制可以基于初始测试计划中未覆盖的测试活动的分析来确定。 限制可以根据初始测试计划中的测试活动的值来确定。 根据所公开的主题确定的限制和修改可以被指示给用户以进行确认。

公开(公告)号：US08589882B2

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

申请号：US12820149

申请日：2010-06-22

申请人： Moran Shochat ,  Itzhack Goldberg ,  Aviad Zlotnick ,  Shmuel Ur

发明人： Moran Shochat ,  Itzhack Goldberg ,  Aviad Zlotnick ,  Shmuel Ur

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/00 ,  G06Q10/06

摘要： A method that may include: monitoring over time, actions carried out by at least one programmer over a software development environment to yield development patterns; comparing the development patterns to best practice rules to yield a comparison results indicating deviations of the development patterns from the best practice rules; and analyzing the comparison results based at least partially on a likelihood of each action deviated from the respective best practice rule to result in a software bug, to yield an analysis of potential software bug prone code sections, wherein at least one of the monitoring, the comparing, and the analyzing is executed by at least one processor.

摘要翻译： 一种方法可以包括：随着时间的推移监视至少一个程序员在软件开发环境中执行的动作以产生开发模式; 将发展模式与最佳实践规则进行比较，以产生指示发展模式与最佳做法规则的偏差的比较结果; 并且至少部分地分析比较结果，所述比较结果至少部分地基于从相应的最佳实践规则偏离的每个动作的可能性导致软件错误，以产生潜在的软件易错代码部分的分析，其中，所述监视中的至少一个， 比较，并且分析由至少一个处理器执行。

公开(公告)号：US20070067721A1

公开(公告)日：2007-03-22

申请号：US11229986

申请日：2005-09-19

申请人： Shmuel UR ,  Aviad Zlotnick

发明人： Shmuel UR ,  Aviad Zlotnick

IPC分类号： G06F17/00

CPC分类号： G06F17/24 ,  G06F3/04892 ,  G06F17/211

摘要： A computer-implemented method for navigating a location marker in text, the method includes moving a location maker from one location in a text to another location in the text according to properties of the locations. The movements of the location maker further includes executing a command to move the location maker from one location in the text, the command is related to at least one property of said text. Then, responsive to the command, another location in said text with at least one property of text indicated by the command is searched, and the location marker is moved to the other location in the text found during the search.

摘要翻译： 一种用于在文本中导航位置标记的计算机实现的方法，所述方法包括根据位置的属性将位置制作者从文本中的一个位置移动到文本中的另一位置。 位置制造商的移动还包括执行命令以使位置制造者从文本中的一个位置移动，该命令与所述文本的至少一个属性相关。 然后，响应于该命令，搜索所述文本中的另一位置，其中具有由命令指示的文本的至少一个属性，并且将位置标记移动到搜索期间找到的文本中的另一位置。

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

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

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

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