SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS USING LOCKS
    12.
    发明申请
    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.

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

    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.

    VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST
    14.
    发明申请
    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.

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

    Creation of test plans
    16.
    发明授权
    Creation of test plans 失效
    制定测试计划

    公开(公告)号:US08397104B2

    公开(公告)日:2013-03-12

    申请号:US12820156

    申请日:2010-06-22

    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.

    摘要翻译: 可以根据初始测试计划生成在测试阶段中使用的测试计划。 可以从初始测试计划中导出功能覆盖模型。 测试计划的修改可以根据预定的规则和参数自动确定。 可能的组合值的限制可以基于初始测试计划中未覆盖的测试活动的分析来确定。 限制可以根据初始测试计划中的测试活动的值来确定。 根据所公开的主题确定的限制和修改可以被指示给用户以进行确认。

    ANALYZING COMPUTER CODE DEVELOPMENT ACTIONS AND PROCESS
    17.
    发明申请
    ANALYZING COMPUTER CODE DEVELOPMENT ACTIONS AND PROCESS 失效
    分析计算机代码开发行动和流程

    公开(公告)号:US20110314450A1

    公开(公告)日:2011-12-22

    申请号:US12820149

    申请日:2010-06-22

    IPC分类号: G06F9/44

    摘要: A method that may include: monitoring over time, actions carried out by at least one programmer over a software development environment to yield development patterns; comparing the development patterns to best practice rules to yield a comparison results indicating deviations of the development patterns from the best practice rules; and analyzing the comparison results based at least partially on a likelihood of each action deviated from the respective best practice rule to result in a software bug, to yield an analysis of potential software bug prone code sections, wherein at least one of the monitoring, the comparing, and the analyzing is executed by at least one processor.

    摘要翻译: 一种方法可以包括:随着时间的推移监视至少一个程序员在软件开发环境中执行的动作以产生开发模式; 将发展模式与最佳实践规则进行比较,以产生指示发展模式与最佳做法规则的偏差的比较结果; 并且至少部分地分析比较结果,所述比较结果至少部分地基于从相应的最佳实践规则偏离的每个动作的可能性导致软件错误,以产生潜在的软件易错代码部分的分析,其中,所述监视中的至少一个, 比较,并且分析由至少一个处理器执行。

    CREATION OF TEST PLANS
    18.
    发明申请
    CREATION OF TEST PLANS 失效
    创建测试计划

    公开(公告)号:US20100274520A1

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

    申请号:US12820156

    申请日:2010-06-22

    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.

    摘要翻译: 可以根据初始测试计划生成在测试阶段中使用的测试计划。 可以从初始测试计划中导出功能覆盖模型。 测试计划的修改可以根据预定的规则和参数自动确定。 可能的组合值的限制可以基于初始测试计划中未覆盖的测试活动的分析来确定。 限制可以根据初始测试计划中的测试活动的值来确定。 根据所公开的主题确定的限制和修改可以被指示给用户以进行确认。

    Analyzing computer code development actions and process
    19.
    发明授权
    Analyzing computer code development actions and process 失效
    分析计算机代码开发动作和流程

    公开(公告)号:US08589882B2

    公开(公告)日:2013-11-19

    申请号:US12820149

    申请日:2010-06-22

    IPC分类号: G06F9/44

    摘要: A method that may include: monitoring over time, actions carried out by at least one programmer over a software development environment to yield development patterns; comparing the development patterns to best practice rules to yield a comparison results indicating deviations of the development patterns from the best practice rules; and analyzing the comparison results based at least partially on a likelihood of each action deviated from the respective best practice rule to result in a software bug, to yield an analysis of potential software bug prone code sections, wherein at least one of the monitoring, the comparing, and the analyzing is executed by at least one processor.

    摘要翻译: 一种方法可以包括:随着时间的推移监视至少一个程序员在软件开发环境中执行的动作以产生开发模式; 将发展模式与最佳实践规则进行比较,以产生指示发展模式与最佳做法规则的偏差的比较结果; 并且至少部分地分析比较结果,所述比较结果至少部分地基于从相应的最佳实践规则偏离的每个动作的可能性导致软件错误,以产生潜在的软件易错代码部分的分析,其中,所述监视中的至少一个, 比较,并且分析由至少一个处理器执行。

    Method and system for navigation in text according to the properties of the text
    20.
    发明申请
    Method and system for navigation in text according to the properties of the text 审中-公开
    文本导航方法和系统根据文本属性

    公开(公告)号:US20070067721A1

    公开(公告)日:2007-03-22

    申请号:US11229986

    申请日:2005-09-19

    IPC分类号: G06F17/00

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

    摘要翻译: 一种用于在文本中导航位置标记的计算机实现的方法,所述方法包括根据位置的属性将位置制作者从文本中的一个位置移动到文本中的另一位置。 位置制造商的移动还包括执行命令以使位置制造者从文本中的一个位置移动,该命令与所述文本的至少一个属性相关。 然后,响应于该命令,搜索所述文本中的另一位置,其中具有由命令指示的文本的至少一个属性,并且将位置标记移动到搜索期间找到的文本中的另一位置。