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

1. 发明申请

US20120101800A1 MODEL CHECKING FOR DISTRIBUTED APPLICATION VALIDATION 有权
标题翻译：用于分布式应用程序验证的型号检查
公开(公告)号：US20120101800A1
公开(公告)日：2012-04-26
申请号：US12908007
申请日：2010-10-20
申请人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
发明人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
IPC分类号： G06F9/45 , G06F15/18
CPC分类号： G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
摘要： A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions.
摘要翻译：本文描述了一种模型检查系统，通过提供模型和通用框架来更有效地验证和验证分布式应用程序的设计，以检查应用程序不变属性，检测异常行为和监视应用程序运行状况。模型检查系统根据从应用程序的形式描述导出的应用程序模型检查在线应用程序行为。该系统将具体应用程序作为抽象模型以及预期在所有条件下都适用于应用程序的许多规则或属性。模型检查器将实际应用程序执行与模型进行比较，并确认属性成立或报告属性被违反。因此，模型检查系统在更现实的生产条件下提供了分布式应用程序的更有效和彻底的验证。

2. 发明申请

US20090307530A1 DISTRIBUTED TESTING SYSTEM AND TECHNIQUES 有权
标题翻译：分布式测试系统和技术
公开(公告)号：US20090307530A1
公开(公告)日：2009-12-10
申请号：US12136065
申请日：2008-06-10
申请人： Mihail G. Tarta
发明人： Mihail G. Tarta
IPC分类号： G06F11/07
CPC分类号： G06F11/3668
摘要： A fully distributed system for testing a distributed computing system utilizes test services exposed in conjunction by independent test components deployed on one or more computing nodes of the distributed computing system. The test services ensure dynamic and adaptive coordination amongst the test components. The test services include but are not limited to: an atomic synchronization service; a distributed shared memory service; a lock manager service; a publish/subscribe service; and a producer/consumer service.
摘要翻译：用于测试分布式计算系统的完全分布式系统利用部署在分布式计算系统的一个或多个计算节点上的独立测试组件一起暴露的测试服务。测试服务确保测试组件之间的动态和适应性协调。测试服务包括但不限于：原子同步服务; 分布式共享内存服务; 锁管理服务; 发布/订阅服务; 和生产者/消费者服务。

3. 发明授权

US09092561B2 Model checking for distributed application validation 有权
标题翻译：分布式应用程序验证模型检查
公开(公告)号：US09092561B2
公开(公告)日：2015-07-28
申请号：US12908007
申请日：2010-10-20
申请人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
发明人： Lidan Miao , Peng Song , Li Zhang , Mihail G. Tarta
IPC分类号： G06F11/36 , G06F11/34
CPC分类号： G06F11/3612 , G06F11/3447 , G06F11/3476 , G06F11/3608 , G06F11/3692
摘要： A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions.
摘要翻译：本文描述了一种模型检查系统，通过提供模型和通用框架来更有效地验证和验证分布式应用程序的设计，以检查应用程序不变属性，检测异常行为和监视应用程序运行状况。模型检查系统根据从应用程序的形式描述导出的应用程序模型检查在线应用程序行为。该系统将具体应用程序作为抽象模型以及预期在所有条件下都适用于应用程序的许多规则或属性。模型检查器将实际应用程序执行与模型进行比较，并确认属性成立或报告属性被违反。因此，模型检查系统在更现实的生产条件下提供了分布式应用程序的更有效和彻底的验证。

4. 发明授权

US08024615B2 Steady state computer testing 有权
标题翻译：稳态电脑测试
公开(公告)号：US08024615B2
公开(公告)日：2011-09-20
申请号：US12110350
申请日：2008-04-28
申请人： Mihail G. Tarta
发明人： Mihail G. Tarta
IPC分类号： G06F11/00
CPC分类号： G06F11/3672
摘要： A steady state value of each parameter in a set of one or more parameters of a computer system under test is defined, and acts related to the parameter are performed while the system under test is processing one or more test workloads. The acts can include comparing a working value of the parameter with the steady state value of the parameter, as well as operating on one or more workloads to bring the working value closer to a steady state value. This can include increasing or decreasing the working value of the parameter, such as by admitting one or more workloads to the system under test or cancelling one or more workloads from the system under test.
摘要翻译：定义了被测计算机系统的一个或多个参数的集合中的每个参数的稳态值，并且在被测系统处理一个或多个测试工作负载时执行与参数相关的动作。这些动作可以包括将参数的工作值与参数的稳态值进行比较，以及对一个或多个工作负载进行操作，以使工作值更接近稳态值。这可以包括增加或减少参数的工作值，例如通过将一个或多个工作负载承认到被测系统或从被测系统取消一个或多个工作负载。

5. 发明授权

US07827438B2 Distributed testing system and techniques 有权
标题翻译：分布式测试系统和技术
公开(公告)号：US07827438B2
公开(公告)日：2010-11-02
申请号：US12136065
申请日：2008-06-10
申请人： Mihail G. Tarta
发明人： Mihail G. Tarta
IPC分类号： G06F11/00
CPC分类号： G06F11/3668
摘要： A fully distributed system for testing a distributed computing system utilizes test services exposed in conjunction by independent test components deployed on one or more computing nodes of the distributed computing system. The test services ensure dynamic and adaptive coordination amongst the test components. The test services include but are not limited to: an atomic synchronization service; a distributed shared memory service; a lock manager service; a publish/subscribe service; and a producer/consumer service.
摘要翻译：用于测试分布式计算系统的完全分布式系统利用部署在分布式计算系统的一个或多个计算节点上的独立测试组件一起暴露的测试服务。测试服务确保测试组件之间的动态和适应性协调。测试服务包括但不限于：原子同步服务; 分布式共享内存服务; 锁管理服务; 发布/订阅服务; 和生产者/消费者服务。

6. 发明申请

US20090271662A1 STEADY STATE COMPUTER TESTING 有权
标题翻译：稳态计算机测试
公开(公告)号：US20090271662A1
公开(公告)日：2009-10-29
申请号：US12110350
申请日：2008-04-28
申请人： Mihail G. Tarta
发明人： Mihail G. Tarta
IPC分类号： G06F11/00
CPC分类号： G06F11/3672
摘要： A steady state value of each parameter in a set of one or more parameters of a computer system under test is defined, and acts related to the parameter are performed while the system under test is processing one or more test workloads. The acts can include comparing a working value of the parameter with the steady state value of the parameter, as well as operating on one or more workloads to bring the working value closer to a steady state value. This can include increasing or decreasing the working value of the parameter, such as by admitting one or more workloads to the system under test or cancelling one or more workloads from the system under test.
摘要翻译：定义了被测计算机系统的一个或多个参数的集合中的每个参数的稳态值，并且在被测系统处理一个或多个测试工作负载时执行与参数相关的动作。这些动作可以包括将参数的工作值与参数的稳态值进行比较，以及对一个或多个工作负载进行操作，以使工作值更接近稳态值。这可以包括增加或减少参数的工作值，例如通过将一个或多个工作负载承认到被测系统或从被测系统取消一个或多个工作负载。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式