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

1. 发明申请

US20110131550A1 Concurrency Software Testing with Probabilistic Bounds on Finding Bugs 有权
标题翻译：并发软件测试与概率界限发现错误
公开(公告)号：US20110131550A1
公开(公告)日：2011-06-02
申请号：US12628223
申请日：2009-12-01
申请人： Sebastian Carl Burckhardt , Pravesh Kumar Kothari , Madanlal S. Musuvathi , Santosh Ganapati Nagarakatte
发明人： Sebastian Carl Burckhardt , Pravesh Kumar Kothari , Madanlal S. Musuvathi , Santosh Ganapati Nagarakatte
IPC分类号： G06F9/44 , G06F9/46
CPC分类号： G06F11/3632 , G06F9/3851 , G06F11/3688
摘要： Described is a probabilistic concurrency testing mechanism for testing a concurrent software program that provides a probabilistic guarantee of finding any concurrent software bug at or below a bug depth (that corresponds to a complexity level for finding the bug). A scheduler/algorithm inserts priority lowering points into the code and runs the highest priority thread based upon initially randomly distributed priorities. When that thread reaches a priority lowering point, its priority is lowered to a value associated (e.g., by random distribution) with that priority lowering point, whereby a different thread now has the currently highest priority. That thread is run until its priority is similarly lowered, and so on, whereby all schedules needed to find a concurrency bug are run.
摘要翻译：描述了一种用于测试并发软件程序的概率并发测试机制，该软件程序提供了查找任何并发软件错误的概率性保证，该漏洞位于或低于错误深度（对应于查找错误的复杂程度）。调度器/算法将优先级降低点插入到代码中，并根据最初的随机分布优先级运行最高优先级的线程。当该线程达到优先级降低点时，其优先级被降低到与该优先级降低点相关联的值（例如，通过随机分布），由此不同的线程现在具有当前最高优先级。运行该线程，直到其优先级同样降低，等等，从而运行查找并发错误所需的所有计划。

2. 发明授权

US08930907B2 Concurrency software testing with probabilistic bounds on finding bugs 有权
标题翻译：并发软件测试与概率边界查找错误
公开(公告)号：US08930907B2
公开(公告)日：2015-01-06
申请号：US12628223
申请日：2009-12-01
申请人： Sebastian Carl Burckhardt , Pravesh Kumar Kothari , Madanlal S. Musuvathi , Santosh Ganapati Nagarakatte
发明人： Sebastian Carl Burckhardt , Pravesh Kumar Kothari , Madanlal S. Musuvathi , Santosh Ganapati Nagarakatte
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3632 , G06F9/3851 , G06F11/3688
摘要： Described is a probabilistic concurrency testing mechanism for testing a concurrent software program that provides a probabilistic guarantee of finding any concurrent software bug at or below a bug depth (that corresponds to a complexity level for finding the bug). A scheduler/algorithm inserts priority lowering points into the code and runs the highest priority thread based upon initially randomly distributed priorities. When that thread reaches a priority lowering point, its priority is lowered to a value associated (e.g., by random distribution) with that priority lowering point, whereby a different thread now has the currently highest priority. That thread is run until its priority is similarly lowered, and so on, whereby all schedules needed to find a concurrency bug are run.
摘要翻译：描述了一种用于测试并发软件程序的概率并发测试机制，该软件程序提供了查找任何并发软件错误的概率性保证，该漏洞位于或低于错误深度（对应于查找错误的复杂程度）。调度器/算法将优先级降低点插入到代码中，并根据最初的随机分布优先级运行最高优先级的线程。当该线程达到优先级降低点时，其优先级被降低到与该优先级降低点相关联的值（例如，通过随机分布），由此不同的线程现在具有当前最高优先级。运行该线程，直到其优先级同样降低，等等，从而运行查找并发错误所需的所有计划。

3. 发明申请

US20110258490A1 Testing Components for Thread Safety 有权
标题翻译：线程安全测试组件
公开(公告)号：US20110258490A1
公开(公告)日：2011-10-20
申请号：US12763230
申请日：2010-04-20
申请人： Sebastian C. Burckhardt , Christopher W. Dern , Madanlal S. Musuvathi , Roy P. Tan
发明人： Sebastian C. Burckhardt , Christopher W. Dern , Madanlal S. Musuvathi , Roy P. Tan
IPC分类号： G06F11/36
CPC分类号： G06F11/3672 , G06F11/3692
摘要： A checking system is described for determining whether a component is thread safe in the course of interacting with two or threads in a client environment. The checking system uses a manual, automatic, or semi-automatic technique to generate a test. The checking system then defines a set of coarse-grained observations for the test, in which the component is assumed to exhibit linearizability when interacting with threads. The set of coarse-grained observations may include both complete and “stuck” histories. The checking system then generates a set of fine-grained observations for the tests; here, the checking system makes no assumptions as to the linearizability of the component. The checking system identifies potential linearizability errors as those entries in the set of fine-grained observations that have no counterpart entries in the set of coarse-grained observations. The checking system may rely on a stateless model checking module to perform its functions.
摘要翻译：描述了一种检查系统，用于在与客户端环境中的两个或多个线程交互的过程中确定组件是否是线程安全的。检查系统使用手动，自动或半自动技术来生成测试。然后，检查系统定义了一组用于测试的粗粒度观察值，其中假设组件在与线程交互时呈现线性化。一组粗粒度观察可能包括完整和“卡住”的历史。然后检查系统生成一组细粒度的测试结果; 在这里，检查系统不对组件的线性化进行假设。检查系统将潜在的线性化误差识别为在一组粗粒度观测中没有对应条目的细粒度观测组中的那些条目。检查系统可以依赖于无状态模型检查模块来执行其功能。

4. 发明申请

US20080271042A1 TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS 失效
标题翻译：使用优先级上下文开关限制测试多线程软件
公开(公告)号：US20080271042A1
公开(公告)日：2008-10-30
申请号：US11739427
申请日：2007-04-24
申请人： Madanlal S. Musuvathi , Shaz Qadeer
发明人： Madanlal S. Musuvathi , Shaz Qadeer
IPC分类号： G06F9/46
CPC分类号： G06F11/3688
摘要： Testing multithreaded application programs for errors can be carried out in an efficient and productive manner at least in part by prioritizing thread schedules based on numbers of context switches between threads therein. In particular, each thread schedule in a multithreaded application program can be prioritized based on whether a given thread schedule has the same as or less than some maximum value. A model checker module can then iteratively execute thread schedules that fit within a given context switch maximum value, or a progressively higher value up to some limit. In one implementation, for example, the model checker module executes all thread schedules that have zero preempting context switches, then all thread schedules that have only one preempting context switch, etc. Most errors in an application program can be identified by executing only those thread schedule with relatively few preempting context switches.
摘要翻译：测试用于错误的多线程应用程序可以以有效和高效的方式进行，至少部分地基于基于线程之间的上下文切换的数量来优先考虑线程调度。具体来说，多线程应用程序中的每个线程调度可以基于给定的线程调度是否具有或小于某个最大值来确定优先级。然后，模型检查器模块可以迭代地执行适合给定上下文切换最大值的线程调度，或者达到某种限制的逐渐更高的值。在一个实现中，例如，模型检查器模块执行具有零抢占上下文切换的所有线程调度，然后仅具有一个抢占上下文切换的所有线程调度等。应用程序中的大多数错误可以通过仅执行那些线程来识别具有相对较少的抢占上下文切换的时间表。

5. 发明授权

US09098621B2 Modeling software behavior using learned predicates 有权
标题翻译：使用学习谓词建模软件行为
公开(公告)号：US09098621B2
公开(公告)日：2015-08-04
申请号：US13037325
申请日：2011-02-28
申请人： Alice X. Zheng , Madanlal S. Musuvathi , Nishant A. Mehta
发明人： Alice X. Zheng , Madanlal S. Musuvathi , Nishant A. Mehta
IPC分类号： G06F9/44 , G06F11/36 , G06F15/18
CPC分类号： G06F11/3612 , G06F11/3672 , G06F15/18
摘要： The described implementations relate to analysis of computing programs. One implementation provides a technique that can include accessing values of input variables that are processed by test code and runtime values that are produced by the test code while processing the input variables. The technique can also include modeling relationships between the runtime values and the values of the input variables. The relationships can reflect discontinuous functions of the input variables.
摘要翻译：所描述的实现涉及计算程序的分析。一种实现提供了一种技术，其可以包括访问由测试代码处理的输入变量的值和由测试代码在处理输入变量时产生的运行时值。该技术还可以包括运行时值与输入变量的值之间的建模关系。这些关系可以反映输入变量的不连续函数。

6. 发明申请

US20120222013A1 MODELING SOFTWARE BEHAVIOR USING LEARNED PREDICATES 有权
标题翻译：使用有意义的预测建模软件行为
公开(公告)号：US20120222013A1
公开(公告)日：2012-08-30
申请号：US13037325
申请日：2011-02-28
申请人： Alice X. Zheng , Madanlal S. Musuvathi , Nishant A. Mehta
发明人： Alice X. Zheng , Madanlal S. Musuvathi , Nishant A. Mehta
IPC分类号： G06F9/44
CPC分类号： G06F11/3612 , G06F11/3672 , G06F15/18
摘要： The described implementations relate to analysis of computing programs. One implementation provides a technique that can include accessing values of input variables that are processed by test code and runtime values that are produced by the test code while processing the input variables. The technique can also include modeling relationships between the runtime values and the values of the input variables. The relationships can reflect discontinuous functions of the input variables.
摘要翻译：所描述的实现涉及计算程序的分析。一种实现提供了一种技术，其可以包括访问由测试代码处理的输入变量的值和由测试代码在处理输入变量时产生的运行时值。该技术还可以包括运行时值与输入变量的值之间的建模关系。这些关系可以反映输入变量的不连续函数。

7. 发明授权

US08533682B2 Amplification of dynamic checks through concurrency fuzzing 有权
标题翻译：通过并发模糊扩大动态检查
公开(公告)号：US08533682B2
公开(公告)日：2013-09-10
申请号：US12940983
申请日：2010-11-05
申请人： Laxmi Narsimha Rao Kakulamarri , Madanlal S. Musuvathi
发明人： Laxmi Narsimha Rao Kakulamarri , Madanlal S. Musuvathi
IPC分类号： G06F9/44 , G06F11/30 , G06F11/00 , G06F3/00 , G06F9/46 , H04L29/06
CPC分类号： G06F11/3612
摘要： The subject disclosure relates to effective dynamic monitoring of an application executing in a computing system by increasing concurrency coverage. A set of dynamic checks are linked to an application by mechanisms that enable the dynamic checks to monitor behavior of the application at runtime. As additionally described herein, concurrency fuzzing is applied to the application to randomize thread schedules of the application, thus increasing a number of disparate concurrency scenarios of the application observed by the plurality of dynamic checks.
摘要翻译：本公开涉及通过增加并发覆盖来在计算系统中执行的应用的有效动态监视。一组动态检查通过机制链接到应用程序，这些机制使得动态检查能够在运行时监视应用程序的行为。如本文另外描述的，并发模糊被应用于随机化应用的线程调度，从而增加了由多个动态检查观察到的应用的不同并发场景的数量。

8. 发明授权

US07596534B2 Computer implemented methods for solving difference and non-difference linear constraints 有权
标题翻译：用于求解差分和非差分线性约束的计算机实现方法
公开(公告)号：US07596534B2
公开(公告)日：2009-09-29
申请号：US11455308
申请日：2006-06-15
申请人： Madanlal S. Musuvathi , Shuvendu K. Lahiri
发明人： Madanlal S. Musuvathi , Shuvendu K. Lahiri
IPC分类号： G06N5/00
CPC分类号： G06F11/3608
摘要： A computer implemented method for solving linear arithmetic constraints that combines a solver for difference constraints with a general linear arithmetic constraint solver. When used to solve sparse linear arithmetic constraints, the time and space complexity of the process is determined by the difference constraint component.
摘要翻译：一种用于求解线性算术约束的计算机实现方法，其将差分约束的求解器与一般的线性算术约束求解器相结合。当用于解决稀疏线性算术约束时，过程的时间和空间复杂性由差异约束分量决定。

9. 发明授权

US08433954B2 Testing components for thread safety 有权
标题翻译：测试螺纹安全的部件
公开(公告)号：US08433954B2
公开(公告)日：2013-04-30
申请号：US12763230
申请日：2010-04-20
申请人： Sebastian C. Burckhardt , Christopher W. Dern , Madanlal S. Musuvathi , Roy P. Tan
发明人： Sebastian C. Burckhardt , Christopher W. Dern , Madanlal S. Musuvathi , Roy P. Tan
IPC分类号： G06F11/00
CPC分类号： G06F11/3672 , G06F11/3692
摘要： A checking system is described for determining whether a component is thread safe in the course of interacting with two or threads in a client environment. The checking system uses a manual, automatic, or semi-automatic technique to generate a test. The checking system then defines a set of coarse-grained observations for the test, in which the component is assumed to exhibit linearizability when interacting with threads. The set of coarse-grained observations may include both complete and “stuck” histories. The checking system then generates a set of fine-grained observations for the tests; here, the checking system makes no assumptions as to the linearizability of the component. The checking system identifies potential linearizability errors as those entries in the set of fine-grained observations that have no counterpart entries in the set of coarse-grained observations. The checking system may rely on a stateless model checking module to perform its functions.
摘要翻译：描述了一种检查系统，用于在与客户端环境中的两个或多个线程交互的过程中确定组件是否是线程安全的。检查系统使用手动，自动或半自动技术来生成测试。然后，检查系统定义了一组用于测试的粗粒度观察值，其中假设组件在与线程交互时呈现线性化。一组粗粒度观察可能包括完整和“卡住”的历史。然后检查系统生成一组细粒度的测试结果; 在这里，检查系统不对组件的线性化进行假设。检查系统将潜在的线性化误差识别为在一组粗粒度观测中没有对应条目的细粒度观测组中的那些条目。检查系统可以依靠无状态模型检查模块来执行其功能。

10. 发明授权

US07926035B2 Testing multi-thread software using prioritized context switch limits 失效
标题翻译：使用优先级上下文切换限制测试多线程软件
公开(公告)号：US07926035B2
公开(公告)日：2011-04-12
申请号：US11739427
申请日：2007-04-24
申请人： Madanlal S. Musuvathi , Shaz Qadeer
发明人： Madanlal S. Musuvathi , Shaz Qadeer
IPC分类号： G06F9/44 , G06F9/445
CPC分类号： G06F11/3688
摘要： Testing multithreaded application programs for errors can be carried out in an efficient and productive manner at least in part by prioritizing thread schedules based on numbers of context switches between threads therein. In particular, each thread schedule in a multithreaded application program can be prioritized based on whether a given thread schedule has the same as or less than some maximum value. A model checker module can then iteratively execute thread schedules that fit within a given context switch maximum value, or a progressively higher value up to some limit. In one implementation, for example, the model checker module executes all thread schedules that have zero preempting context switches, then all thread schedules that have only one preempting context switch, etc. Most errors in an application program can be identified by executing only those thread schedule with relatively few preempting context switches.
摘要翻译：测试用于错误的多线程应用程序可以以有效和高效的方式进行，至少部分地基于基于线程之间的上下文切换的数量来优先考虑线程调度。具体来说，多线程应用程序中的每个线程调度可以基于给定的线程调度是否具有或小于某个最大值来确定优先级。然后，模型检查器模块可以迭代地执行适合给定上下文切换最大值的线程调度，或者达到某种限制的逐渐更高的值。在一个实现中，例如，模型检查器模块执行具有零抢占上下文切换的所有线程调度，然后仅具有一个抢占上下文切换的所有线程调度等。应用程序中的大多数错误可以通过仅执行那些线程来识别具有相对较少的抢占上下文切换的时间表。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式