-
公开(公告)号：US20130014087A1
公开(公告)日：2013-01-10
申请号：US13612727
申请日：2012-09-12
申请人： Ehud Trainin , Rachel Tzoref , Aviad Zlotnick
发明人： Ehud Trainin , Rachel Tzoref , 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.
摘要翻译： 提供了一种用于增强逻辑代码的同步覆盖的方法。 该方法包括跟踪逻辑代码中的一个或多个代码段是否被逻辑代码中的至少另一代码段阻塞，或者逻辑代码中的一个或多个代码段是否阻塞逻辑代码中的至少另一个代码段， 在一个或多个试运行期间; 并且在逻辑代码中包括一个或多个延迟机制以在逻辑代码中引入第一代码段的执行延迟，其中引入的延迟的长度取决于第一代码段是否被第二代码段阻塞， 第一个代码段阻塞了第二个代码段。
-
公开(公告)号：US08561031B2
公开(公告)日：2013-10-15
申请号：US13612727
申请日：2012-09-12
申请人： Ehud Trainin , Rachel Tzoref , Aviad Zlotnick
发明人： Ehud Trainin , Rachel Tzoref , 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.
-
公开(公告)号：US20110126173A1
公开(公告)日：2011-05-26
申请号：US12626654
申请日：2009-11-26
IPC分类号： G06F9/44
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.
摘要翻译： 提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。 响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待 在访问所述资源之前的第一个线程。
-
公开(公告)号：US08561030B2
公开(公告)日：2013-10-15
申请号：US12636795
申请日：2009-12-14
申请人： Ehud Trainin , Rachel Tzoref , Aviad Zlotnick
发明人： Ehud Trainin , Rachel Tzoref , 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.
摘要翻译： 提供了一种用于增强逻辑代码的同步覆盖的方法。 该方法包括跟踪逻辑代码中的一个或多个代码段是否被逻辑代码中的至少另一代码段阻塞，或者逻辑代码中的一个或多个代码段是否阻塞逻辑代码中的至少另一个代码段， 在一个或多个试运行期间; 并且在逻辑代码中包括一个或多个延迟机制以在逻辑代码中引入第一代码段的执行延迟，其中引入的延迟的长度取决于第一代码段是否被第二代码段阻塞， 第一个代码段阻塞了第二个代码段。
-
公开(公告)号：US09600347B2
公开(公告)日：2017-03-21
申请号：US12626654
申请日：2009-11-26
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.
-
公开(公告)号：US20130247062A1
公开(公告)日：2013-09-19
申请号：US13610487
申请日：2012-09-11
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.
摘要翻译： 提供了一种用于测量一个或多个并行执行的线程的同步覆盖的计算机实现的系统和方法。 响应于确定第一线程已经执行了第一操作，该方法包括更新第一线程的标识符以包括与第一操作相关联的操作标识符; 将第一线程的标识符与由第一线程访问的一个或多个资源相关联; 以及通过生成所述一个或多个资源的关系数据结构来生成同步覆盖模型，其中资源至少与第一线程的标识符和第二线程标识符的标识符相关联，使得第二线程等待 在访问所述资源之前的第一个线程。
-
公开(公告)号：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.
摘要翻译： 提供了一种用于增强逻辑代码的同步覆盖的方法。 该方法包括跟踪逻辑代码中的一个或多个代码段是否被逻辑代码中的至少另一代码段阻塞，或者逻辑代码中的一个或多个代码段是否阻塞逻辑代码中的至少另一个代码段， 在一个或多个试运行期间; 并且在逻辑代码中包括一个或多个延迟机制以在逻辑代码中引入第一代码段的执行延迟，其中引入的延迟的长度取决于第一代码段是否被第二代码段阻塞， 第一个代码段阻塞了第二个代码段。
-
公开(公告)号：US08607198B2
公开(公告)日：2013-12-10
申请号：US12636853
申请日：2009-12-14
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.
摘要翻译： 一种用于软件处理的方法包括：从软件代码中提取与软件代码的元素相关的元信息的相应项目，并接收关于软件代码元素的各个质量数据。 在计算机中处理质量数据和元信息，以便响应于关于项目所属的软件代码的元素的质量数据，将元数据的项目分配给各个度量。 根据分配的度量，至少一些元信息被呈现给用户。
-
9.发明授权System, method and computer program product for managing a group of copies of a data entity 有权用于管理数据实体的一组副本的系统，方法和计算机程序产品公开(公告)号：US08473526B2
公开(公告)日：2013-06-25
申请号：US11971100
申请日：2008-01-08
申请人： Aviad Zlotnick
发明人： Aviad Zlotnick
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
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.
摘要翻译： 提供了一种用于建模测试空间的方法。 该方法包括定义包括一个或多个变量的覆盖模型，其中分配变量的相应值，对于具有指定值的所述变量的值属性的一个或多个定义以及限制合法的变量值的组合的一个或多个限制 对于所述模型，其中使用至少一个值属性来定义所述限制中的至少一个。
-
-
-
-
-
-
-
-
-
搜索结果
175 条记录 (耗时 0.018 秒)
