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
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 (en)
EP (1) EP3973400B1 (en)
JP (1) JP7204011B2 (en)
CN (1) CN114207594B (en)
AU (1) AU2020279774B2 (en)
BR (1) BR112021023350A2 (en)
CA (1) CA3141609A1 (en)
DE (1) DE112020002515T5 (en)
SG (1) SG11202112004VA (en)
WO (1) WO2020237051A1 (en)
ZA (1) ZA202110741B (en)

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 (en) 2008-03-31 2013-09-18 株式会社野村総合研究所 Software migration system and method
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 (en) * 2009-12-29 2013-03-27 北京航空航天大学 Program dynamic dependency relation-based software fault positioning method
US8522217B2 (en) 2010-04-20 2013-08-27 Microsoft Corporation Visualization of runtime analysis across dynamic boundaries
JP5800724B2 (en) 2012-01-30 2015-10-28 三菱電機株式会社 Module dependency relationship extraction device, module dependency relationship extraction method, and program
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
US9692632B2 (en) * 2012-11-29 2017-06-27 International Business Machines Corporation Migration to managed clouds
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
US9665474B2 (en) 2013-03-15 2017-05-30 Microsoft Technology Licensing, Llc Relationships derived from trace data
CN103699432B (en) * 2013-12-17 2017-04-12 华中科技大学 Multi-task runtime collaborative scheduling system under heterogeneous environment
EP3742284A1 (en) 2014-07-18 2020-11-25 AB Initio Technology LLC Managing lineage information
JP2018116517A (en) 2017-01-19 2018-07-26 株式会社システムズ Development support device, development support method, and program
JP2019046001A (en) 2017-08-30 2019-03-22 京セラドキュメントソリューションズ株式会社 Application porting support device, application porting support program, and application porting method

Also Published As

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

Similar Documents

Publication Publication Date Title
SG11202004150XA (en) Systems and methods for ensuring correct execution of computer program using a mediator computer system
SG11202003527SA (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 against speculative side-channel analysis of a computer system
DK3326345T3 (en) SYSTEMS AND METHODS FOR EXECUTING PRIVATE PROGRAMS ON UNSECURE COMPUTERS
GB2587956B (en) Multi-domain planning and execution
IL252037A0 (en) System and method for identifying relationships between users of computer applications
GB2583391B (en) Control method and computer program
EP3571597A4 (en) Identifying computer behavior using visual data organization and graphs
BR112017010005A2 (en) apparatus and method for considering spatial locality in the loading of data elements for execution
SG11202110481TA (en) Planning device and computer program
JP2018045457A5 (en) Computer system and program
EP3697295A4 (en) A system and a method for analyzing a behavior or an activity of an object
DE102020121396A8 (en) Object detection device and object detection computer program
SG11202112004VA (en) Static and runtime analysis of computer program systems
GB202208364D0 (en) Automated techniques for detecting usage of software applications in computing environment using configuration objects
GB201915762D0 (en) Determination device and computer program product
EP3483768C0 (en) Static program analysis of a partial software program
SG11202000825YA (en) Methods and devices for executing trusted applications on processor with support for protected execution environments
LT3856425T (en) Method of recircling and associated computer program
SG11202112495XA (en) Modelling and black-box security testing of cyber-physical systems
GB202114379D0 (en) Software analysis assistance system and computer program for same
SG11202111707QA (en) System and method of computer-assisted computer programming
GB202006028D0 (en) Information processing system and program
GB202007968D0 (en) Representing and analyzing cloud computing data as pseudo systems
SG11202003526QA (en) Incentive processing device, incentive processing method, incentive processing system, and computer program therefor