JP4183192B2 - アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置 - Google Patents

アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置 Download PDF

Info

Publication number
JP4183192B2
JP4183192B2 JP2004380298A JP2004380298A JP4183192B2 JP 4183192 B2 JP4183192 B2 JP 4183192B2 JP 2004380298 A JP2004380298 A JP 2004380298A JP 2004380298 A JP2004380298 A JP 2004380298A JP 4183192 B2 JP4183192 B2 JP 4183192B2
Authority
JP
Japan
Prior art keywords
inconsistency
information
server object
data flow
processing apparatus
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.)
Expired - Fee Related
Application number
JP2004380298A
Other languages
English (en)
Japanese (ja)
Other versions
JP2006185324A (ja
JP2006185324A5 (enExample
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.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
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 International Business Machines Corp filed Critical International Business Machines Corp
Priority to JP2004380298A priority Critical patent/JP4183192B2/ja
Priority to US11/318,718 priority patent/US7886276B2/en
Publication of JP2006185324A publication Critical patent/JP2006185324A/ja
Publication of JP2006185324A5 publication Critical patent/JP2006185324A5/ja
Application granted granted Critical
Publication of JP4183192B2 publication Critical patent/JP4183192B2/ja
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

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/3604—Analysis of software 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)
JP2004380298A 2004-12-28 2004-12-28 アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置 Expired - Fee Related JP4183192B2 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2004380298A JP4183192B2 (ja) 2004-12-28 2004-12-28 アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置
US11/318,718 US7886276B2 (en) 2004-12-28 2005-12-27 Application program development assisting method, program, and information processing apparatus

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2004380298A JP4183192B2 (ja) 2004-12-28 2004-12-28 アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置

Publications (3)

Publication Number Publication Date
JP2006185324A JP2006185324A (ja) 2006-07-13
JP2006185324A5 JP2006185324A5 (enExample) 2008-01-31
JP4183192B2 true JP4183192B2 (ja) 2008-11-19

Family

ID=36738378

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2004380298A Expired - Fee Related JP4183192B2 (ja) 2004-12-28 2004-12-28 アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置

Country Status (2)

Country Link
US (1) US7886276B2 (enExample)
JP (1) JP4183192B2 (enExample)

Families Citing this family (29)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8078954B2 (en) * 2005-09-27 2011-12-13 Oracle International Corporation System and method for page flow editor
US20070083853A1 (en) * 2005-09-27 2007-04-12 Bea Systems, Inc. System and method for declarative validation rule editor
US9336015B2 (en) * 2005-09-27 2016-05-10 Oracle International Corporation System and method for action output/page input mismatch detection and resolution
US8499293B1 (en) * 2005-09-28 2013-07-30 Oracle America, Inc. Symbolic renaming optimization of a trace
EP2092424B1 (en) * 2006-10-19 2015-12-30 Checkmarx Ltd. Locating security vulnerabilities in source code
US8904341B2 (en) * 2007-04-30 2014-12-02 Hewlett-Packard Development Company, L.P. Deriving grounded model of business process suitable for automatic deployment
JP2009009362A (ja) * 2007-06-28 2009-01-15 Hitachi Information Systems Ltd プログラムの変数管理システム
US8607197B2 (en) * 2007-08-28 2013-12-10 International Business Machines Corporation Displaying HTTP session entry and exit points
WO2009082388A1 (en) * 2007-12-20 2009-07-02 Hewlett-Packard Development Company, L.P. Modelling computer based business process for customisation and delivery
BRPI0722218A2 (pt) * 2007-12-20 2014-07-01 Hewlett Packard Development Co Método para gerar um modelo representando pelo menos parte de um processo de negócio baseado em computador tendo um número de etapas funcionais, software em um meio lido por máquina e sistema para gerar um modelo representando pelo menos parte de um processo de negócio baseado em computador tendo um número de etapas funcionais
CN101946258B (zh) * 2007-12-20 2013-05-29 惠普开发有限公司 基于计算机的业务过程在专用硬件上的基于模型的部署
US8200578B2 (en) * 2008-07-09 2012-06-12 Hill Matthew D Methods and systems for account management and virtual agent design and implementation
US8312419B2 (en) * 2008-10-30 2012-11-13 Hewlett-Packard Development Company, L.P. Automated lifecycle management of a computer implemented service
US8645923B1 (en) * 2008-10-31 2014-02-04 Symantec Corporation Enforcing expected control flow in program execution
US8799852B2 (en) * 2009-05-18 2014-08-05 National Instruments Corporation Providing online graphical data flow web application tools or services for charge
US8468512B2 (en) * 2009-10-30 2013-06-18 International Business Machines Corporation Abstracting benefit rules from computer code
US8627286B2 (en) * 2010-03-26 2014-01-07 Oracle International Corporation Fully declarative build system for build optimization
JP5303795B2 (ja) * 2010-06-02 2013-10-02 株式会社日立製作所 アプリケーションの解析方法、解析システム及び解析プログラム
US8316314B2 (en) * 2010-06-30 2012-11-20 Thermo Electron Scientific Instruments Llc Intelligent multi-functional macros language for analytical measurements
US9104795B2 (en) * 2011-06-28 2015-08-11 International Business Machines Corporation Integrating compiler warnings into a debug session
CN102306098A (zh) * 2011-08-18 2012-01-04 电子科技大学 一种隐式污点传播系统及其方案
US20130179863A1 (en) * 2012-01-11 2013-07-11 Microsoft Corporation Bug variant detection using program analysis and pattern identification
US20130219311A1 (en) * 2012-02-20 2013-08-22 International Business Machines Corporation Displaying association information of multiple graphic objects in a graphical user interface
US11397520B2 (en) 2013-08-01 2022-07-26 Yogesh Chunilal Rathod Application program interface or page processing method and device
WO2015015251A1 (en) * 2013-08-01 2015-02-05 Yogesh Chunilal Rathod Presenting plurality types of interfaces and functions for conducting various activities
US11087002B2 (en) 2017-05-10 2021-08-10 Checkmarx Ltd. Using the same query language for static and dynamic application security testing tools
WO2020230241A1 (ja) * 2019-05-13 2020-11-19 日本電信電話株式会社 テスト装置、テスト方法及びプログラム
EP3945441B1 (en) 2020-07-28 2024-09-04 Checkmarx Ltd. Detecting exploitable paths in application software that uses third-party libraries
US12131136B2 (en) * 2021-04-17 2024-10-29 Aidin NASIRISHARGH Virtual keyboard for writing programming codes in electronic device

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0869380A (ja) * 1994-08-29 1996-03-12 Fujitsu Ltd ソースプログラムチェック装置
US7430670B1 (en) * 1999-07-29 2008-09-30 Intertrust Technologies Corp. Software self-defense systems and methods
US6745383B1 (en) * 1999-12-29 2004-06-01 Veritas Operating Corporation Early warning mechanism for enhancing enterprise availability
JP2001344105A (ja) 2000-03-31 2001-12-14 Hitachi Software Eng Co Ltd Ｗｅｂアプリケーション開発方法、開発支援システム、および該方法に係るプログラムを記憶した記憶媒体
JP2001344205A (ja) 2000-05-31 2001-12-14 Nippon Telegr & Teleph Corp <Ntt> サービス提供システムおよびサービス提供方法ならびに記録媒体
US6829758B1 (en) * 2000-07-14 2004-12-07 Nokia Internet Communications, Inc. Interface markup language and method for making application code
JP2003015870A (ja) 2001-06-28 2003-01-17 Hitachi Software Eng Co Ltd Ｗｅｂアプリケーション開発方法および開発支援装置
US7426717B1 (en) * 2001-11-27 2008-09-16 Adobe Systems Incorporated System and method for debugging files in a runtime environment
US7418734B2 (en) * 2003-04-18 2008-08-26 Ounce Labs, Inc. Method and system for detecting privilege escalation vulnerabilities in source code
US20050015752A1 (en) * 2003-07-15 2005-01-20 International Business Machines Corporation Static analysis based error reduction for software applications
US7526755B2 (en) * 2003-10-08 2009-04-28 Microsoft Corporation Plug-in pre- and postconditions for static program analysis
US7975306B2 (en) * 2004-06-04 2011-07-05 Hewlett-Packard Development Company, L.P. Apparatus and method for monitoring secure software
US7617486B2 (en) * 2004-10-19 2009-11-10 Ebay, Inc. Method and system to automate software testing using sniffer side and browser side recording and a toolbar interface
US7991755B2 (en) * 2004-12-17 2011-08-02 International Business Machines Corporation Dynamically ranking nodes and labels in a hyperlinked database

Also Published As

Publication number Publication date
US7886276B2 (en) 2011-02-08
JP2006185324A (ja) 2006-07-13
US20090183141A1 (en) 2009-07-16

Similar Documents

Publication Publication Date Title
JP4183192B2 (ja) アプリケーション・プログラムの開発支援方法、プログラム、情報処理装置
US8359576B2 (en) Using symbolic execution to check global temporal requirements in an application
KR101645052B1 (ko) 디버깅 파이프라인
US8261233B2 (en) System and method for synchronized workflow management
JP4148527B2 (ja) 機能テスト・スクリプト生成装置
US7607066B2 (en) Auto suggestion of coding error correction
US8533666B2 (en) Interactive design environments to visually model, debug and execute resource oriented programs
US9535821B1 (en) Displaying violated coding rules in source code
US7493597B2 (en) System and method for model based generation of application programming interface test code
CN112527382B (zh) 部署流水线引擎系统的方法、持续集成的方法及装置
US8661416B2 (en) Method and apparatus for defining and instrumenting reusable Java server page code snippets for website testing and production
US20120110384A1 (en) Source Identification of Compliance Errors in a Web Page with Custom Widgets
JP4023803B2 (ja) ウェブアプリケーション開発支援装置、データ処理方法及びプログラム
US8201143B2 (en) Dynamic mating of a modified user interface with pre-modified user interface code library
US20110055744A1 (en) Visual Linking of Elements to Model Attributes
US8898649B2 (en) Application program analysis method, analysis system and recording medium for identifying a contributing factor for an invalid operation of an application program
WO2011152980A2 (en) Static analysis using interactive and integration tools
EP1861776A2 (en) Apparatus for analysing and organizing artifacts in a software application
US20150317288A1 (en) Method and system to maintain a web page
US20190052542A1 (en) System and method for providing visualizations of computing infrastructure using a domain-specific language for cloud services infrastructure
Singh Ajax asynchronous database refresh
CN119759472B (zh) 单页面应用路由方法、装置、计算机设备及存储介质
TWI903292B (zh) 網頁應用程式組建方法
US20250284468A1 (en) Techniques for supporting content creation in developer environments
JP2014106770A (ja) 型チェック装置、型チェック方法および型チェックプログラム

Legal Events

Date Code Title Description
A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20071210

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20071210

A871 Explanation of circumstances concerning accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A871

Effective date: 20071221

A975 Report on accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A971005

Effective date: 20080116

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20080129

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20080229

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20080610

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20080711

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

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

RD14 Notification of resignation of power of sub attorney

Free format text: JAPANESE INTERMEDIATE CODE: A7434

Effective date: 20080827

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20080829

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20110912

Year of fee payment: 3

R150 Certificate of patent or registration of utility model

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20120912

Year of fee payment: 4

LAPS Cancellation because of no payment of annual fees