JP2006185324A5 - - Google Patents

Download PDF

Info

Publication number
JP2006185324A5
JP2006185324A5 JP2004380298A JP2004380298A JP2006185324A5 JP 2006185324 A5 JP2006185324 A5 JP 2006185324A5 JP 2004380298 A JP2004380298 A JP 2004380298A JP 2004380298 A JP2004380298 A JP 2004380298A JP 2006185324 A5 JP2006185324 A5 JP 2006185324A5
Authority
JP
Japan
Prior art keywords
processing apparatus
information processing
inconsistency
application program
information
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
JP2004380298A
Other languages
English (en)
Other versions
JP2006185324A (ja
JP4183192B2 (ja
Filing date
Publication date
Application filed filed Critical
Priority to JP2004380298A priority Critical patent/JP4183192B2/ja
Priority claimed from JP2004380298A external-priority 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
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Claims (22)

  1. アプリケーション・プログラムの画面遷移の設計について、整合性を検出する情報処理装置であって、
    前記アプリケーション・プログラムの制御フローグラフを作成する制御フローグラフ作成部と、
    前記制御フローグラフに基づいて、前記アプリケーション・プログラムで発生するデータフロー問題の解を算出するデータフロー解析部と、
    前記算出した解に基づいて、前記アプリケーション・プログラムの不整合を検出する不整合検出部と、
    前記検出した不整合に関する情報を表示する出力部と、
    を備えることを特徴とする情報処理装置。
  2. 請求項１に記載の情報処理装置であって、
    前記不整合検出部は、前記アプリケーション・プログラムのサーバ・オブジェクトに対する不整合を検出する情報処理装置。
  3. 請求項１に記載の情報処理装置であって、
    前記不整合に関する情報に基づいて、この不整合を修正する情報を提示する修正部を備えることを特徴とする情報処理装置。
  4. 請求項３に記載の情報処理装置であって、
    前記修正部は、ユーザからの修正に関する入力を受けつけ、この入力された修正内容に応答して、前記不整合を修正することを特徴とする情報処理装置。
  5. 請求項２に記載の情報処理装置であって、
    前記不整合検出部は、存在しないサーバ・オブジェクトへの参照を検出する情報処理装置。
  6. 請求項２に記載の情報処理装置であって、
    前記不整合検出部は、サーバ・オブジェクトの種類が異なることを検出する情報処理装置。
  7. 請求項２に記載の情報処理装置であって、
    前記不整合検出部は、余分なサーバ・オブジェクトの生成があることを検出する情報処理装置。
  8. 請求項２に記載の情報処理装置であって、
    前記不整合検出部は、どこからも参照されないサーバ・オブジェクトが存在することを検出する情報処理装置。
  9. 請求項１に記載の情報処理装置であって、
    前記制御フローグラフ作成部は、前記画面遷移の画面の情報となるページのノードと、次の画面に遷移するかを選択させるアクションのノードと、このアクションの結果となるアクション・リザルトのノードと、から構成される制御フローグラフを形成することを特徴とする情報処理装置。
  10. 請求項１に記載の情報処理装置であって、
    前記データフロー解析部は、前記データフロー問題として、到達する定義の問題の解を算出する情報処理装置。
  11. 請求項１に記載の情報処理装置であって、
    前記データフロー解析部は、前記データフロー問題として、使用可能なサーバ・オブジェクトを算出する情報処理装置。
  12. 請求項１に記載の情報処理装置であって、
    前記データフロー解析部は、前記データフロー問題として、参照される可能性があるサーバ・オブジェクトを算出する情報処理装置。
  13. アプリケーション・プログラムの画面遷移の設計について、整合性を検出する方法であって、
    前記アプリケーション・プログラムの制御フローグラフを作成する制御フローグラフ作成段階と、
    前記制御フローグラフに基づいて、前記アプリケーション・プログラムで発生するデータフロー問題の解を算出するデータフロー解析段階と、
    前記算出した解に基づいて、前記アプリケーション・プログラムの不整合を検出する不整合検出段階と、
    検出した不整合に関する情報を表示する表示段階と、
    を備えることを特徴とする方法。
  14. 請求項１３に記載の方法であって、
    前記不整合検出段階では、前記アプリケーション・プログラムのサーバ・オブジェクトに対する不整合を検出する方法。
  15. 請求項１３に記載の方法であって、
    前記不整合に関する情報に基づいて、この不整合を修正する情報を提示する修正段階を備えることを特徴とする方法。
  16. 請求項１５に記載の方法であって、
    前記修正段階は、ユーザからの修正に関する入力を受けつけ、この入力された修正内容に応答して、前記不整合を修正することを特徴とする方法。
  17. 請求項１４に記載の方法であって、
    前記不整合検出段階では、存在しないサーバ・オブジェクトへの参照を検出する方法。
  18. 請求項１４に記載の方法であって、
    前記不整合検出段階では、サーバ・オブジェクトの種類が異なることを検出する方法。
  19. 請求項１４に記載の方法であって、
    前記不整合検出段階では、余分なサーバ・オブジェクトの生成があることを検出する方法。
  20. 請求項１４に記載の方法であって、
    前記不整合検出段階では、どこからも参照されないサーバ・オブジェクトが存在することを検出する方法。
  21. 請求項１３に記載の方法であって、
    前記制御フローグラフ作成段階では、前記画面遷移の画面の情報となるページのノードと、次の画面に遷移するかを選択させるアクションのノードと、このアクションの結果となるアクション・リザルトのノードと、から構成される制御フローグラフを形成することを特徴とする方法。
  22. 請求項１３乃至２１のいずれか１項に記載の方法の各ステップをコンピュータに実行させるためのコンピュータ・プログラム。
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 true JP2006185324A5 (ja) 2008-01-31
JP4183192B2 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 (ja)
JP (1) JP4183192B2 (ja)

Families Citing this family (29)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20220236967A1 (en) * 2000-01-27 2022-07-28 Aidin NASIRISHARGH Virtual keyboard for writing programming codes in electronic device
US9336015B2 (en) * 2005-09-27 2016-05-10 Oracle International Corporation System and method for action output/page input mismatch detection and resolution
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
US8499293B1 (en) * 2005-09-28 2013-07-30 Oracle America, Inc. Symbolic renaming optimization of a trace
JP5042315B2 (ja) * 2006-10-19 2012-10-03 チェックマークス リミテッド ソースコード内のセキュリティ脆弱性の検出
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
CN101946258B (zh) * 2007-12-20 2013-05-29 惠普开发有限公司 基于计算机的业务过程在专用硬件上的基于模型的部署
US20100280863A1 (en) * 2007-12-20 2010-11-04 Lawrence Wilcock Automated Model Generation For Computer Based Business Process
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
US9026987B2 (en) * 2009-05-18 2015-05-05 National Instruments Corporation Client side web hosted program development environment
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
US11960390B2 (en) * 2019-05-13 2024-04-16 Nippon Telegraph And Telephone Corporation Test apparatus, test method and program
IL285079B1 (en) 2020-07-28 2024-03-01 Checkmarx Ltd Discovery of exploitable paths in application software that uses third-party libraries

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
US7398516B2 (en) * 2003-04-18 2008-07-08 Ounce Labs, Inc. Method and system for detecting race condition 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

Similar Documents

Publication Publication Date Title
JP2006185324A5 (ja)
US11100054B2 (en) Digital image suitability determination to generate AR/VR digital content
KR102047568B1 (ko) 웹페이지 렌더링 시간 측정 기법
US10175852B2 (en) Information processing methods and electronic devices for classifying applications
JP2015122120A5 (ja)
JP2009520275A5 (ja)
US8531487B2 (en) Software for displays with different pixel densities
US20130287305A1 (en) Testing the rendering of visual content
US9633392B2 (en) Integrated finding experience systems and methods
WO2019134578A1 (zh) 设备兼容性的测试方法、装置、电子设备及介质
TW201638784A (zh) 自動測試裝置
TWI610220B (zh) 自動控制顯示螢幕密度的設備及方法
CN111787240B (zh) 视频生成方法、装置和计算机可读存储介质
JP2013210756A5 (ja) ワークフロー作成方法、プログラム
WO2016018682A1 (en) Processing image to identify object for insertion into document
US8244520B2 (en) Use of defining ignorable rectangles to assist with iterative translation testing
JP2021089711A (ja) 動画ブレの検出方法及び装置
CN107273374B (zh) 一种下拉窗口的显示方法及装置
JP2007041676A5 (ja)
CN109643209A (zh) 在客户端应用中动态地呈现大数据集
US20150347354A1 (en) Discrete source code timelines
TWI676906B (zh) 提示方法及其電腦系統
WO2016191952A1 (zh) 一种显示照片的方法及设备
JP2017533501A (ja) ユーザアクションに応答して直接操作の有効化を決定するためのヒットテスト
JP6251994B2 (ja) テスト結果表示装置、およびテスト結果表示プログラム