JP2006185324A5 - - Google Patents
Download PDFInfo
- 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
Links
- 230000010365 information processing Effects 0.000 claims 24
- 238000000034 method Methods 0.000 claims 17
- 238000001514 detection method Methods 0.000 claims 12
- 230000007704 transition Effects 0.000 claims 6
- 238000005206 flow analysis Methods 0.000 claims 5
- 238000004590 computer program Methods 0.000 claims 1
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 (enExample) | 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 (enExample) |
| JP (1) | JP4183192B2 (enExample) |
Families Citing this family (29)
| 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)
| 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 | Webアプリケーション開発方法、開発支援システム、および該方法に係るプログラムを記憶した記憶媒体 |
| 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 | Webアプリケーション開発方法および開発支援装置 |
| 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 |
-
2004
- 2004-12-28 JP JP2004380298A patent/JP4183192B2/ja not_active Expired - Fee Related
-
2005
- 2005-12-27 US US11/318,718 patent/US7886276B2/en active Active
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP2006185324A5 (enExample) | ||
| US8644623B2 (en) | Measuring web page rendering time | |
| US10175852B2 (en) | Information processing methods and electronic devices for classifying applications | |
| CN103793224B (zh) | 一种窗口的显示方法和装置 | |
| JP2015122120A5 (enExample) | ||
| JP2009520275A5 (enExample) | ||
| CN107221290A (zh) | mura补偿显示方法及装置、计算机可读存储介质 | |
| US20130287305A1 (en) | Testing the rendering of visual content | |
| CN106575290A (zh) | 在基于表单的视图中呈现电子表格的数据集 | |
| CN112181760B (zh) | 一种异常检测方法及装置 | |
| CN107908604B (zh) | 报表图形生成方法、装置、计算机设备和存储介质 | |
| JP2007047862A5 (enExample) | ||
| CN114297547B (zh) | 页面元素调整方法、装置、设备、存储介质和程序产品 | |
| TWI610220B (zh) | 自動控制顯示螢幕密度的設備及方法 | |
| JP2013210756A5 (ja) | ワークフロー作成方法、プログラム | |
| US8244520B2 (en) | Use of defining ignorable rectangles to assist with iterative translation testing | |
| JP2014115967A (ja) | タッチ装置の検知方法 | |
| WO2016018682A1 (en) | Processing image to identify object for insertion into document | |
| CN104796785A (zh) | 应用程序内的视频播放方法及装置 | |
| CN108629767A (zh) | 一种场景检测的方法、装置及移动终端 | |
| JP2021089711A (ja) | 動画ブレの検出方法及び装置 | |
| CN102789777A (zh) | 多显示器的显示方法与装置 | |
| US20150347354A1 (en) | Discrete source code timelines | |
| JP6446945B2 (ja) | 非互換検出装置、非互換検出方法、及びプログラム | |
| CN111435589A (zh) | 一种目标显示的方法、装置及目标显示系统 |