JP6117760B2 - 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 - Google Patents

静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 Download PDF

Info

Publication number
JP6117760B2
JP6117760B2 JP2014220658A JP2014220658A JP6117760B2 JP 6117760 B2 JP6117760 B2 JP 6117760B2 JP 2014220658 A JP2014220658 A JP 2014220658A JP 2014220658 A JP2014220658 A JP 2014220658A JP 6117760 B2 JP6117760 B2 JP 6117760B2
Authority
JP
Japan
Prior art keywords
change points
software code
variable
user
program
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
Application number
JP2014220658A
Other languages
English (en)
Japanese (ja)
Other versions
JP2015088191A (ja
JP2015088191A5 (https=
Inventor
トゥカラム・ビー・ムスク
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Tata Consultancy Services Ltd
Original Assignee
Tata Consultancy Services Ltd
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 Tata Consultancy Services Ltd filed Critical Tata Consultancy Services Ltd
Publication of JP2015088191A publication Critical patent/JP2015088191A/ja
Publication of JP2015088191A5 publication Critical patent/JP2015088191A5/ja
Application granted granted Critical
Publication of JP6117760B2 publication Critical patent/JP6117760B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3698—Environments for analysis, debugging or testing of software
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

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)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
JP2014220658A 2013-10-31 2014-10-29 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法 Active JP6117760B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
IN3461MU2013 IN2013MU03461A (https=) 2013-10-31 2013-10-31
IN3461/MUM/2013 2013-10-31

Publications (3)

Publication Number Publication Date
JP2015088191A JP2015088191A (ja) 2015-05-07
JP2015088191A5 JP2015088191A5 (https=) 2017-02-16
JP6117760B2 true JP6117760B2 (ja) 2017-04-19

Family

ID=52996979

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2014220658A Active JP6117760B2 (ja) 2013-10-31 2014-10-29 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法

Country Status (3)

Country Link
US (1) US9201765B2 (https=)
JP (1) JP6117760B2 (https=)
IN (1) IN2013MU03461A (https=)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10474555B2 (en) * 2016-03-03 2019-11-12 Synopsys, Inc. Detecting errors for function calls with an implicit receiver object
US10747641B2 (en) * 2016-08-11 2020-08-18 Tata Consultancy Services Limited System and method for cause point analysis for effective handling of static analysis alarms
CN108897678B (zh) * 2018-06-20 2021-10-15 中国联合网络通信集团有限公司 静态代码检测方法和静态代码检测系统、存储设备
EP3588272B1 (en) * 2018-06-25 2021-03-10 Tata Consultancy Services Limited Method and system for repositioning of a plurality of static analysis alarms
JP7469999B2 (ja) 2020-09-10 2024-04-17 株式会社日立製作所 検索装置、検索方法、および検索プログラム
US11861389B2 (en) 2021-03-09 2024-01-02 Red Hat, Inc. Compiling a specified instruction from a first virtual application to a second virtual application
CN116342332B (zh) * 2023-05-31 2023-08-01 合肥工业大学 基于互联网的辅助审判方法、装置、设备及存储介质

Family Cites Families (26)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5313616A (en) * 1990-09-18 1994-05-17 88Open Consortium, Ltd. Method for analyzing calls of application program by inserting monitoring routines into the executable version and redirecting calls to the monitoring routines
JPH08272623A (ja) * 1995-04-03 1996-10-18 Toshiba Corp プログラム解析装置及びプログラム解析方法
US6128774A (en) * 1997-10-28 2000-10-03 Necula; George C. Safe to execute verification of software
JP3533098B2 (ja) * 1998-12-18 2004-05-31 富士通株式会社 プログラム解析装置および記録媒体
US6560774B1 (en) * 1999-09-01 2003-05-06 Microsoft Corporation Verifier to check intermediate language
US7140004B1 (en) * 2000-06-13 2006-11-21 Tellme Networks, Inc. Method and apparatus for zero-footprint phone application development
US6993751B2 (en) * 2001-05-14 2006-01-31 Microsoft Corporation Placing exception throwing instructions in compiled code
US7913232B2 (en) * 2003-02-21 2011-03-22 The Math Works, Inc. Certifying software for safety-critical systems
US7596778B2 (en) * 2003-07-03 2009-09-29 Parasoft Corporation Method and system for automatic error prevention for computer software
US7383541B1 (en) * 2003-08-07 2008-06-03 Cisco Technology, Inc. Method and apparatus providing interoperation of execution images of different versions
FR2864654B1 (fr) * 2003-12-30 2007-02-23 Trusted Logic Procede de determination de caracteristiques operationnelles d'un programme
US20070016894A1 (en) * 2005-07-15 2007-01-18 Sreedhar Vugranam C System and method for static analysis using fault paths
US8079037B2 (en) * 2005-10-11 2011-12-13 Knoa Software, Inc. Generic, multi-instance method and GUI detection system for tracking and monitoring computer applications
JP2008102831A (ja) * 2006-10-20 2008-05-01 Hitachi Ltd 情報提供装置、プログラム及び情報提供方法
US8924782B2 (en) * 2007-01-26 2014-12-30 The Trustees Of Columbia University In The City Of New York Systems, methods, and media for recovering an application from a fault or attack
US8122436B2 (en) * 2007-11-16 2012-02-21 Microsoft Corporation Privacy enhanced error reports
US8387015B2 (en) * 2008-01-31 2013-02-26 Microsoft Corporation Scalable automated empirical testing of media files on media players
WO2009095741A1 (en) 2008-02-01 2009-08-06 The Mathworks, Inc Selective code instrumentation for software verification
JP5170555B2 (ja) * 2008-10-14 2013-03-27 日本電気株式会社 エラートレース簡略化システム、エラートレース簡略化方法、及びプログラム
US8453116B2 (en) 2008-11-24 2013-05-28 Microsoft Corporation Efficient invariant inference for program verification
US8782607B2 (en) * 2009-02-20 2014-07-15 Microsoft Corporation Contract failure behavior with escalation policy
US8302086B2 (en) * 2009-12-18 2012-10-30 Oracle America, Inc. System and method for overflow detection using symbolic analysis
JP5556655B2 (ja) * 2010-12-28 2014-07-23 富士通株式会社 解析支援プログラム，解析支援装置および解析支援方法
EP2718820B1 (en) * 2011-06-08 2017-10-11 The MathWorks, Inc. Identifying and triaging software bugs through backward propagation of under-approximated values and empiric techniques
US8997065B2 (en) * 2011-12-06 2015-03-31 The Mathworks, Inc. Automatic modularization of source code
JP5335885B2 (ja) * 2011-12-26 2013-11-06 みずほ情報総研株式会社 解析結果評価システム、解析結果評価方法及び解析結果評価プログラム

Also Published As

Publication number Publication date
US20150121345A1 (en) 2015-04-30
JP2015088191A (ja) 2015-05-07
IN2013MU03461A (https=) 2015-07-17
US9201765B2 (en) 2015-12-01

Similar Documents

Publication Publication Date Title
JP6117760B2 (ja) 静的解析警告のユーザインタフェース使用可能レビューを促進するシステム及び方法
CN109376166B (zh) 脚本转换方法、装置、计算机设备及存储介质
US10642608B2 (en) Associating a visualization of user interface with source code
US8769501B2 (en) Method for analyzing changes in a software code and software analysis system
US10248547B2 (en) Coverage of call graphs based on paths and sequences
US20140053125A1 (en) Determining project status in a development environment
CA2909144A1 (en) A system and method for accessiblility assessment of a web application
US11113137B2 (en) Error incident fingerprinting with unique static identifiers
CN113014445B (zh) 用于服务器的运维方法、装置、平台及电子设备
CN114996265B (zh) 数据血缘关系获取方法、装置、设备和计算机程序产品
CN110399287B (zh) 应用测试的覆盖率收集方法及装置
US11734299B2 (en) Message templatization for log analytics
US9706005B2 (en) Providing automatable units for infrastructure support
US9733906B2 (en) User interface area coverage
US9946630B2 (en) Efficiently debugging software code
JP2015088191A5 (https=)
KR20130097252A (ko) 소스 코드 분석에 의한 응용 프로그램 분석을 위한 방법 및 장치
CN114138280A (zh) 一种程序分析方法、装置及电子设备
US10467206B2 (en) Data sampling in a storage system
US20230123573A1 (en) Automatic detection of seasonal pattern instances and corresponding parameters in multi-seasonal time series
CN114090514B (zh) 分布式系统的日志检索方法及装置
CN111290870B (zh) 一种检测异常的方法和装置
US9792202B2 (en) Identifying a configuration element value as a potential cause of a testing operation failure
US8761515B2 (en) Electronic device and method for creating measurement codes
US20240168872A1 (en) Graphical user interface and log analysis tool for analyzing log data to identify errors associated with application execution

Legal Events

Date Code Title Description
A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20151225

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160202

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20160502

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20160701

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20160711

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160927

A524 Written submission of copy of amendment under article 19 pct

Free format text: JAPANESE INTERMEDIATE CODE: A524

Effective date: 20161227

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20170307

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20170323

R150 Certificate of patent or registration of utility model

Ref document number: 6117760

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250