CN102436376B - 用于分布式应用确认的模型检查 - Google Patents
用于分布式应用确认的模型检查 Download PDFInfo
- Publication number
- CN102436376B CN102436376B CN201110340478.5A CN201110340478A CN102436376B CN 102436376 B CN102436376 B CN 102436376B CN 201110340478 A CN201110340478 A CN 201110340478A CN 102436376 B CN102436376 B CN 102436376B
- Authority
- CN
- China
- Prior art keywords
- model
- application
- event
- distributed application
- behavior
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3692—Test management for test results analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3447—Performance evaluation by modeling
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3466—Performance evaluation by tracing or monitoring
- G06F11/3476—Data logging
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (15)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/908,007 | 2010-10-20 | ||
US12/908,007 US9092561B2 (en) | 2010-10-20 | 2010-10-20 | Model checking for distributed application validation |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102436376A CN102436376A (zh) | 2012-05-02 |
CN102436376B true CN102436376B (zh) | 2016-01-13 |
Family
ID=45973710
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201110340478.5A Active CN102436376B (zh) | 2010-10-20 | 2011-10-19 | 用于分布式应用确认的模型检查 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9092561B2 (zh) |
CN (1) | CN102436376B (zh) |
Families Citing this family (48)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8688606B2 (en) * | 2011-01-24 | 2014-04-01 | International Business Machines Corporation | Smarter business intelligence systems |
US9727441B2 (en) * | 2011-08-12 | 2017-08-08 | Microsoft Technology Licensing, Llc | Generating dependency graphs for analyzing program behavior |
US8954579B2 (en) * | 2012-08-21 | 2015-02-10 | Microsoft Corporation | Transaction-level health monitoring of online services |
US9111034B2 (en) * | 2013-02-27 | 2015-08-18 | International Business Machines Corporation | Testing of run-time instrumentation |
US10078575B2 (en) * | 2013-03-13 | 2018-09-18 | Microsoft Technology Licensing, Llc | Diagnostics of state transitions |
US9317415B2 (en) * | 2013-06-03 | 2016-04-19 | Google Inc. | Application analytics reporting |
EP3039587A1 (en) * | 2013-08-30 | 2016-07-06 | Hewlett Packard Enterprise Development LP | Identifying anomalous behavior of a monitored entity |
JP2015060675A (ja) * | 2013-09-18 | 2015-03-30 | ソニー株式会社 | 蓄電システム |
US10078502B2 (en) * | 2014-06-19 | 2018-09-18 | Fujitsu Limited | Verification of a model of a GUI-based application |
US11630645B2 (en) * | 2014-09-13 | 2023-04-18 | Aaron Evans | System and method for managing and using data model |
US9552249B1 (en) * | 2014-10-20 | 2017-01-24 | Veritas Technologies | Systems and methods for troubleshooting errors within computing tasks using models of log files |
US10200486B2 (en) * | 2015-02-26 | 2019-02-05 | Urban Airship, Inc. | Mobile event notifications for network enabled objects |
US11283697B1 (en) | 2015-03-24 | 2022-03-22 | Vmware, Inc. | Scalable real time metrics management |
JP6228324B2 (ja) * | 2015-03-27 | 2017-11-08 | ルネサスエレクトロニクス株式会社 | 解析装置及び解析方法 |
US10020983B2 (en) | 2015-07-31 | 2018-07-10 | Ca, Inc. | Reachability fault isolation and recovery using asynchronous notifications |
US10078562B2 (en) | 2015-08-18 | 2018-09-18 | Microsoft Technology Licensing, Llc | Transactional distributed lifecycle management of diverse application data structures |
US10057142B2 (en) | 2015-08-19 | 2018-08-21 | Microsoft Technology Licensing, Llc | Diagnostic framework in computing systems |
US10594562B1 (en) | 2015-08-25 | 2020-03-17 | Vmware, Inc. | Intelligent autoscale of services |
US10313211B1 (en) * | 2015-08-25 | 2019-06-04 | Avi Networks | Distributed network service risk monitoring and scoring |
RU2625051C1 (ru) * | 2016-02-18 | 2017-07-11 | Акционерное общество "Лаборатория Касперского" | Система и способ обнаружений аномалий в технологической системе |
EP3208735B1 (en) * | 2016-02-18 | 2018-12-19 | AO Kaspersky Lab | System and method of protection of technological systems from cyber attacks |
US10212041B1 (en) | 2016-03-04 | 2019-02-19 | Avi Networks | Traffic pattern detection and presentation in container-based cloud computing architecture |
US10931548B1 (en) | 2016-03-28 | 2021-02-23 | Vmware, Inc. | Collecting health monitoring data pertaining to an application from a selected set of service engines |
US9705751B1 (en) * | 2016-03-31 | 2017-07-11 | Sas Institute Inc. | System for calibrating and validating parameters for optimization |
US10360095B2 (en) * | 2016-03-31 | 2019-07-23 | Change Healthcare Holdings, Llc | Methods and apparatuses for improving failure recovery in a distributed system |
US20170329691A1 (en) * | 2016-05-12 | 2017-11-16 | Synopsys, Inc. | Systems and methods for using semantic queries to analyze software |
CN105975604B (zh) * | 2016-05-12 | 2017-10-03 | 清华大学 | 一种分布迭代式数据处理程序异常检测与诊断方法 |
US10255128B2 (en) | 2016-08-17 | 2019-04-09 | Red Hat, Inc. | Root cause candidate determination in multiple process systems |
JP6767042B2 (ja) * | 2016-09-26 | 2020-10-14 | 国立研究開発法人情報通信研究機構 | シナリオパッセージ分類器、シナリオ分類器、及びそのためのコンピュータプログラム |
US10338986B2 (en) | 2016-10-28 | 2019-07-02 | Microsoft Technology Licensing, Llc | Systems and methods for correlating errors to processing steps and data records to facilitate understanding of errors |
US10324818B2 (en) * | 2016-12-21 | 2019-06-18 | Ca, Inc. | Data analytics correlation for heterogeneous monitoring systems |
US10467132B1 (en) * | 2017-05-16 | 2019-11-05 | Intuit, Inc. | Variability system and analytics for continuous reliability in cloud-based workflows |
US10635519B1 (en) * | 2017-11-30 | 2020-04-28 | Uptake Technologies, Inc. | Systems and methods for detecting and remedying software anomalies |
EP3493051A1 (en) * | 2017-11-30 | 2019-06-05 | The MathWorks, Inc. | System and methods for evaluating compliance of implementation code with a software architecture specification |
DE102018003142A1 (de) | 2017-12-13 | 2019-06-13 | The Mathworks, Inc. | Automatische Einstellung von Multitasking-Konfigurationen für ein Codeprüfsystem |
US10999168B1 (en) | 2018-05-30 | 2021-05-04 | Vmware, Inc. | User defined custom metrics |
US10860400B2 (en) * | 2018-07-31 | 2020-12-08 | EMC IP Holding Company LLC | Intelligent monitoring and diagnostics for application support |
EP4239484A3 (en) | 2018-10-26 | 2024-01-03 | VMware, Inc. | Collecting samples hierarchically in a datacenter |
US11379475B2 (en) * | 2018-10-26 | 2022-07-05 | Splunk Inc. | Analyzing tags associated with high-latency and error spans for instrumented software |
CN111526028B (zh) * | 2019-02-01 | 2023-04-07 | 阿里巴巴集团控股有限公司 | 数据处理方法、装置及设备 |
US11582120B2 (en) | 2019-05-30 | 2023-02-14 | Vmware, Inc. | Partitioning health monitoring in a global server load balancing system |
JP7309533B2 (ja) * | 2019-09-06 | 2023-07-18 | 株式会社日立製作所 | モデル改善支援システム |
TWI739556B (zh) * | 2020-08-19 | 2021-09-11 | 瑞昱半導體股份有限公司 | 時脈死結檢測系統、方法以及非暫態電腦可讀取媒體 |
CN112181844B (zh) * | 2020-10-12 | 2022-02-18 | 南京大学 | 一种验证分布式协议活性属性容错机制的检测方法及装置 |
EP3985514A1 (fr) * | 2020-10-19 | 2022-04-20 | Bull SAS | Procédé de prédiction et d'analyse non intrusif d'au moins un incident dans un centre de données |
US11811861B2 (en) | 2021-05-17 | 2023-11-07 | Vmware, Inc. | Dynamically updating load balancing criteria |
US11792155B2 (en) | 2021-06-14 | 2023-10-17 | Vmware, Inc. | Method and apparatus for enhanced client persistence in multi-site GSLB deployments |
CN116258350B (zh) * | 2023-05-15 | 2023-08-11 | 烟台岸基网络科技有限公司 | 海运集装箱运输监控方法 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1836208A (zh) * | 2003-10-23 | 2006-09-20 | 微软公司 | 计算机系统和分布式应用程序的基于模型管理 |
Family Cites Families (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5960199A (en) * | 1996-11-12 | 1999-09-28 | International Business Machines Corporation | Model trace view for object-oriented systems |
US6941362B2 (en) * | 2000-04-28 | 2005-09-06 | Sheer Networks Inc. | Root cause analysis in a distributed network management architecture |
US7058958B1 (en) * | 2002-04-23 | 2006-06-06 | Microsoft Corporation | Client programming model with abstraction |
US7096459B2 (en) * | 2002-09-11 | 2006-08-22 | International Business Machines Corporation | Methods and apparatus for root cause identification and problem determination in distributed systems |
US8032866B1 (en) * | 2003-03-27 | 2011-10-04 | Identify Software Ltd. | System and method for troubleshooting runtime software problems using application learning |
US7490317B1 (en) * | 2004-09-09 | 2009-02-10 | Sun Microsystems, Inc. | Methods and apparatus for representing application dependencies |
US20070028220A1 (en) * | 2004-10-15 | 2007-02-01 | Xerox Corporation | Fault detection and root cause identification in complex systems |
US7900201B1 (en) * | 2004-12-21 | 2011-03-01 | Zenprise, Inc. | Automated remedying of problems in software application deployments |
US7779399B2 (en) * | 2005-05-16 | 2010-08-17 | Armorize Technologies, Inc. | System and method for securing web application code and verifying correctness of software |
US7770153B2 (en) * | 2005-05-20 | 2010-08-03 | Microsoft Corporation | Heap-based bug identification using anomaly detection |
US20080016115A1 (en) * | 2006-07-17 | 2008-01-17 | Microsoft Corporation | Managing Networks Using Dependency Analysis |
US8205215B2 (en) * | 2007-05-04 | 2012-06-19 | Microsoft Corporation | Automated event correlation |
US8069434B2 (en) * | 2007-10-29 | 2011-11-29 | Sap Ag | Integrated model checking and issue resolution framework |
US8504330B2 (en) | 2008-07-14 | 2013-08-06 | Nec Laboratories America, Inc. | Parallelizing bounded model checking using tunnels over a distributed framework |
US7984332B2 (en) * | 2008-11-17 | 2011-07-19 | Microsoft Corporation | Distributed system checker |
US7992040B2 (en) * | 2009-02-20 | 2011-08-02 | International Business Machines Corporation | Root cause analysis by correlating symptoms with asynchronous changes |
US8185781B2 (en) * | 2009-04-09 | 2012-05-22 | Nec Laboratories America, Inc. | Invariants-based learning method and system for failure diagnosis in large scale computing systems |
US20100306732A1 (en) * | 2009-05-26 | 2010-12-02 | Jerry Zhu | Correctness by proof |
US20110078666A1 (en) * | 2009-05-26 | 2011-03-31 | University Of California | System and Method for Reproducing Device Program Execution |
US8943478B2 (en) * | 2009-07-14 | 2015-01-27 | International Business Machines Corporation | Fault detection and localization in dynamic software applications |
US20110083123A1 (en) * | 2009-10-05 | 2011-04-07 | Microsoft Corporation | Automatically localizing root error through log analysis |
US8364775B2 (en) * | 2010-08-12 | 2013-01-29 | International Business Machines Corporation | High availability management system for stateless components in a distributed master-slave component topology |
-
2010
- 2010-10-20 US US12/908,007 patent/US9092561B2/en active Active
-
2011
- 2011-10-19 CN CN201110340478.5A patent/CN102436376B/zh active Active
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1836208A (zh) * | 2003-10-23 | 2006-09-20 | 微软公司 | 计算机系统和分布式应用程序的基于模型管理 |
Non-Patent Citations (2)
Title |
---|
D3S: Debugging Deployed Distributed Systems;Xuezheng Liu等;《Proceedings of 5th USENIX Symposium on Networked Systems Design and Implementation》;20081231;正文第1,2.1节和图2(a) * |
Pip: Detecting the Unexpected in Distributed Systems;Patrick Reynolds等;《In Proc. 3rd Symp. on Networked Systems Design and Implementation (NSDI)》;20060531;摘要、正文第1,1.1-1.2,2,2.1-2.2,4.1节 * |
Also Published As
Publication number | Publication date |
---|---|
US20120101800A1 (en) | 2012-04-26 |
CN102436376A (zh) | 2012-05-02 |
US9092561B2 (en) | 2015-07-28 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102436376B (zh) | 用于分布式应用确认的模型检查 | |
US9672085B2 (en) | Adaptive fault diagnosis | |
Lou et al. | Software analytics for incident management of online services: An experience report | |
Miao et al. | Agnostic diagnosis: Discovering silent failures in wireless sensor networks | |
US8667334B2 (en) | Problem isolation in a virtual environment | |
CN101088072B (zh) | 用于监视基于交易的系统的方法和系统 | |
US10177984B2 (en) | Isolation of problems in a virtual environment | |
CN103069749B (zh) | 虚拟环境中的问题的隔离的方法和系统 | |
Peiris et al. | Pad: Performance anomaly detection in multi-server distributed systems | |
Cotroneo et al. | Fault injection analytics: A novel approach to discover failure modes in cloud-computing systems | |
Lou et al. | Experience report on applying software analytics in incident management of online service | |
Ding et al. | Mining historical issue repositories to heal large-scale online service systems | |
CN112650688A (zh) | 自动化回归测试方法、关联设备以及计算机程序产品 | |
Cai et al. | A real-time trace-level root-cause diagnosis system in alibaba datacenters | |
Yang et al. | AID: efficient prediction of aggregated intensity of dependency in large-scale cloud systems | |
CN115118621A (zh) | 一种基于依赖关系图的微服务性能诊断方法及系统 | |
US11163924B2 (en) | Identification of changes in functional behavior and runtime behavior of a system during maintenance cycles | |
Brodie et al. | Automated problem determination using call-stack matching | |
He et al. | Tscope: Automatic timeout bug identification for server systems | |
Bovenzi et al. | A statistical anomaly-based algorithm for on-line fault detection in complex software critical systems | |
Meng et al. | IT troubleshooting with drift analysis in the DevOps era | |
CN117312175B (zh) | 数据处理方法、装置、计算机设备及存储介质 | |
Kou et al. | An ensemble signature-based approach for performance diagnosis in big data platform | |
Reidemeister | Fault diagnosis in enterprise software systems using discrete monitoring data | |
Stankovic et al. | A survey on online monitoring approaches of computer-based systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
ASS | Succession or assignment of patent right |
Owner name: MICROSOFT TECHNOLOGY LICENSING LLC Free format text: FORMER OWNER: MICROSOFT CORP. Effective date: 20150723 |
|
C41 | Transfer of patent application or patent right or utility model | ||
TA01 | Transfer of patent application right |
Effective date of registration: 20150723 Address after: Washington State Applicant after: Micro soft technique license Co., Ltd Address before: Washington State Applicant before: Microsoft Corp. |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
C41 | Transfer of patent application or patent right or utility model | ||
TR01 | Transfer of patent right |
Effective date of registration: 20160629 Address after: Grand Cayman, Georgetown, Cayman Islands Patentee after: IValley Holding Co., Ltd. Address before: Washington State Patentee before: Micro soft technique license Co., Ltd |