BR112021023350A2 - Método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador - Google Patents

Método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador

Info

Publication number
BR112021023350A2
BR112021023350A2 BR112021023350A BR112021023350A BR112021023350A2 BR 112021023350 A2 BR112021023350 A2 BR 112021023350A2 BR 112021023350 A BR112021023350 A BR 112021023350A BR 112021023350 A BR112021023350 A BR 112021023350A BR 112021023350 A2 BR112021023350 A2 BR 112021023350A2
Authority
BR
Brazil
Prior art keywords
computer
ecosystem
analyzing
computer programs
includes multiple
Prior art date
Application number
BR112021023350A
Other languages
English (en)
Inventor
John Joyce
A Isman Marshall
Sam Kendall
Original Assignee
Ab Initio Technology Llc
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Ab Initio Technology Llc filed Critical Ab Initio Technology Llc
Publication of BR112021023350A2 publication Critical patent/BR112021023350A2/pt

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/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/32—Monitoring with visual or acoustical indication of the functioning of the machine
    • G06F11/323—Visualisation of programs or trace data
    • 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
    • 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/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/362—Software debugging
    • 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/3664—Environments for testing or debugging software
    • 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/3676—Test management for coverage analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/71—Version control; Configuration management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/75—Structural analysis for program understanding

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Data Mining & Analysis (AREA)
  • Computer Security & Cryptography (AREA)
  • Debugging And Monitoring (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Stored Programmes (AREA)

Abstract

método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador. a presente invenção refere-se a um método para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador que inclui realizar uma análise estática do ecossistema, incluindo identificar dependências estáticas entre os elementos do ecossistema com base nos valores de parâmetros em conjuntos de parâmetros associados ao ecossistema, em que os elementos incluem os programas de computador e os recursos de dados associados aos programas de computador. o método inclui realizar uma análise de tempo de execução do ecossistema, incluindo identificar elementos que foram utilizados durante a execução do ecossistema para processar registros de dados. o método inclui realizar uma análise de agendamento do ecossistema, incluindo identificar um programa de computador que tem uma dependência de agendamento de outro programa de computador. o método inclui identificar um subconjunto dos elementos como uma unidade de ecossistema com base nos resultados das análises estática, de tempo de execução e de agendamento; e migrar a unidade de ecossistema de um primeiro para um segundo sistema de computador, testar a unidade de ecossistema ou ambos.
BR112021023350A 2019-05-22 2020-05-21 Método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador BR112021023350A2 (pt)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US201962851295P 2019-05-22 2019-05-22
US16/746,392 US10996946B2 (en) 2019-05-22 2020-01-17 Static and runtime analysis of computer program ecosystems
PCT/US2020/033998 WO2020237051A1 (en) 2019-05-22 2020-05-21 Static and runtime analysis of computer program systems

Publications (1)

Publication Number Publication Date
BR112021023350A2 true BR112021023350A2 (pt) 2022-04-19

Family

ID=73457034

Family Applications (1)

Application Number Title Priority Date Filing Date
BR112021023350A BR112021023350A2 (pt) 2019-05-22 2020-05-21 Método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador

Country Status (11)

Country Link
US (2) US10996946B2 (pt)
EP (1) EP3973400B1 (pt)
JP (1) JP7204011B2 (pt)
CN (1) CN114207594B (pt)
AU (1) AU2020279774B2 (pt)
BR (1) BR112021023350A2 (pt)
CA (1) CA3141609A1 (pt)
DE (1) DE112020002515T5 (pt)
SG (1) SG11202112004VA (pt)
WO (1) WO2020237051A1 (pt)
ZA (1) ZA202110741B (pt)

Family Cites Families (20)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5966072A (en) 1996-07-02 1999-10-12 Ab Initio Software Corporation Executing computations expressed as graphs
US7716630B2 (en) 2005-06-27 2010-05-11 Ab Initio Technology Llc Managing parameters for graph-based computations
US20150347600A1 (en) * 2005-10-21 2015-12-03 Joseph Akwo Tabe Broadband Centralized Transportation Communication Vehicle For Extracting Transportation Topics of Information and Monitoring Terrorist Data
US8286149B2 (en) * 2007-10-15 2012-10-09 International Business Machines Corporation Apparatus for and method of implementing feedback directed dependency analysis of software applications
JP5294675B2 (ja) * 2008-03-31 2013-09-18 株式会社野村総合研究所 ソフトウェアマイグレーションシステム及び方法
US8689177B2 (en) * 2009-08-31 2014-04-01 Accenture Global Services Limited Integration environment generator
US9098616B2 (en) 2009-12-11 2015-08-04 International Business Machines Corporation Analyzing computer programs to identify errors
CN101739339B (zh) * 2009-12-29 2013-03-27 北京航空航天大学 一种基于程序动态依赖关系的软件故障定位方法
US8522217B2 (en) 2010-04-20 2013-08-27 Microsoft Corporation Visualization of runtime analysis across dynamic boundaries
JP5800724B2 (ja) * 2012-01-30 2015-10-28 三菱電機株式会社 モジュール依存関係抽出装置、モジュール依存関係抽出方法、及び、プログラム
GB2506596A (en) * 2012-10-02 2014-04-09 Ibm Managing a set of software modules in a runtime environment
US9122490B2 (en) * 2012-10-17 2015-09-01 Microsoft Technology Licensing, Llc Code dependency calculation
US9692632B2 (en) * 2012-11-29 2017-06-27 International Business Machines Corporation Migration to managed clouds
US9282166B2 (en) * 2012-11-29 2016-03-08 International Business Machines Corporation Management infrastructure analysis for cloud migration
US9092837B2 (en) * 2012-11-29 2015-07-28 International Business Machines Corporation Use of snapshots to reduce risk in migration to a standard virtualized environment
US20130227529A1 (en) 2013-03-15 2013-08-29 Concurix Corporation Runtime Memory Settings Derived from Trace Data
CN103699432B (zh) * 2013-12-17 2017-04-12 华中科技大学 一种异构环境下的多任务运行时协同调度系统
CN106716352B (zh) 2014-07-18 2020-04-28 起元科技有限公司 管理参数集
JP2018116517A (ja) * 2017-01-19 2018-07-26 株式会社システムズ 開発支援装置、開発支援方法、およびプログラム
JP2019046001A (ja) * 2017-08-30 2019-03-22 京セラドキュメントソリューションズ株式会社 アプリケーション移植支援装置、アプリケーション移植支援プログラムおよびアプリケーション移植方法

Also Published As

Publication number Publication date
DE112020002515T5 (de) 2022-03-24
CN114207594A (zh) 2022-03-18
EP3973400B1 (en) 2023-12-20
SG11202112004VA (en) 2021-11-29
ZA202110741B (en) 2023-10-25
US20200371781A1 (en) 2020-11-26
WO2020237051A1 (en) 2020-11-26
CA3141609A1 (en) 2021-11-26
AU2020279774B2 (en) 2022-07-28
JP7204011B2 (ja) 2023-01-13
CN114207594B (zh) 2023-02-21
JP2022525250A (ja) 2022-05-11
US20210263734A1 (en) 2021-08-26
US10996946B2 (en) 2021-05-04
AU2020279774A1 (en) 2021-11-25
EP3973400A1 (en) 2022-03-30
US11487534B2 (en) 2022-11-01

Similar Documents

Publication Publication Date Title
Edwards et al. Investigating static analysis errors in student Java programs
JP6878933B2 (ja) ソフトウエアプログラムの修復のための方法及びプログラム
US8554811B2 (en) Software routine fingerprints in performance data
BR112018003372A2 (pt) método para fornecer recomendações de barbeamento em estágios, programa de computador executável em uma unidade de processamento, sistema de cuidados pessoais, e aparelho de barbeamento
BR112015022150A2 (pt) prognósticos de válvula para componentes poliméricos com base em técnicas de envelhecimento acelerado
US10289536B2 (en) Distinguishing public and private code in testing environments
BR112017011046A2 (pt) geração de sugestões de navega¬dor com base em dados de dispositvo da internet das coisas
US8819644B2 (en) Selective data flow analysis of bounded regions of computer software applications
EP3547145A3 (en) Systems and methods for reducing storage required for code coverage results
JP2014524608A5 (pt)
US10902130B2 (en) Guiding automated testing of binary programs
BR112018010168A2 (pt) métodos para detecção de variações de número de cópia no sequenciamento de próxima geração
JP6904043B2 (ja) 未知のプログラムバイナリのための入力発見
US8607193B2 (en) Tracking stale comments in source code listings
Yulianto et al. Automatic grader for programming assignment using source code analyzer
BR112022012487A2 (pt) Testagem unitária de componentes de gráficos de fluxo de dados
US20170249240A1 (en) Automated test planning using test case relevancy
US20170147336A1 (en) Method and system for determining logging statement code coverage
JP2020102209A (ja) ソフトウェアプログラム不良位置の識別
BR112022016601A2 (pt) Sistemas e métodos para anonimizar dados sensíveis e simular parâmetros de cronograma acelerado usando os dados anonimizados
Markov et al. The experience of comparison of static security code analyzers
BR112021023350A2 (pt) Método implementado por computador, sistema de computador, e meio legível por computador não transitório para analisar um ecossistema de programas de computador que inclui múltiplos programas de computador
Harder et al. Quo vadis, clone management?
Nakamura et al. Towards detection and analysis of interlanguage clones for multilingual web applications
US7823018B2 (en) Methods, systems and computer program products for CPU signaturing to aide in performance analysis