SG11202112004VA - Static and runtime analysis of computer program systems - Google Patents

Static and runtime analysis of computer program systems

Info

Publication number
SG11202112004VA
SG11202112004VA SG11202112004VA SG11202112004VA SG11202112004VA SG 11202112004V A SG11202112004V A SG 11202112004VA SG 11202112004V A SG11202112004V A SG 11202112004VA SG 11202112004V A SG11202112004V A SG 11202112004VA SG 11202112004V A SG11202112004V A SG 11202112004VA
Authority
SG
Singapore
Prior art keywords
static
computer program
runtime analysis
program systems
systems
Prior art date
Application number
SG11202112004VA
Other languages
English (en)
Inventor
John Joyce
Marshall A Isman
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 SG11202112004VA publication Critical patent/SG11202112004VA/en

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)
SG11202112004VA 2019-05-22 2020-05-21 Static and runtime analysis of computer program systems SG11202112004VA (en)

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
SG11202112004VA true SG11202112004VA (en) 2021-11-29

Family

ID=73457034

Family Applications (1)

Application Number Title Priority Date Filing Date
SG11202112004VA SG11202112004VA (en) 2019-05-22 2020-05-21 Static and runtime analysis of computer program systems

Country Status (11)

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

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 株式会社野村総合研究所 ソフトウェアマイグレーションシステム及び方法
CA2713247C (en) 2009-08-31 2015-06-16 Accenture Global Services Gmbh 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
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
US9692632B2 (en) * 2012-11-29 2017-06-27 International Business Machines Corporation Migration to managed clouds
US20130219372A1 (en) 2013-03-15 2013-08-22 Concurix Corporation Runtime Settings Derived from Relationships Identified in Tracer Data
CN103699432B (zh) * 2013-12-17 2017-04-12 华中科技大学 一种异构环境下的多任务运行时协同调度系统
SG11201700384WA (en) 2014-07-18 2017-02-27 Ab Initio Technology Llc Managing parameter sets
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
CA3141609A1 (en) 2021-11-26
BR112021023350A2 (pt) 2022-04-19
US20200371781A1 (en) 2020-11-26
CN114207594B (zh) 2023-02-21
EP3973400B1 (en) 2023-12-20
EP3973400A1 (en) 2022-03-30
AU2020279774B2 (en) 2022-07-28
US20210263734A1 (en) 2021-08-26
CN114207594A (zh) 2022-03-18
JP2022525250A (ja) 2022-05-11
ZA202110741B (en) 2023-10-25
AU2020279774A1 (en) 2021-11-25
JP7204011B2 (ja) 2023-01-13
US10996946B2 (en) 2021-05-04
WO2020237051A1 (en) 2020-11-26
US11487534B2 (en) 2022-11-01

Similar Documents

Publication Publication Date Title
SG11202004150XA (en) Systems and methods for ensuring correct execution of computer program using a mediator computer system
SG11202003529YA (en) Autonomous and integrated system, method and computer program for dynamic optimisation and allocation of resources for defined spaces and time periods
EP3903214A4 (en) DEFENSE FROM SPECULATIVE SIDE CHANNEL ANALYSIS OF A COMPUTER SYSTEM
IL255690B (en) Method and implementation environment for safe execution of program instructions
DK3326345T3 (da) Systemer og fremgangsmåder til at eksekvere private programmer på ikke sikre computere
SG11202110481TA (en) Planning device and computer program
IL252037A0 (en) System and method for identifying relationships between computer application users
EP3571597A4 (en) IDENTIFYING A COMPUTER BEHAVIOR USING VISUAL DATA ORGANIZATION AND GRAPHICS
GB2583391B (en) Control method and computer program
BR112017010005A2 (pt) aparelho e método para considerar localidade espacial no carregamento de elementos de dados para execução
SG11202004160WA (en) Computer control of access to fields and features of an application
EP3697295A4 (en) SYSTEM AND METHOD OF ANALYSIS OF A SUBJECT'S BEHAVIOR OR ACTIVITY
DE102020121396A8 (de) Objektdetektionsvorrichtung und Objektdetektionscomputerprogramm
SG11202112004VA (en) Static and runtime analysis of computer program systems
EP3483768B8 (en) Static program analysis of a partial software program
GB201915762D0 (en) Determination device and computer program product
SG11202000825YA (en) Methods and devices for executing trusted applications on processor with support for protected execution environments
EP3666210C0 (de) Planungsunterstützung für einen interventionellen eingriff sowie entsprechende geräte und computerprogramme
IL287701A (en) A computerized system and method to assist in programming
LT3856425T (lt) Perdirbimo būdas ir su juo susijusi kompiuterinė programa
SG11202112495XA (en) Modelling and black-box security testing of cyber-physical systems
GB202114379D0 (en) Software analysis assistance system and computer program for same
GB202006028D0 (en) Information processing system and program
SG11202003526QA (en) Incentive processing device, incentive processing method, incentive processing system, and computer program therefor
EP4033372C0 (en) SYSTEMS AND METHODS FOR RECOMMENDING AN EXECUTION ENVIRONMENT FOR ANALYZING SENSOR OBSERVATION DATA