JP2017045446A5 - - Google Patents

Download PDF

Info

Publication number
JP2017045446A5
JP2017045446A5 JP2016125499A JP2016125499A JP2017045446A5 JP 2017045446 A5 JP2017045446 A5 JP 2017045446A5 JP 2016125499 A JP2016125499 A JP 2016125499A JP 2016125499 A JP2016125499 A JP 2016125499A JP 2017045446 A5 JP2017045446 A5 JP 2017045446A5
Authority
JP
Japan
Prior art keywords
program
software program
condition
loop
expression
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.)
Granted
Application number
JP2016125499A
Other languages
English (en)
Japanese (ja)
Other versions
JP6627658B2 (ja
JP2017045446A (ja
Filing date
Publication date
Priority claimed from US14/835,561 external-priority patent/US10152406B2/en
Application filed filed Critical
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

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 true JP2017045446A5 (enExample) 2019-03-14
JP6627658B2 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

Similar Documents

Publication Publication Date Title
JP2017045446A5 (enExample)
JP6627658B2 (ja) ソフトウェアプログラムを修復する方法、記憶媒体及びシステム
CN107885999B (zh) 一种基于深度学习的漏洞检测方法及系统
US12474905B2 (en) Detecting vulnerabilities to fault injection in computer code using machine learning
US9823913B2 (en) Method of adding local variables in place of global in JavaScript
JP2017062780A (ja) 誤検出の効率的な排除に基づく静的解析
CN107038380A (zh) 一种基于程序特征树的漏洞检测方法及系统
CN104021084A (zh) 一种Java源代码缺陷检测方法及装置
CN101937396B (zh) 软件程序中变量的不安全使用的检测方法
CN111104335A (zh) 一种基于多层次分析的c语言缺陷检测方法及装置
KR101645019B1 (ko) 소프트웨어 보안취약점 검출을 위한 규칙명세언어
Xue et al. Clone-slicer: Detecting domain specific binary code clones through program slicing
US20170091073A1 (en) Detection of antipatterns through statistical analysis
CN104536810A (zh) 一种基于栈的异常检测方法和装置
JP2017538996A5 (enExample)
CN105389262A (zh) 一种针对界面测试生成测试建议的方法和装置
CN115269427A (zh) 针对web注入漏洞的中间语言表示方法及系统
CN101901184B (zh) 检查应用程序漏洞的方法、装置和系统
EP2107484A2 (en) A method and device for code audit
CN102819490A (zh) 一种基于给定缺陷描述信息进行软件测试的方法及系统
JP2015026262A5 (enExample)
JP6559376B2 (ja) テストケース選択装置およびテストケース選択プログラム
CN111382059A (zh) 代码质量评价方法及系统
CN103116543B (zh) 白黑盒结合的Web应用安全检测方法
US8166444B2 (en) Clock gating using abstraction refinement