Detecting locking discipline violations on shared resources
    1.
    发明授权
    Detecting locking discipline violations on shared resources 失效
    检测对共享资源的违规违规行为

    公开(公告)号:US08479166B2

    公开(公告)日:2013-07-02

    申请号:US12197316

    申请日:2008-08-25

    IPC分类号: G06F9/45 G06F9/52

    摘要: 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.

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

    Detecting Locking Discipline Violations on Shared Resources
    2.
    发明申请
    Detecting Locking Discipline Violations on Shared Resources 失效
    检测共享资源中的锁定违规行为

    公开(公告)号:US20100050161A1

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

    申请号:US12197316

    申请日:2008-08-25

    IPC分类号: G06F9/44

    摘要: 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.

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

    Software quality assessment based on semantic similarities
    3.
    发明授权
    Software quality assessment based on semantic similarities 失效
    基于语义相似性的软件质量评估

    公开(公告)号:US08006138B2

    公开(公告)日:2011-08-23

    申请号:US12144666

    申请日:2008-06-24

    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.

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

    Software Quality Assessment based on Semantic Similarities
    4.
    发明申请
    Software Quality Assessment based on Semantic Similarities 失效
    基于语义相似性的软件质量评估

    公开(公告)号:US20090319833A1

    公开(公告)日:2009-12-24

    申请号:US12144666

    申请日:2008-06-24

    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.

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

    Cross-concern code coverage assessment
    5.
    发明授权
    Cross-concern code coverage assessment 失效
    交叉关注代码覆盖评估

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

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

    CROSS-CONCERN CODE COVERAGE ASSESSMENT
    6.
    发明申请
    CROSS-CONCERN CODE COVERAGE ASSESSMENT 失效
    跨关键代码覆盖评估

    公开(公告)号:US20100262866A1

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

    申请号:US12636853

    申请日:2009-12-14

    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.

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

    Selective Code Coverage Instrumentation
    8.
    发明申请
    Selective Code Coverage Instrumentation 审中-公开
    选择性代码覆盖范围

    公开(公告)号:US20100131930A1

    公开(公告)日:2010-05-27

    申请号:US12276077

    申请日:2008-11-21

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

    Fault detection based on diagnostic history
    10.
    发明授权
    Fault detection based on diagnostic history 有权
    基于诊断历史的故障检测

    公开(公告)号:US08756459B2

    公开(公告)日:2014-06-17

    申请号:US13285011

    申请日:2011-10-31

    IPC分类号: G06F11/00

    CPC分类号: G06F11/008

    摘要: Systems and methods for detecting faults in a system. The method comprising maintaining diagnostic history for one or more system components; receiving system information about operational state and relational interaction among system components; determining if one or more system components are to be examined, in response to performing an analysis of the diagnostic history, wherein the analysis is performed to determine if the diagnostic history includes any information that may indicate that certain system components or combinations of components are suspected of causing a problem detected in the system, wherein the diagnostic history is maintained based on an at least one examination performed on said one or more components when said one or more components were installed in a system other than the system in which the problem is detected.

    摘要翻译: 用于检测系统故障的系统和方法。 该方法包括维护一个或多个系统组件的诊断历史; 接收系统组件之间的操作状态和关系交互的系统信息; 响应于执行诊断历史的分析来确定是否要检查一个或多个系统组件,其中执行分析以确定诊断历史是否包括可以指示某些系统组件或组件的组合被怀疑的任何信息 导致在系统中检测到的问题,其中当所述一个或多个组件安装在除了检测到问题的系统之外的系统中时,基于对所述一个或多个组件执行的至少一次检查来维护诊断历史 。