JP6627658B2 - ソフトウェアプログラムを修復する方法、記憶媒体及びシステム - Google Patents

ソフトウェアプログラムを修復する方法、記憶媒体及びシステム Download PDF

Info

Publication number
JP6627658B2
JP6627658B2 JP2016125499A JP2016125499A JP6627658B2 JP 6627658 B2 JP6627658 B2 JP 6627658B2 JP 2016125499 A JP2016125499 A JP 2016125499A JP 2016125499 A JP2016125499 A JP 2016125499A JP 6627658 B2 JP6627658 B2 JP 6627658B2
Authority
JP
Japan
Prior art keywords
program
software program
condition
control flow
flow graph
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
JP2016125499A
Other languages
English (en)
Japanese (ja)
Other versions
JP2017045446A5 (enExample
JP2017045446A (ja
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.)
Fujitsu Ltd
Original Assignee
Fujitsu 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 Fujitsu Ltd filed Critical Fujitsu Ltd
Publication of JP2017045446A publication Critical patent/JP2017045446A/ja
Publication of JP2017045446A5 publication Critical patent/JP2017045446A5/ja
Application granted granted Critical
Publication of JP6627658B2 publication Critical patent/JP6627658B2/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/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • 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
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/71—Version control; Configuration management

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computer Security & Cryptography (AREA)
  • Debugging And Monitoring (AREA)
JP2016125499A 2015-08-25 2016-06-24 ソフトウェアプログラムを修復する方法、記憶媒体及びシステム Active JP6627658B2 (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US14/835,561 US10152406B2 (en) 2015-08-25 2015-08-25 Software program repair
US14/835,561 2015-08-25

Publications (3)

Publication Number Publication Date
JP2017045446A JP2017045446A (ja) 2017-03-02
JP2017045446A5 JP2017045446A5 (enExample) 2019-03-14
JP6627658B2 true JP6627658B2 (ja) 2020-01-08

Family

ID=58104176

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2016125499A Active JP6627658B2 (ja) 2015-08-25 2016-06-24 ソフトウェアプログラムを修復する方法、記憶媒体及びシステム

Country Status (2)

Country Link
US (1) US10152406B2 (enExample)
JP (1) JP6627658B2 (enExample)

Families Citing this family (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9823994B2 (en) * 2015-12-22 2017-11-21 International Business Machines Corporation Dynamically identifying performance anti-patterns
US20170212829A1 (en) * 2016-01-21 2017-07-27 American Software Safety Reliability Company Deep Learning Source Code Analyzer and Repairer
US10706351B2 (en) 2016-08-30 2020-07-07 American Software Safety Reliability Company Recurrent encoder and decoder
US10802945B2 (en) * 2016-12-07 2020-10-13 Ab Initio Technology Llc Differencing of executable dataflow graphs
US20180240356A1 (en) * 2017-02-21 2018-08-23 Microsoft Technology Licensing, Llc Data-driven feedback generator for programming assignments
US10678673B2 (en) * 2017-07-12 2020-06-09 Fujitsu Limited Software program fault localization
US10268572B2 (en) 2017-08-03 2019-04-23 Fujitsu Limited Interactive software program repair
US10496459B2 (en) 2017-11-24 2019-12-03 Fujitsu Limited Automated software program repair candidate selection
US10606570B2 (en) * 2018-03-08 2020-03-31 Fujitsu Limited Representing software with an abstract code graph
US10664383B2 (en) * 2018-08-22 2020-05-26 Fujitsu Limited Automated software program repair of similar code snippets
US10761962B1 (en) * 2019-02-07 2020-09-01 Fujitsu Limited Automated software program repair
KR102610756B1 (ko) * 2019-02-11 2023-12-07 현대자동차주식회사 소프트웨어 테스트를 위한 테스트케이스 관리 장치 및 관리 방법
CN109976799B (zh) * 2019-02-19 2022-07-08 武大吉奥信息技术有限公司 一种基于树形结构软件配置模型的实现方法及装置
CN113282514B (zh) * 2021-06-28 2023-08-15 中国平安人寿保险股份有限公司 问题数据的处理方法、装置、计算机设备和存储介质
KR102525344B1 (ko) * 2021-10-06 2023-04-24 고려대학교 산학협력단 프로그램을 피드백 하는 방법

Family Cites Families (18)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH04270418A (ja) * 1991-02-26 1992-09-25 Hitachi Ltd 比較結果表示方式
JPH11296366A (ja) * 1998-04-07 1999-10-29 Nec Corp エラー検出装置及びエラー検出方法及び記録媒体
US6530079B1 (en) * 1999-06-02 2003-03-04 International Business Machines Corporation Method for optimizing locks in computer programs
US6851105B1 (en) * 1999-10-05 2005-02-01 Borland Software Corporation Method and system for generating, applying, and defining a pattern
US6748584B1 (en) * 1999-12-29 2004-06-08 Veritas Operating Corporation Method for determining the degree to which changed code has been exercised
US7058941B1 (en) * 2000-11-14 2006-06-06 Microsoft Corporation Minimum delta generator for program binaries
JP2008250914A (ja) * 2007-03-30 2008-10-16 Canon Software Inc プログラム修正装置及び方法、並びにプログラム
JP5067317B2 (ja) * 2008-08-27 2012-11-07 富士通株式会社 検証支援プログラム、検証支援装置、および検証支援方法
US9336331B2 (en) * 2010-04-26 2016-05-10 Ca, Inc. Detecting, using, and sharing it design patterns and anti-patterns
CN101866317B (zh) * 2010-06-29 2012-07-25 南京大学 一种基于聚类分析的回归测试用例选择方法
WO2012105593A1 (ja) * 2011-02-01 2012-08-09 日本電気株式会社 データフローグラフ処理装置、データフローグラフ処理方法およびデータフローグラフ処理プログラム
US20130055221A1 (en) * 2011-08-26 2013-02-28 Fujitsu Limited Detecting Errors in Javascript Software Using a Control Flow Graph
US9146709B2 (en) * 2012-06-08 2015-09-29 Massively Parallel Technologies, Inc. System and method for automatic detection of decomposition errors
US20130339929A1 (en) * 2012-06-14 2013-12-19 Microsoft Corporation Program repair
US20140089738A1 (en) * 2012-09-27 2014-03-27 Tata Consultancy Services Limited System and method for identifying source of run-time execution failure
US9361102B2 (en) * 2014-06-09 2016-06-07 Lehigh University Methods for enforcing control flow of a computer program
US9983975B2 (en) * 2014-12-29 2018-05-29 International Business Machines Corporation Fixing anti-patterns in javascript
US10241891B2 (en) * 2015-06-29 2019-03-26 International Business Machines Corporation Dynamic ranking of performance issues for applications

Also Published As

Publication number Publication date
US20170060735A1 (en) 2017-03-02
US10152406B2 (en) 2018-12-11
JP2017045446A (ja) 2017-03-02

Similar Documents

Publication Publication Date Title
JP6627658B2 (ja) ソフトウェアプログラムを修復する方法、記憶媒体及びシステム
US10296447B2 (en) Automated software program repair
JP6878933B2 (ja) ソフトウエアプログラムの修復のための方法及びプログラム
US8589892B2 (en) Verification of speculative execution
JP7110789B2 (ja) 自動化されたソフトウェアプログラム修復候補の選択
JP2017045446A5 (enExample)
US20150143179A1 (en) System and Method for Progressive Fault Injection Testing
US10664383B2 (en) Automated software program repair of similar code snippets
US10268572B2 (en) Interactive software program repair
JP6891703B2 (ja) 自動ソフトウェアプログラム修復
JP7318516B2 (ja) コンピュータ可読プログラム検査のための入力の生成
US10761962B1 (en) Automated software program repair
JP7384054B2 (ja) 自動化されたソフトウェアプログラム修復
JP7748775B2 (ja) ワークフローのためのテスト・ハーネスを自動的に作成し、実行する方法、コンピュータ可読プログラムおよびコンピュータ可読記憶媒体
JP6723483B2 (ja) テストケース生成装置、テストケース生成方法およびテストケース生成プログラム
JP5464031B2 (ja) プログラム検証装置、方法及びプログラム
US12259980B2 (en) Method for verifying implementation of security policy, storage medium, computer program, and processing circuit
WO2012103955A1 (en) A system and a method for analyzing a piece of code
US11740895B2 (en) Generation of software program repair explanations
CN106020913A (zh) 一种缺陷检测工具更新方法及装置
Aoki et al. A Method for Detecting Defects in Source Codes Using Model Checking Techniques
CN113971042A (zh) 自动化软件程序修复

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20190128

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20190128

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20191016

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: 20191105

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20191118

R150 Certificate of patent or registration of utility model

Ref document number: 6627658

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150