专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

81. 发明授权

US08572331B2 Method for reliably updating a data group in a read-before-write data replication environment using a comparison file 失效
标题翻译：使用比较文件可靠地更新写入前读写数据复制环境中的数据组的方法
公开(公告)号：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.
摘要翻译：公开了一种用于可靠地更新写入前读数据复制环境中的数据组的方法。该方法通过接收从第一存储介质发送到第二存储介质的更新数据组来可靠地更新数据组，将更新的数据组与先前存在于第二存储介质上的先前数据组进行比较，并将更新的数据组写入第二存储介质。所公开的预写入和差分方法通过在写入过程中和之后存储对第二存储介质所做的更改的多个副本来保持可靠性。

82. 发明申请

US20130262017A1 METHOD AND APPARATUS FOR REUSING PARTS OF EXISTING TESTS 审中-公开
标题翻译：现有测试部分的方法和装置
公开(公告)号：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.
摘要翻译：一种由计算机化设备和计算机程序产品执行的装置，计算机实现的方法，所述方法包括：接收与域相关的属性集合，所述属性集合包括两个或多个属性; 接收一个或多个限制，每个限制指示一个或多个属性，其中从一个现有测试中选择该属性的值; 接受现有测试; 以及通过设置两个或多个属性的值来生成一个或多个新测试，其中从现有测试中选择一个或多个限制的一个或多个属性的值，并且一个或多个其他属性的一个或多个值是没有从现有测试中选出。

83. 发明申请

US20130247062A1 VERIFYING SYNCHRONIZATION COVERAGE IN LOGIC CODE 审中-公开
标题翻译：逻辑代码中的验证同步覆盖
公开(公告)号：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.
摘要翻译：提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待在访问所述资源之前的第一个线程。

84. 发明申请

US20130090911A1 Modeling Test Space for System Behavior Using Interchangeable Designations 审中-公开
标题翻译：使用可互换指定的系统行为建模测试空间
公开(公告)号：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.
摘要翻译：提供了一种用于建模测试空间以验证系统行为的方法。该方法包括基于一个或多个变量定义覆盖模型，其中分配变量的相应值组合以定义被测系统的测试空间，并且零个或更多个约束定义对分配给变量的值组合的限制，其中该限制定义所述值组合是否有效; 并在覆盖模型中指定可互换的相关变量值。

85. 发明申请

US20120304155A1 System, Method And Program Product For Executing A Debugger 失效
标题翻译：用于执行调试器的系统，方法和程序产品
公开(公告)号：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.
摘要翻译：一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

86. 发明授权

US08291388B2 System, method and program for executing a debugger 失效
标题翻译：用于执行调试器的系统，方法和程序
公开(公告)号：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.
摘要翻译：一种用于控制调试器的方法，所述方法包括：根据某些断点条件信息确定是否执行调试器的某个断点，并且在执行调试器期间考虑到至少一个先前的访问，至少一个其他调试器的断点; 以及响应于所述确定选择性地执行所述特定断点。

87. 发明申请

US20120233596A1 MEASURING COUPLING BETWEEN COVERAGE TASKS AND USE THEREOF 失效
标题翻译：覆盖任务之间的测量耦合及其使用
公开(公告)号：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.
摘要翻译：通过测量覆盖任务之间的各种类型的耦合来增强测试覆盖。耦合测量可以是隐式耦合测量，显式耦合测量，编码耦合测量，性能耦合测量，资源耦合测量等。计算覆盖任务的耦合分数，并且可以基于覆盖任务或覆盖任务组的等级来确定。排序可以用于选择应该设计测试的哪个未覆盖的覆盖任务。排名可用于计算测试套件的覆盖率测量。根据每个测试涵盖的覆盖任务，排名可以用于对测试进行排名。测试的排名可以用于各种目的，例如执行测试选择。

88. 发明申请

US20120130702A1 VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST 有权
标题翻译：计算机程序的验证对于访问请求的意见反应
公开(公告)号：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.
摘要翻译：测试计算机程序包括将计算机程序的资源访问请求识别为由底层主机提供的资源。可以拦截资源访问请求，并且可以返回确定的响应，而不是底层主机的实际响应。在一些示例性实施例中，资源可以是底层主机的时钟，并且响应可以是时钟的时间。在一些示例性实施例中，可以测试计算机程序以在云计算环境中执行期间检查有效性，其中对资源的访问可产生在非云计算环境通常不能期待的结果。测试可以在非云计算环境中进行，并且可以模拟适用于云计算环境的场景。

89. 发明授权

US08095510B2 Data restoration in a storage system using multiple restore points 有权
标题翻译：使用多个还原点的存储系统中的数据恢复
公开(公告)号：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]）读取数据。

90. 发明授权

US07979238B2 System, method and computer program product for evaluating a test of an alternative system 有权
标题翻译：用于评估替代系统测试的系统，方法和计算机程序产品
公开(公告)号：US07979238B2
公开(公告)日：2011-07-12
申请号：US11844931
申请日：2007-08-24
申请人： Shachar Fienblit , Aviad Zlotnick
发明人： Shachar Fienblit , Aviad Zlotnick
IPC分类号： G06F13/38
CPC分类号： G06F11/3664
摘要： A method for checking an alternative system test, the method includes: determining a relationship between (i) utilization of resources during an execution of a group of programs by a first system when operating in a non-testing mode and (ii) utilization of resources during an executive of an alternative system test by the alternative system; wherein the alternative system test comprises at least on program of the group of programs.
摘要翻译：一种用于检查替代系统测试的方法，所述方法包括：确定在（i）在以非测试模式操作时由第一系统执行一组程序期间的资源利用与（ii）资源利用之间的关系在替代系统的替代系统测试执行期间; 其中所述替代系统测试至少包括所述程序组的程序。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式