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

1. 发明授权

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.
摘要翻译：一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。处理名称以提取名称中出现的子字符串列表。响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。根据分配的度量，至少一些子串被呈现给用户。

2. 发明申请

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.
摘要翻译：一种用于软件处理的方法包括：接受质量信息，其包括软件代码的元件的名称以及关于元件测试的可接受性的相应的质量指示。处理名称以提取名称中出现的子字符串列表。响应于子字符串发生的名称的元素的质量指示，相应度量被分配给子串。根据分配的度量，至少一些子串被呈现给用户。

3. 发明申请

US20090271770A1 METHOD, SYSTEM, AND COMPUTER PROGRAM PRODUCT FOR GENERATING UNIT TESTING SCRIPTS 审中-公开
标题翻译：用于生成单元测试脚本的方法，系统和计算机程序产品
公开(公告)号：US20090271770A1
公开(公告)日：2009-10-29
申请号：US12110401
申请日：2008-04-28
申请人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg
发明人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg
IPC分类号： G06F9/45
CPC分类号： G06F11/3684
摘要： A method, system, and computer program product are provided for generating unit testing scripts. The method includes receiving programming code having a condition expressed therein, and transforming the code by wrapping the condition into a mock function. The mock function receives a Boolean argument as an input and provides a Boolean value as an output irrespective of a pre-transformed input and a pre-transformed output of the condition. The Boolean value is capable of selectively being the Boolean argument received as the input or a different value specified by a user. The method further includes receiving a user input specifying a behavior relating to how a return value is generated for the mock function. The Boolean value is provided in accordance with the specified behavior. At least one pre-transformation output of the condition prior to the transforming step is direct-function independent.
摘要翻译：提供了一种用于生成单元测试脚本的方法，系统和计算机程序产品。该方法包括接收具有其中表达的条件的编程代码，并且通过将条件包装成模拟功能来转换代码。模拟函数接收一个布尔参数作为输入，并提供布尔值作为输出，而不管预转换输入和条件的预转换输出。布尔值能够有选择地作为输入接收的布尔参数或用户指定的不同值。该方法还包括接收用户输入，指定与如何为模拟功能生成返回值相关的行为。布尔值根据指定的行为提供。在变换步骤之前的条件的至少一个预变换输出是直接函数独立的。

4. 发明授权

US08607198B2 Cross-concern code coverage assessment 失效
标题翻译：交叉关注代码覆盖评估
公开(公告)号：US08607198B2
公开(公告)日：2013-12-10
申请号：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分类号： 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.
摘要翻译：一种用于软件处理的方法包括：从软件代码中提取与软件代码的元素相关的元信息的相应项目，并接收关于软件代码元素的各个质量数据。在计算机中处理质量数据和元信息，以便响应于关于项目所属的软件代码的元素的质量数据，将元数据的项目分配给各个度量。根据分配的度量，至少一些元信息被呈现给用户。

5. 发明申请

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

6. 发明授权

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

7. 发明申请

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

8. 发明申请

US20120102366A1 META ATTRIBUTES IN FUNCTIONAL COVERAGE MODELS 失效
标题翻译：功能覆盖模型中的META属性
公开(公告)号：US20120102366A1
公开(公告)日：2012-04-26
申请号：US12910805
申请日：2010-10-24
申请人： Yoram Simha Adler , Noam Behar , Dale E. Blue , Orna Raz-Pelleg
发明人： Yoram Simha Adler , Noam Behar , Dale E. Blue , Orna Raz-Pelleg
IPC分类号： G06F11/34
CPC分类号： G06F11/3676 , G06F11/3636
摘要： A meta attribute useful for functional coverage is computed based on values comprised by two or more matching fields in a trace. The two or more matching fields may be comprised by a single entry of the trace or by a plurality of entries of the trace. A definition of the meta attribute may define which fields of the entries comprise values useful for computation of the meta attributes. The matching entries may be identified based on identifying values within the entries.
摘要翻译：基于跟踪中两个或多个匹配字段所包含的值计算功能覆盖有用的元属性。两个或多个匹配字段可以由跟踪的单个条目或跟踪的多个条目组成。元属性的定义可以定义条目的哪些字段包含对元属性的计算有用的值。可以基于条目中的识别值来识别匹配条目。

9. 发明申请

US20120102365A1 GENERATING A FUNCTIONAL COVERAGE MODEL FROM A TRACE 失效
标题翻译：从追踪中产生功能覆盖模型
公开(公告)号：US20120102365A1
公开(公告)日：2012-04-26
申请号：US12910804
申请日：2010-10-24
申请人： Yoram Simha Adler , Behar Noam , Dale E. Blue , Orna Raz-Pelleg
发明人： Yoram Simha Adler , Behar Noam , Dale E. Blue , Orna Raz-Pelleg
IPC分类号： G06F11/34
CPC分类号： G06F11/3636 , G06F11/3676
摘要： A functional coverage model may be generated based on a trace. The functional coverage model may comprise values of attributes. The values may be extracted from one or more entries comprised by the trace. Based upon a selection of a field of an exemplary entry, content of the corresponding fields in other entries may be extracted and utilized. In some exemplary embodiments, names of attributes may be extracted from the trace. In some exemplary embodiments, a reference trace may be utilized as a comparative baseline coverage by generating a functional coverage model based upon the reference trace and comparing coverage of a second trace in respect to the functional coverage model with the coverage of the reference trace.
摘要翻译：可以基于跟踪生成功能覆盖模型。功能覆盖模型可以包括属性值。值可以从跟踪包含的一个或多个条目中提取。基于对示例性条目的字段的选择，可以提取和利用其他条目中的对应字段的内容。在一些示例性实施例中，可以从跟踪中提取属性的名称。在一些示例性实施例中，可以通过基于参考轨迹生成功能覆盖模型并将第二轨迹相对于功能覆盖模型的覆盖与参考轨迹的覆盖进行比较来将参考轨迹用作对比基线覆盖。

10. 发明申请

US20090249299A1 Evaluation of Software based on Review History 有权
标题翻译：基于评审历史的软件评估
公开(公告)号：US20090249299A1
公开(公告)日：2009-10-01
申请号：US12058779
申请日：2008-03-31
申请人： Eitan Daniel Farchi , Sergey Novikov , Orna Raz-Pelleg
发明人： Eitan Daniel Farchi , Sergey Novikov , Orna Raz-Pelleg
IPC分类号： G06F11/36
CPC分类号： G06F11/3676
摘要： A computer-implemented method for software processing includes obtaining review information pertaining to reviews that have been conducted on respective locations in software code. The review information is processed so as to assign to at least some of the locations respective priorities, which are indicative of respective likelihoods that the locations contain program faults. The at least some of the locations are presented to a user via an output device in accordance with the assigned priorities.In another disclosed method, a given location in the software code is detected as critical based on the review information. The detected critical location is indicated to the user.
摘要翻译：用于软件处理的计算机实现的方法包括获得与在软件代码中的相应位置进行的评论有关的审查信息。处理审查信息以便分配至少一些位置相应的优先级，其指示位置包含程序故障的相应可能性。根据分配的优先级，经由输出设备将至少一些位置呈现给用户。在另一公开的方法中，基于审查信息，检测到软件代码中的给定位置是至关重要的。检测到的关键位置向用户指示。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式