公开(公告)号：US08752023B2

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

申请号：US13571236

申请日：2012-08-09

申请人： Nir Golan ,  Aviad Zlotnick

发明人： Nir Golan ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/362

摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.

摘要翻译： 一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他 调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

公开(公告)号：US08572331B2

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

申请号：US12261972

申请日：2008-10-30

申请人： Henry Esmond Butterworth ,  Kenneth Fairclough Day, III ,  Philip Matthew Doatmas ,  John Jay Wolfgang ,  Vitaly Zautner ,  Aviad Zlotnick

发明人： Henry Esmond Butterworth ,  Kenneth Fairclough Day, III ,  Philip Matthew Doatmas ,  John Jay Wolfgang ,  Vitaly Zautner ,  Aviad Zlotnick

IPC分类号： G06F12/00 ,  G06F13/00 ,  G06F13/28 ,  G06F7/00 ,  G06F17/00 ,  G06F11/00 ,  G06F11/16

CPC分类号： G06F11/08 ,  Y10S707/99952 ,  Y10S707/99953

摘要： A method is disclosed for reliably updating a data group in a read-before-write data replication environment. The method reliably updates the data group by receiving an updated data group sent from a first storage medium to a second storage medium, comparing the updated data group with a previous data group previously existing on the second storage medium and writing the updated data group to the second storage medium. The read-before-write and differencing method disclosed maintain reliability by storing multiple copies of changes made to the second storage medium during and after the write process.

摘要翻译： 公开了一种用于可靠地更新写入前读数据复制环境中的数据组的方法。 该方法通过接收从第一存储介质发送到第二存储介质的更新数据组来可靠地更新数据组，将更新的数据组与先前存在于第二存储介质上的先前数据组进行比较，并将更新的数据组写入 第二存储介质。 所公开的预写入和差分方法通过在写入过程中和之后存储对第二存储介质所做的更改的多个副本来保持可靠性。

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

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

公开(公告)号：US20130247062A1

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

申请号：US13610487

申请日：2012-09-11

申请人： Rachel Tzoref ,  Eitan Daniel Farchi ,  Ehud Trainin ,  Aviad Zlotnick

发明人： Rachel Tzoref ,  Eitan Daniel Farchi ,  Ehud Trainin ,  Aviad Zlotnick

IPC分类号： G06F9/52

CPC分类号： G06F9/52 ,  G06F11/3688

摘要： A computer implemented system and method for measuring synchronization coverage for one or more concurrently executed threads is provided. The method comprises updating an identifier of a first thread to comprise an operation identifier associated with a first operation, in response to determining that the first thread has performed the first operation; associating the identifier of the first thread with one or more resources accessed by the first thread; and generating a synchronization coverage model by generating a relational data structure of said one or more resources, wherein a resource is associated with at least the identifier of the first thread and an identifier of a second thread identifier, such that the second thread waits for the first thread before accessing said resource.

摘要翻译： 提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。 响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待 在访问所述资源之前的第一个线程。

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

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

公开(公告)号：US20120304155A1

公开(公告)日：2012-11-29

申请号：US13571236

申请日：2012-08-09

申请人： Nir Golan ,  Aviad Zlotnick

发明人： Nir Golan ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/362

摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.

摘要翻译： 一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他 调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

公开(公告)号：US08291388B2

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

申请号：US11971776

申请日：2008-01-09

申请人： Nir Golan ,  Aviad Zlotnick

发明人： Nir Golan ,  Aviad Zlotnick

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F11/362

摘要： A method for controlling a debugger, the method includes: determining whether to execute a certain breakpoint of the debugger in view of certain breakpoint conditional information and in view of at least one previous visit, during the execution of the debugger, to at least one other breakpoint of the debugger; and selectively executing the certain breakpoint in response to the determination.

摘要翻译： 一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他 调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

公开(公告)号：US20120233596A1

公开(公告)日：2012-09-13

申请号：US13041453

申请日：2011-03-07

申请人： Yoram Simha Adler ,  Rachel Tzoref-Brill ,  Moshe Klausner ,  Orna Pelleg Raz ,  Onn Menahem Shehory ,  Aviad Zlotnick

发明人： Yoram Simha Adler ,  Rachel Tzoref-Brill ,  Moshe Klausner ,  Orna Pelleg Raz ,  Onn Menahem Shehory ,  Aviad Zlotnick

IPC分类号： G06F9/44

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

摘要： Test coverage is enhanced by measuring various types of coupling between coverage tasks. The coupling measurements may be implicit coupling measurements, explicit coupling measurements, coding coupling measurements, performance coupling measurements, resource coupling measurements or the like. Coupling scores are calculated for coverage tasks and based thereon ranking of the coverage tasks or groups of coverage tasks may be determined The ranking may be utilized in selecting for which uncovered coverage task a test should be designed. The ranking may be utilized in computing a coverage measurement of a test suite. The ranking may be utilized to rank tests, based on the coverage tasks each test covers. Ranking of tests may be utilized for various purposes such as performing test selection.

摘要翻译： 通过测量覆盖任务之间的各种类型的耦合来增强测试覆盖。 耦合测量可以是隐式耦合测量，显式耦合测量，编码耦合测量，性能耦合测量，资源耦合测量等。 计算覆盖任务的耦合分数，并且可以基于覆盖任务或覆盖任务组的等级来确定。排序可以用于选择应该设计测试的哪个未覆盖的覆盖任务。 排名可用于计算测试套件的覆盖率测量。 根据每个测试涵盖的覆盖任务，排名可以用于对测试进行排名。 测试的排名可以用于各种目的，例如执行测试选择。

公开(公告)号：US20120130702A1

公开(公告)日：2012-05-24

申请号：US12948788

申请日：2010-11-18

申请人： Daniel Citron ,  Yarden Nir-Buchbinder ,  Aviad Zlotnick

发明人： Daniel Citron ,  Yarden Nir-Buchbinder ,  Aviad Zlotnick

IPC分类号： G06F9/45

CPC分类号： G06F11/3672

摘要： Testing a computer program comprises identification of resource access requests by the computer program to a resource provided by an underlying host. The resource access requests may be intercepted and a determined response may be returned instead of the actual response of the underlying host. In some exemplary embodiments, the resource may a clock of the underlying host and the response may be the time of the clock. In some exemplary embodiments, the computer program may be tested to check for validity during execution on a cloud computing environment, in which access to resources may yield results that on a non-cloud computing environments are generally not expectable. The testing may be performed on a non-cloud computing environments and simulate scenarios applicable to cloud computing environments.

摘要翻译： 测试计算机程序包括将计算机程序的资源访问请求识别为由底层主机提供的资源。 可以拦截资源访问请求，并且可以返回确定的响应，而不是底层主机的实际响应。 在一些示例性实施例中，资源可以是底层主机的时钟，并且响应可以是时钟的时间。 在一些示例性实施例中，可以测试计算机程序以在云计算环境中执行期间检查有效性，其中对资源的访问可产生在非云计算环境通常不能期待的结果。 测试可以在非云计算环境中进行，并且可以模拟适用于云计算环境的场景。

公开(公告)号：US08095510B2

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

申请号：US12177787

申请日：2008-07-22

申请人： Aviad Zlotnick

发明人： Aviad Zlotnick

IPC分类号： G06F17/30

CPC分类号： G06F11/1469 ,  G06F2201/84

摘要： A data restoration method comprising determining whether a restoration process is in progress, in response to receiving a read request to read contents from a track on a source volume (ST[i]); reading data from ST[i], in response to determining that the restoration process is not in progress; determining whether the read request was originated from a host, in response to determining the restoration process is in progress; reading the data directly from ST[i], in response to determining the read request was not originated from a host; determining whether ST[i] is designated as remote with respect to the restore operation, in response to determining the read request was originated from a host; reading the data directly from ST[i], in response to determining ST[i] is designated as local; and reading the data from a track on a target volume (TT[i]), in response to determining ST[i] is designated as remote.

摘要翻译： 一种数据恢复方法，包括响应于从源卷（ST [i]）上的轨道读取内容的读取请求，确定恢复过程是否在进行中; 响应于确定恢复过程未进行而从ST [i]读取数据; 确定所述读取请求是否源自主机，以响应于确定所述恢复过程正在进行中; 从ST [i]直接读取数据，响应于确定读取请求不是源自主机; 响应于确定所述读请求来自主机，确定ST [i]是否被指定为相对于恢复操作的远程; 响应于确定ST [i]，直接从ST [i]读取数据被指定为本地; 并且响应于确定ST [i]被指定为远程，从目标卷上的轨道（TT [i]）读取数据。