SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS USING LOCKS
    1.
    发明申请
    SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS USING LOCKS 审中-公开
    用于实施使用锁定的系统的测试应用的系统和方法

    公开(公告)号:US20100064280A1

    公开(公告)日:2010-03-11

    申请号:US12206813

    申请日:2008-09-09

    IPC分类号: G06F9/44

    CPC分类号: G06F11/3688

    摘要: A method of testing a system includes providing a shared memory including at least one value and at least one lock associated with the at least one value, the at least one lock including one or more shared read sublocks and an exclusive write sublock, providing a plurality of subsystems in communication with the shared memory and configured to access and update the at least one value, providing a test application on at least one of the plurality of subsystems, and running the test application on the one of the plurality of subsystems. A list of locks and values given to the test application includes a pre-existing list of locks and values in the system under the testing.

    摘要翻译: 一种测试系统的方法包括提供共享存储器,其包括与至少一个值相关联的至少一个值和至少一个锁,所述至少一个锁包括一个或多个共享读取子锁和独占写入子锁,提供多个 子系统与所述共享存储器通信并被配置为访问和更新所述至少一个值,在所述多个子系统中的至少一个子系统上提供测试应用,以及在所述多个子系统之一上运行所述测试应用。 给测试应用程序的锁和值的列表包括系统中测试前的已有的锁和值列表。

    Cross-concern code coverage assessment
    3.
    发明授权
    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.

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

    Detecting locking discipline violations on shared resources
    4.
    发明授权
    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.

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

    Verification of a computer program in respect to an unexpected response to an access request

    公开(公告)号:US09612942B2

    公开(公告)日:2017-04-04

    申请号:US12948788

    申请日:2010-11-18

    IPC分类号: G06F9/45 G06F11/36

    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.

    Software quality assessment based on semantic similarities
    6.
    发明授权
    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
    7.
    发明申请
    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.

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

    VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST
    8.
    发明申请
    VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST 有权
    计算机程序的验证对于访问请求的意见反应

    公开(公告)号:US20120130702A1

    公开(公告)日:2012-05-24

    申请号:US12948788

    申请日:2010-11-18

    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.

    摘要翻译: 测试计算机程序包括将计算机程序的资源访问请求识别为由底层主机提供的资源。 可以拦截资源访问请求,并且可以返回确定的响应,而不是底层主机的实际响应。 在一些示例性实施例中,资源可以是底层主机的时钟,并且响应可以是时钟的时间。 在一些示例性实施例中,可以测试计算机程序以在云计算环境中执行期间检查有效性,其中对资源的访问可产生在非云计算环境通常不能期待的结果。 测试可以在非云计算环境中进行,并且可以模拟适用于云计算环境的场景。

    CROSS-CONCERN CODE COVERAGE ASSESSMENT
    9.
    发明申请
    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.

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

    Detecting Locking Discipline Violations on Shared Resources
    10.
    发明申请
    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.

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