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

11. 发明授权

US08397104B2 Creation of test plans 失效
标题翻译：制定测试计划
公开(公告)号：US08397104B2
公开(公告)日：2013-03-12
申请号：US12820156
申请日：2010-06-22
申请人： Shmuel Ur , Aviad Zlotnick
发明人： Shmuel Ur , Aviad Zlotnick
IPC分类号： G06F11/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.
摘要翻译：可以根据初始测试计划生成在测试阶段中使用的测试计划。可以从初始测试计划中导出功能覆盖模型。测试计划的修改可以根据预定的规则和参数自动确定。可能的组合值的限制可以基于初始测试计划中未覆盖的测试活动的分析来确定。限制可以根据初始测试计划中的测试活动的值来确定。根据所公开的主题确定的限制和修改可以被指示给用户以进行确认。

12. 发明申请

US20100262866A1 CROSS-CONCERN CODE COVERAGE ASSESSMENT 失效
标题翻译：跨关键代码覆盖评估
公开(公告)号：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.
摘要翻译：一种用于软件处理的方法包括：从软件代码中提取与软件代码的元素相关的元信息的相应项目，并接收关于软件代码元素的各个质量数据。在计算机中处理质量数据和元信息，以便响应于关于项目所属的软件代码的元素的质量数据，将元数据的项目分配给各个度量。根据分配的度量，至少一些元信息被呈现给用户。

13. 发明申请

US20100050161A1 Detecting Locking Discipline Violations on Shared Resources 失效
标题翻译：检测共享资源中的锁定违规行为
公开(公告)号：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.
摘要翻译：检测对共享资源的违规违规行为。例如，一种通过与所述计算平台上的一个或多个其他进程同时执行的测试过程来检测锁定纪律违反计算平台的共享资源的方法，所述测试过程包括：锁定所述计算平台的共享资源 ; 读取共享资源的值; 本地存储共享资源的值; 在预定时间段之后重新读取共享资源的值; 以及如果所述重新读取重新读取的所述共享资源的值与由所述本地存储本地存储的所述资源的值不同，则生成锁定规则违规报告。

14. 发明申请

US20100274520A1 CREATION OF TEST PLANS 失效
标题翻译：创建测试计划
公开(公告)号：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.
摘要翻译：可以根据初始测试计划生成在测试阶段中使用的测试计划。可以从初始测试计划中导出功能覆盖模型。测试计划的修改可以根据预定的规则和参数自动确定。可能的组合值的限制可以基于初始测试计划中未覆盖的测试活动的分析来确定。限制可以根据初始测试计划中的测试活动的值来确定。根据所公开的主题确定的限制和修改可以被指示给用户以进行确认。

15. 发明授权

US08006138B2 Software quality assessment based on semantic similarities 失效
标题翻译：基于语义相似性的软件质量评估
公开(公告)号：US08006138B2
公开(公告)日：2011-08-23
申请号：US12144666
申请日：2008-06-24
申请人： 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/00
CPC分类号： G06F11/3616 , G06F11/3676
摘要： A method for software processing includes accepting quality information, which includes names of elements of software code and respective quality indications regarding tested acceptability of the elements. The names are processed to extract a list of substrings that occur in the names. Respective metrics are assigned to the substrings responsively to the quality indications of the elements in whose names the substrings occur. At least some of the substrings are presented to a user in accordance with the assigned metrics.
摘要翻译：一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。处理名称以提取名称中出现的子字符串列表。响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。根据分配的度量，至少一些子串被呈现给用户。

16. 发明申请

US20090319833A1 Software Quality Assessment based on Semantic Similarities 失效
标题翻译：基于语义相似性的软件质量评估
公开(公告)号：US20090319833A1
公开(公告)日：2009-12-24
申请号：US12144666
申请日：2008-06-24
申请人： 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 accepting quality information, which includes names of elements of software code and respective quality indications regarding tested acceptability of the elements. The names are processed to extract a list of substrings that occur in the names. Respective metrics are assigned to the substrings responsively to the quality indications of the elements in whose names the substrings occur. At least some of the substrings are presented to a user in accordance with the assigned metrics.
摘要翻译：一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。处理名称以提取名称中出现的子字符串列表。响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。根据分配的度量，至少一些子串被呈现给用户。

17. 发明申请

US20070067721A1 Method and system for navigation in text according to the properties of the text 审中-公开
标题翻译：文本导航方法和系统根据文本属性
公开(公告)号：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.
摘要翻译：一种用于在文本中导航位置标记的计算机实现的方法，所述方法包括根据位置的属性将位置制作者从文本中的一个位置移动到文本中的另一位置。位置制造商的移动还包括执行命令以使位置制造者从文本中的一个位置移动，该命令与所述文本的至少一个属性相关。然后，响应于该命令，搜索所述文本中的另一位置，其中具有由命令指示的文本的至少一个属性，并且将位置标记移动到搜索期间找到的文本中的另一位置。

18. 发明授权

US08473526B2 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
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时，第一和第二子组只相交一次。

19. 发明授权

US08452813B2 Test planning using attribute value properties 失效
标题翻译：使用属性值属性进行测试计划
公开(公告)号：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.
摘要翻译：提供了一种用于建模测试空间的方法。该方法包括定义包括一个或多个变量的覆盖模型，其中分配变量的相应值，对于具有指定值的所述变量的值属性的一个或多个定义以及限制合法的变量值的组合的一个或多个限制对于所述模型，其中使用至少一个值属性来定义所述限制中的至少一个。

20. 发明申请

US20130110880A1 TEST PLANNING USING ATTRIBUTE VALUE PROPERTIES 失效
标题翻译：使用属性值属性的测试规划
公开(公告)号：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.
摘要翻译：提供了一种用于建模测试空间的方法。该方法包括定义包括一个或多个变量的覆盖模型，其中分配变量的相应值，对于具有指定值的所述变量的值属性的一个或多个定义以及限制合法的变量值的组合的一个或多个限制对于所述模型，其中使用至少一个值属性来定义所述限制中的至少一个。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式