公开(公告)号：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]）读取数据。

公开(公告)号：US20110145796A1

公开(公告)日：2011-06-16

申请号：US12636795

申请日：2009-12-14

申请人： Ehud Trainin ,  Aviad Zlotnick

发明人： Ehud Trainin ,  Aviad Zlotnick

IPC分类号： G06F9/44

CPC分类号： G06F11/3676 ,  G06F9/526 ,  G06F11/3632

摘要： A method for enhancing synchronization coverage for a logic code is provided. The method comprises tracking whether one or more code sections in the logic code are blocked by at least another code section in the logic code, or whether one or more code sections in the logic code are blocking at least another code section in the logic code, during one or more test runs; and including one or more delay mechanisms in the logic code to introduce a delay in execution of a first code section in the logic code, wherein length of introduced delay is dependent on whether the first code section was blocked by a second code section or whether the first code section was blocking the second code section.

摘要翻译： 提供了一种用于增强逻辑代码的同步覆盖的方法。 该方法包括跟踪逻辑代码中的一个或多个代码段是否被逻辑代码中的至少另一代码段阻塞，或者逻辑代码中的一个或多个代码段是否阻塞逻辑代码中的至少另一个代码段， 在一个或多个试运行期间; 并且在逻辑代码中包括一个或多个延迟机制以在逻辑代码中引入第一代码段的执行延迟，其中引入的延迟的长度取决于第一代码段是否被第二代码段阻塞， 第一个代码段阻塞了第二个代码段。

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

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

公开(公告)号：US20100262866A1

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

申请号：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分类号： G06F11/36

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.

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

公开(公告)号：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）建立了一组覆盖任务和覆盖任务层次结构。 建立覆盖任务子集，所述子集包括在最低覆盖任务层次结构级别之上的层级中的至少一个覆盖任务层次结构元素。 在软件测试期间，确定覆盖任务子集中的覆盖任务何时完成。 向用户输出已完成的覆盖任务的那些部分的身份。 根据用户输入，通过覆盖任务层次结构，以下列方式之一来优化覆盖任务子集：深度优先进度，广度优先进度。

公开(公告)号：US20100050161A1

公开(公告)日：2010-02-25

申请号：US12197316

申请日：2008-08-25

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

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

IPC分类号： G06F9/44

CPC分类号： G06F9/44589 ,  G06F9/52 ,  G06F11/3672

摘要： Detecting locking discipline violations on shared resources. For example, a method of detecting locking discipline violations of shared resources of a computing platform, by a testing process to be executed concurrently with one or more other processes on said computing platform, the testing process comprising: locking a shared resource of said computing platform; reading a value of the shared resource; locally storing the value of the shared resource; rereading the value of the shared resource after a predefined time period; and generating a locking discipline violation report if the value of said shared resource as reread by said rereading is different from the value of said resource as locally stored by said locally storing.

摘要翻译： 检测对共享资源的违规违规行为。 例如，一种通过与所述计算平台上的一个或多个其他进程同时执行的测试过程来检测锁定纪律违反计算平台的共享资源的方法，所述测试过程包括：锁定所述计算平台的共享资源 ; 读取共享资源的值; 本地存储共享资源的值; 在预定时间段之后重新读取共享资源的值; 以及如果所述重新读取重新读取的所述共享资源的值与由所述本地存储本地存储的所述资源的值不同，则生成锁定规则违规报告。