WO2008129619A1 - ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 - Google Patents
ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 Download PDFInfo
- Publication number
- WO2008129619A1 WO2008129619A1 PCT/JP2007/057852 JP2007057852W WO2008129619A1 WO 2008129619 A1 WO2008129619 A1 WO 2008129619A1 JP 2007057852 W JP2007057852 W JP 2007057852W WO 2008129619 A1 WO2008129619 A1 WO 2008129619A1
- Authority
- WO
- WIPO (PCT)
- Prior art keywords
- review
- source program
- history
- program review
- predetermined
- Prior art date
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/3604—Software analysis for verifying properties of programs
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Debugging And Monitoring (AREA)
Abstract
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2009510657A JP5056849B2 (ja) | 2007-04-09 | 2007-04-09 | ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 |
CN2007800524946A CN101641678B (zh) | 2007-04-09 | 2007-04-09 | 源程序再次研究方法及源程序再次研究装置 |
PCT/JP2007/057852 WO2008129619A1 (ja) | 2007-04-09 | 2007-04-09 | ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 |
US12/571,843 US20100037209A1 (en) | 2007-04-09 | 2009-10-01 | Source program review program, source program review method, and source program review device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2007/057852 WO2008129619A1 (ja) | 2007-04-09 | 2007-04-09 | ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US12/571,843 Continuation US20100037209A1 (en) | 2007-04-09 | 2009-10-01 | Source program review program, source program review method, and source program review device |
Publications (1)
Publication Number | Publication Date |
---|---|
WO2008129619A1 true WO2008129619A1 (ja) | 2008-10-30 |
Family
ID=39875167
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PCT/JP2007/057852 WO2008129619A1 (ja) | 2007-04-09 | 2007-04-09 | ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 |
Country Status (4)
Country | Link |
---|---|
US (1) | US20100037209A1 (ja) |
JP (1) | JP5056849B2 (ja) |
CN (1) | CN101641678B (ja) |
WO (1) | WO2008129619A1 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013020519A (ja) * | 2011-07-13 | 2013-01-31 | Fuji Electric Co Ltd | プログラム改善支援システム |
JP2013045307A (ja) * | 2011-08-24 | 2013-03-04 | Nec Corp | 静的解析システム、静的解析結果表示方法及びプログラム |
JP2018140760A (ja) * | 2017-02-28 | 2018-09-13 | 本田技研工業株式会社 | 設計支援システム、設計支援方法、及びプログラム |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8627286B2 (en) * | 2010-03-26 | 2014-01-07 | Oracle International Corporation | Fully declarative build system for build optimization |
US20110271253A1 (en) * | 2010-04-28 | 2011-11-03 | International Business Machines Corporation | Enhancing functional tests coverage using traceability and static analysis |
WO2013058393A1 (ja) * | 2011-10-18 | 2013-04-25 | 日本電気株式会社 | 異常検出装置、プログラム、及び、方法 |
US20130311440A1 (en) * | 2012-05-15 | 2013-11-21 | International Business Machines Corporation | Comparison search queries |
US9158518B2 (en) * | 2013-03-11 | 2015-10-13 | Blackberry Limited | Collaborative application development environment using a connected device |
US9773264B2 (en) | 2013-03-26 | 2017-09-26 | Blackberry Limited | Method for providing composite user interface controls and an online storefront for same |
US10127506B2 (en) * | 2015-08-07 | 2018-11-13 | International Business Machines Corporation | Determining users for limited product deployment based on review histories |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004126866A (ja) * | 2002-10-01 | 2004-04-22 | Mitsubishi Electric Corp | 記述出力抑制プログラム解析装置及び記述出力抑制プログラム解析方法 |
JP2005190330A (ja) * | 2003-12-26 | 2005-07-14 | Matsushita Electric Ind Co Ltd | ソースプログラムのレビュー支援システム |
JP2006178511A (ja) * | 2004-12-20 | 2006-07-06 | Fujitsu Ltd | ソフトウェア変更トレーサビリティ管理装置 |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6216140B1 (en) * | 1997-09-17 | 2001-04-10 | Hewlett-Packard Company | Methodology for the efficient management of hierarchically organized information |
US7071934B1 (en) * | 1998-03-20 | 2006-07-04 | International Business Machines Corp. | Method and apparatus for visually-oriented navigation of compared object versions |
JPH11327879A (ja) * | 1998-05-15 | 1999-11-30 | Fujitsu Ltd | 変数検索装置及び方法並びに変数検索プログラムを記録したコンピュータ読取り可能な記録媒体 |
US6658626B1 (en) * | 1998-07-31 | 2003-12-02 | The Regents Of The University Of California | User interface for displaying document comparison information |
US7194679B1 (en) * | 1998-10-20 | 2007-03-20 | International Business Machines Corporation | Web-based file review system utilizing source and comment files |
CN100430891C (zh) * | 2000-10-04 | 2008-11-05 | 西门子能量及自动化公司 | 用于制造系统软件版本管理的系统和方法 |
US7152224B1 (en) * | 2000-11-21 | 2006-12-19 | Microsoft Corporation | Versioned project associations |
US6910204B1 (en) * | 2001-04-13 | 2005-06-21 | Unisys Corporation | Software development methodology including creation of focus areas and decomposition of same to create use cases |
US6662198B2 (en) * | 2001-08-30 | 2003-12-09 | Zoteca Inc. | Method and system for asynchronous transmission, backup, distribution of data and file sharing |
US20060106889A1 (en) * | 2004-11-12 | 2006-05-18 | Mannby Claes-Fredrik U | Method, system, and program for managing revisions to a file |
US20080120598A1 (en) * | 2006-11-20 | 2008-05-22 | Viewtier Systems, Inc. | Method and apparatus of a build management system |
WO2009011056A1 (ja) * | 2007-07-19 | 2009-01-22 | Fujitsu Limited | アプリケーション改善支援プログラム、アプリケーション改善支援方法およびアプリケーション改善支援装置 |
KR101484680B1 (ko) * | 2007-10-04 | 2015-01-21 | 삼성전자 주식회사 | 컴포넌트 기반 소프트웨어 제품 관리 시스템 및 방법 |
US20090158250A1 (en) * | 2007-12-18 | 2009-06-18 | International Business Machines Corporation | Systems, methods and computer program products for operation history management for hpc programs optimization |
US8312430B2 (en) * | 2008-08-27 | 2012-11-13 | International Business Machines Corporation | Guarding code check-in with test case execution results |
US9514103B2 (en) * | 2010-02-05 | 2016-12-06 | Palo Alto Research Center Incorporated | Effective system and method for visual document comparison using localized two-dimensional visual fingerprints |
US9176828B2 (en) * | 2012-09-04 | 2015-11-03 | Opshub, Inc. | System and method for merging results from multiple runs based on run inputs |
-
2007
- 2007-04-09 JP JP2009510657A patent/JP5056849B2/ja not_active Expired - Fee Related
- 2007-04-09 CN CN2007800524946A patent/CN101641678B/zh not_active Expired - Fee Related
- 2007-04-09 WO PCT/JP2007/057852 patent/WO2008129619A1/ja active Application Filing
-
2009
- 2009-10-01 US US12/571,843 patent/US20100037209A1/en not_active Abandoned
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2004126866A (ja) * | 2002-10-01 | 2004-04-22 | Mitsubishi Electric Corp | 記述出力抑制プログラム解析装置及び記述出力抑制プログラム解析方法 |
JP2005190330A (ja) * | 2003-12-26 | 2005-07-14 | Matsushita Electric Ind Co Ltd | ソースプログラムのレビュー支援システム |
JP2006178511A (ja) * | 2004-12-20 | 2006-07-06 | Fujitsu Ltd | ソフトウェア変更トレーサビリティ管理装置 |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013020519A (ja) * | 2011-07-13 | 2013-01-31 | Fuji Electric Co Ltd | プログラム改善支援システム |
JP2013045307A (ja) * | 2011-08-24 | 2013-03-04 | Nec Corp | 静的解析システム、静的解析結果表示方法及びプログラム |
JP2018140760A (ja) * | 2017-02-28 | 2018-09-13 | 本田技研工業株式会社 | 設計支援システム、設計支援方法、及びプログラム |
Also Published As
Publication number | Publication date |
---|---|
JPWO2008129619A1 (ja) | 2010-07-22 |
CN101641678B (zh) | 2012-03-21 |
CN101641678A (zh) | 2010-02-03 |
US20100037209A1 (en) | 2010-02-11 |
JP5056849B2 (ja) | 2012-10-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2008129619A1 (ja) | ソースプログラム再検討プログラム、ソースプログラム再検討方法およびソースプログラム再検討装置 | |
WO2012135229A3 (en) | Conversational dialog learning and correction | |
WO2009072103A3 (en) | Flash memory apparatus and methods using a plurality of decoding stages including optional use of concatenated bch codes | |
WO2007133626A3 (en) | System of customizing and presenting internet content to associate advertising therewith | |
WO2008131143A3 (en) | Dynamically configurable and re-configurable data path | |
WO2007016628A3 (en) | Definition extraction | |
EP2557522A3 (en) | Software part validation using hash values | |
WO2011084998A3 (en) | Word-level correction of speech input | |
WO2012178019A3 (en) | Multi-level, hash-based device integrity checks | |
EP2677518A3 (en) | Method for providing voice recognition function and electronic device thereof | |
WO2010101869A3 (en) | System and method for account level blocking | |
GB201307409D0 (en) | Systems and methods for providing data-driven document suggestions | |
WO2010039519A3 (en) | Methods and apparatus related to document processing based on a document type | |
WO2008063647A3 (en) | Delaying an operation that reduces a lifetime of memory | |
GB201118864D0 (en) | Screen capture | |
WO2013081781A3 (en) | System and method for determining user language intent | |
WO2010138861A3 (en) | Contextual content targeting | |
WO2009013132A3 (de) | Verfahren und vorrichtung zum überprüfen der integrität von in einem vorbestimmten speicherbereich eines speichers gespeicherten daten | |
WO2007126548A3 (en) | Adaptive mission profiling | |
WO2012094551A8 (en) | Method and apparatus for updating a database in a receiving device | |
WO2009053335A3 (en) | Electronic currency, method for handling such a currency and electronic currency handling system | |
WO2012015503A3 (en) | Methods and system for verifying memory device integrity | |
WO2010016057A3 (en) | Performing a pre-update on a non volatile memory | |
WO2011106197A3 (en) | Rule-based system and method to associate attributes to text strings | |
WO2008063407A3 (en) | Method and system for associating one or more contents with an electronic page |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
WWE | Wipo information: entry into national phase |
Ref document number: 200780052494.6 Country of ref document: CN |
|
121 | Ep: the epo has been informed by wipo that ep was designated in this application |
Ref document number: 07741288 Country of ref document: EP Kind code of ref document: A1 |
|
ENP | Entry into the national phase |
Ref document number: 2009510657 Country of ref document: JP Kind code of ref document: A |
|
NENP | Non-entry into the national phase |
Ref country code: DE |
|
122 | Ep: pct application non-entry in european phase |
Ref document number: 07741288 Country of ref document: EP Kind code of ref document: A1 |