JP2009525522A - コンテクストベースのコード分析 - Google Patents
コンテクストベースのコード分析 Download PDFInfo
- Publication number
- JP2009525522A JP2009525522A JP2008552301A JP2008552301A JP2009525522A JP 2009525522 A JP2009525522 A JP 2009525522A JP 2008552301 A JP2008552301 A JP 2008552301A JP 2008552301 A JP2008552301 A JP 2008552301A JP 2009525522 A JP2009525522 A JP 2009525522A
- Authority
- JP
- Japan
- Prior art keywords
- code
- context
- analysis
- rule
- rules
- 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
Images
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
-
- 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/3664—Environments for testing or debugging software
-
- 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/3668—Software testing
- G06F11/3672—Test management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
Abstract
Description
Claims (20)
- 一連の所定ルールを使用してソフトウェアをチェックするコード分析ツールを伴うコンピューティングシステムにおいて、前記の一連の所定ルールは典型的には構成設定を通して制御される一体的な動作で実行されるものであり、性能の検討事項のバランスを取るために、前記コードが分析コンテクストの下で開発される該分析コンテクストを動的に追跡しカレントコンテクスト条件に対応する前記ルールの少なくとも一部を動的に適用することによって、前記一連の所定ルールの実行を管理する方法であって、
一連の所定ルールに基づいて正確性、完全性、または品質の1つまたは複数に関して分析されるべきターゲットコードを受信するステップと、
コード分析コンテクスト情報を1つまたは複数の開発装置から受信し、前記ターゲットコードがカレントコード分析コンテクストのために開発されている該カレントコード分析コンテクストを動的に追跡するステップと、
前記一連の所定ルールから選択されたルールに対応するコンテクストパラメータを受信するステップであって、前記コンテクストパラメータは前記選択されたルールの少なくとも一部に対する実行条件を前記コード分析コンテクスト情報の観点から記述するステップと、および
前記選択されたルールの少なくとも一部を分析中の前記ターゲットコードに対して実行して前記選択されたルールの少なくとも一部を開発プロセスにおける適切なフェーズで適用できるかどうかを動的に決定するために、前記ルールコンテクストパラメータを前記カレントコード分析コンテクストの観点から評価するステップ
を備える方法。 - 前記カレントコード分析コンテクストを、前記ターゲットコードの開発フェーズと、前記ターゲットコードの種類もしくは状態と、前記ターゲットコードを操作するソースと、前記ターゲットコードの目的と、または1つもしくは複数の開発要件もしくは実行時要件とのうち、1つもしくは複数の観点から定義したことを特徴とする請求項1に記載の方法。
- 前記ターゲットコードの開発フェーズは、設計、ビルド、またはデプロイメントのうち1つまたは複数の段階を含み、前記コードの種類または状態はソースコード、オブジェクトコード、バイナリコード、または抽象コード状態のうち1つまたは複数を含むことを特徴とする請求項2に記載の方法。
- 前記抽象状態とは、前記ターゲットコードを完全には記述しない前記ターゲットコードの設計時の分析であることを特徴とする請求項3に記載の方法。
- 前記ビルドフェーズは、ディスクにまだコンパイルされていない前記ターゲットコードに対して行ったバックグラウンド分析を含み、編集フェーズと、インクリメンタルビルドに対するコンパイルフェーズと、またはチェックインフェーズの前とのうち1つもしくは複数を含むことを特徴とする請求項3に記載の方法。
- 前記ビルドフェーズは、前記選択されたルールの少なくとも一部を実行するための特定のユーザ入力を要求するマイルストーンフェーズを含み、これは、分析期間、要求された入力、要求された出力、誤検出の多発、スケジュールへの配慮のうち1つまたは複数という点における実行に必要なコストのため、または実行が他のルールと一緒のバッチの一部として行うことにより最も容易に実現できるためであることを特徴とする請求項3に記載の方法。
- 前記コンテクストパラメータに対する前記実行条件はメタデータによって定義され、前記メタデータは、分析の完了に対する実行時の期間と、入力に対して必要な情報と、または結果の出力のうち1つまたは複数の観点から前記選択されたルールの振る舞いを定義することを特徴とする請求項1に記載の方法。
- 前記コンテクストパラメータはサポートされるコード分析コンテクストの実行条件を定義し、前記の実行条件は好適なもの、任意のもの、または必要なもののうち1つまたは複数によって優先順位付けされることを特徴とする請求項1に記載の方法。
- 前記1つまたは複数の開発装置における一つまたは複数の構成設定、前記コード分析ツールに関連付けられた制御ファイルをさらに評価すること、または前記コンテクストパラメータを構成可能とすることにより、前記評価が前記実行条件の無効化を可能とすることを特徴とする請求項8に記載の方法。
- 前記ルールコンテクストパラメータは、既存のコンテクスト条件を拡張可能なように構成可能であることを特徴とする請求項1に記載の方法。
- 前記カレントコード分析の観点からの前記ルールコンテクストパラメータの前記評価は、前記コード分析コンテクスト間の階層関係、前記一連の所定ルール、またはその両方を考慮することを特徴とする請求項1に記載の方法。
- 一連の所定ルールを使用してソフトウェアをチェックするコード分析ツールであって、前記の一連の所定ルールは典型的には構成設定を通して制御される一体的な動作で実行されるものであり、性能の検討事項のバランスを取るために、前記コードが分析コンテクストの下で開発される該分析コンテクストを動的に追跡しカレントコンテクスト条件に対応するこれらのルールの少なくとも一部を動的に適用することによって、前記一連の所定ルールの実行を管理するよう構成され、
1つまたは複数の開発装置から、ターゲットコードがカレントコード分析コンテクストのために開発されている該カレントコード分析コンテクストの決定に使用するコード分析コンテクスト情報を受信する動的コンテクスト追跡モジュールと、
前記カレントコード分析コンテクストと、ルールの少なくとも一部に対する実行条件を前記コード分析コンテクスト情報の観点から示すコンテクストパラメータとを評価するルール管理モジュールであって、前記評価に基づいて前記ルール管理モジュールは、正確性、完全性、または品質のうち1つまたは複数に関して分析されるべきターゲットコードに対して前記ルールの少なくとも一部を実行可能であることを動的に決定することを特徴とするルール管理モジュールと、および
前記ルールの少なくとも一部が開発プロセスにおける適切な時点で適用されるように、前記ルールの少なくとも一部を分析中の前記ターゲットコードに対して実行する実行モジュール
を備えることを特徴とするコード分析ツール。 - 一連の所定ルールを使用してソフトウェアをチェックするコード分析ツールを伴うコンピューティングシステムにおいて、前記の一連の所定ルールは典型的には構成設定を通して制御される一体的な動作で実行されるものであり、性能の検討事項のバランスを取るために、前記コードが開発されるところの分析コンテクストを動的に追跡しカレントコンテクスト条件に対応するこれらのルールの少なくとも一部を動的に適用することにより、前記一連の所定ルールの実行を管理する方法を実装するコンピュータプログラム製品であって、前記コンピュータプログラム製品は、前記コンピューティングシステムの1つまたは複数のプロセッサによる実行時に前記コンピューティングシステムに対し、
一連の所定ルールに基づいて正確性、完全性、または品質の1つまたは複数に関して分析されるべきターゲットコードを受信するステップと、
コード分析コンテクスト情報を1つまたは複数の開発装置から受信し、前記ターゲットコードがカレントコード分析コンテクストのために開発されている該カレントコード分析コンテクストを動的に追跡するステップと、
前記一連の所定ルールから選択されたルールに対応するコンテクストパラメータを受信するステップであって、前記コンテクストパラメータは前記選択されたルールの少なくとも一部に対する実行条件を前記コード分析コンテクスト情報の観点から記述するステップと、および
前記選択されたルールの少なくとも一部を分析中の前記ターゲットコードに対して実行して前記選択されたルールの少なくとも一部を開発プロセスにおける適切なフェーズで適用できるかどうかを動的に決定するために、前記ルールコンテクストパラメータを前記カレントコード分析コンテクストの観点から評価するステップと
を実施させるコンピュータ実行可能命令を自身の上に記憶した1つまたは複数のコンピュータ読取可能媒体を備えたことを特徴とするコンピュータプログラム製品。 - 前記カレントコード分析コンテクストを、前記ターゲットコードの開発フェーズと、前記ターゲットコードの種類もしくは状態と、前記ターゲットコードを操作するソースと、前記ターゲットコードの目的と、または1つもしくは複数の開発要件もしくは実行時要件とのうち、1つもしくは複数の観点から定義したことを特徴とする請求項13に記載の方法。
- 前記ターゲットコードの開発フェーズは、設計、ビルド、またはデプロイメントのうち1つまたは複数の段階を含み、前記コードの種類または状態はソースコード、オブジェクトコード、バイナリコード、または抽象コード状態のうち1つまたは複数を含むことを特徴とする請求項14に記載の方法。
- 前記抽象状態とは、前記ターゲットコードを完全には記述しない前記ターゲットコードの設計時の分析であることを特徴とする請求項15に記載の方法。
- 前記ビルドフェーズは、ディスクにまだコンパイルされていない前記ターゲットコードに対して行ったバックグラウンド分析を含み、編集フェーズと、インクリメンタルビルドに対するコンパイルフェーズと、またはチェックインフェーズの前とのうち1つもしくは複数を含むことを特徴とする請求項15に記載の方法。
- 前記コンテクストパラメータはメタデータを使用して前記実行条件を記述し、前記メタデータは分析の完了に対する実行時の期間と、入力に対して必要な情報と、または結果の出力とのうち1つまたは複数の観点から前記選択されたルールの振る舞いも記述することを特徴とする請求項13に記載の方法。
- 前記コンテクストパラメータは、既存のコンテクスト条件を拡張可能なように構成可能であることを特徴とする請求項13に記載の方法。
- 前記カレントコード分析を考慮した前記ルールコンテクストパラメータの前記評価は、前記コード分析コンテクスト間の階層関係、前記一連の所定ルール、またはその両方を考慮することを特徴とする請求項13に記載の方法。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/343,691 US8595703B2 (en) | 2006-01-30 | 2006-01-30 | Context based code analysis |
US11/343,691 | 2006-01-30 | ||
PCT/US2006/049555 WO2007089349A1 (en) | 2006-01-30 | 2006-12-28 | Context based code analysis |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009525522A true JP2009525522A (ja) | 2009-07-09 |
JP5165591B2 JP5165591B2 (ja) | 2013-03-21 |
Family
ID=38323645
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008552301A Expired - Fee Related JP5165591B2 (ja) | 2006-01-30 | 2006-12-28 | コンテクストベースのコード分析 |
Country Status (6)
Country | Link |
---|---|
US (2) | US8595703B2 (ja) |
EP (1) | EP1982270B1 (ja) |
JP (1) | JP5165591B2 (ja) |
KR (1) | KR20080091351A (ja) |
CN (1) | CN101589380B (ja) |
WO (1) | WO2007089349A1 (ja) |
Families Citing this family (58)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8997246B2 (en) * | 2005-10-04 | 2015-03-31 | Disney Enterprises, Inc. | System and/or method for authentication and/or authorization via a network |
US7945905B2 (en) * | 2006-06-02 | 2011-05-17 | Accenture Global Services Limited | Quality inspector tool |
US9645915B2 (en) | 2006-12-27 | 2017-05-09 | The Mathworks, Inc. | Continuous evaluation of program code and saving state information associated with program code |
US8584094B2 (en) * | 2007-06-29 | 2013-11-12 | Microsoft Corporation | Dynamically computing reputation scores for objects |
US8627287B2 (en) * | 2007-11-29 | 2014-01-07 | Microsoft Corporation | Prioritizing quality improvements to source code |
US20100235730A1 (en) * | 2009-03-13 | 2010-09-16 | Microsoft Corporation | Consume-first mode text insertion |
US20100269032A1 (en) * | 2009-04-15 | 2010-10-21 | Microsoft Corporation | Advanced text completion, such as for markup languages |
US8561021B2 (en) * | 2010-02-08 | 2013-10-15 | Microsoft Corporation | Test code qualitative evaluation |
CN101819536B (zh) * | 2010-05-14 | 2012-11-28 | 西安交通大学 | 一种面向粒的程序构造方法 |
US20110307802A1 (en) * | 2010-06-10 | 2011-12-15 | Shreyank Gupta | Review of requests to modify contextual data of a programming interface |
US8966446B1 (en) * | 2010-09-29 | 2015-02-24 | A9.Com, Inc. | Systems and methods of live experimentation on content provided by a web site |
CN102012991A (zh) * | 2010-11-09 | 2011-04-13 | 北京神舟航天软件技术有限公司 | 基于静态分析的c语言安全规则检查方法 |
US20120133579A1 (en) * | 2010-11-30 | 2012-05-31 | Microsoft Corporation | Gesture recognition management |
KR101276308B1 (ko) * | 2011-02-22 | 2013-06-18 | 서울대학교산학협력단 | 다중 출력 명령어를 지원하는 그래프 기반의 코드 생성 장치 및 그 코드 생성 방법 |
GB2490702A (en) * | 2011-05-10 | 2012-11-14 | Bhaskar Peri | Managing the evaluation of computer program code by selecting computer code items and rules to evaluate the items. |
US20130019225A1 (en) * | 2011-07-11 | 2013-01-17 | Microsoft Corporation | Incremental Inferences for Developing Data Models |
US20120330878A1 (en) * | 2011-06-23 | 2012-12-27 | Microsoft Corporation | Conventions for inferring data models |
US8914515B2 (en) * | 2011-10-28 | 2014-12-16 | International Business Machines Corporation | Cloud optimization using workload analysis |
US8869106B2 (en) * | 2011-12-16 | 2014-10-21 | Microsoft Corporation | Language service provider management using application context |
US9047413B2 (en) * | 2012-10-05 | 2015-06-02 | Software Ag | White-box testing systems and/or methods for use in connection with graphical user interfaces |
US9092211B2 (en) * | 2012-12-13 | 2015-07-28 | Microsoft Technology Licensing, Llc | Social-based information recommendation system |
US9715440B2 (en) | 2012-12-19 | 2017-07-25 | Microsoft Technology Licensing, Llc | Test scope determination based on code change(s) |
JP6048957B2 (ja) * | 2012-12-21 | 2016-12-21 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | 情報処理装置、プログラム、及び情報処理方法 |
US9880842B2 (en) * | 2013-03-15 | 2018-01-30 | Intel Corporation | Using control flow data structures to direct and track instruction execution |
US9158922B2 (en) | 2013-05-29 | 2015-10-13 | Lucent Sky Corporation | Method, system, and computer-readable medium for automatically mitigating vulnerabilities in source code |
US9449060B2 (en) * | 2013-08-06 | 2016-09-20 | International Business Machines Corporation | Post-migration validation of ETL jobs and exception management |
US9053235B1 (en) * | 2013-10-22 | 2015-06-09 | The Mathworks, Inc. | Program code interface for providing program code and corresponding results of evaluating the program code |
US9064052B1 (en) * | 2013-10-22 | 2015-06-23 | The Mathworks, Inc. | Providing intermediate results of evaluating program code that includes a compound statement |
US9053228B1 (en) * | 2013-10-22 | 2015-06-09 | The Mathworks, Inc. | Determining when to evaluate program code and provide results in a live evaluation programming environment |
US9792203B2 (en) * | 2013-11-14 | 2017-10-17 | Sap Se | Isolated testing of distributed development projects |
KR101530132B1 (ko) * | 2013-12-10 | 2015-06-18 | 한양대학교 산학협력단 | 기호 실행을 이용하는 바이너리 코드 실행 경로 확장 방법 및 장치 |
US10275333B2 (en) * | 2014-06-16 | 2019-04-30 | Toyota Jidosha Kabushiki Kaisha | Risk analysis of codebase using static analysis and performance data |
CN105446711B (zh) * | 2014-08-08 | 2018-10-02 | 国际商业机器公司 | 获取用于软件开发任务的上下文信息的方法及装置 |
US9703536B2 (en) | 2014-08-11 | 2017-07-11 | International Business Machines Corporation | Debugging code using a question and answer system based on documentation and code change records |
US9825984B1 (en) | 2014-08-27 | 2017-11-21 | Shape Security, Inc. | Background analysis of web content |
US20160077831A1 (en) * | 2014-09-11 | 2016-03-17 | Microsoft Corporation | Accurate and performant code design using memoization |
US9378013B2 (en) * | 2014-11-14 | 2016-06-28 | Semmle Limited | Incremental source code analysis |
US9262132B1 (en) * | 2015-04-13 | 2016-02-16 | Semmle Limited | Incremental local source code analysis |
US10929008B2 (en) | 2015-06-05 | 2021-02-23 | Apple Inc. | Touch-based interactive learning environment |
US9710364B2 (en) * | 2015-09-04 | 2017-07-18 | Micron Technology Licensing, Llc | Method of detecting false test alarms using test step failure analysis |
US10025765B2 (en) | 2015-10-15 | 2018-07-17 | International Business Machines Corporation | Context sensitive verification point driven inspection |
US9740601B2 (en) | 2015-12-01 | 2017-08-22 | International Business Machines Corporation | Globalization testing management service configuration |
US9767011B2 (en) | 2015-12-01 | 2017-09-19 | International Business Machines Corporation | Globalization testing management using a set of globalization testing operations |
US9959097B2 (en) * | 2016-03-09 | 2018-05-01 | Bank Of America Corporation | SVN interface system for heterogeneous development environments |
US10339032B2 (en) | 2016-03-29 | 2019-07-02 | Microsoft Technology Licensing, LLD | System for monitoring and reporting performance and correctness issues across design, compile and runtime |
US10346556B2 (en) * | 2016-05-25 | 2019-07-09 | Hexagon Technolgy Center GmbH | Validation of multi-component design constraints for capital project design system |
US10169210B2 (en) | 2016-08-09 | 2019-01-01 | International Business Machines Corporation | Association between a test case and source code |
US9740543B1 (en) | 2016-10-27 | 2017-08-22 | Red Hat, Inc. | Multi-endpoint method implementation |
US10606729B2 (en) | 2017-11-28 | 2020-03-31 | International Business Machines Corporation | Estimating the number of coding styles by analyzing source code |
JP6890557B2 (ja) * | 2018-01-17 | 2021-06-18 | 株式会社日立製作所 | 分析モデル作成システム、プログラミング装置および分析モデル作成方法 |
US10521335B2 (en) * | 2018-01-29 | 2019-12-31 | T-Mobile Usa, Inc. | Context-based device testing |
CN109062784B (zh) * | 2018-07-06 | 2021-04-27 | 北京大学 | 接口参数约束代码入口定位方法与系统 |
US11106448B2 (en) | 2018-08-14 | 2021-08-31 | Red Hal Israel, Ltd. | Management of updates to externally managed libraries |
US11119901B2 (en) * | 2019-02-01 | 2021-09-14 | Micro Focus Llc | Time-limited dynamic testing pipelines |
US11562136B2 (en) * | 2019-06-11 | 2023-01-24 | International Business Machines Corporation | Detecting programming language deficiencies cognitively |
CN111045608B (zh) * | 2019-12-29 | 2023-12-08 | 北京浪潮数据技术有限公司 | 一种有效性代码的查找方法、装置、设备及可读存储介质 |
US11100009B2 (en) | 2020-01-03 | 2021-08-24 | Bank Of America Corporation | Intelligent detection and ejection of unused application components |
CN111475703B (zh) * | 2020-04-28 | 2023-06-13 | 深圳市智佳家电子科技有限公司 | 一种抓取网络特定数据的分析方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04367934A (ja) * | 1991-06-14 | 1992-12-21 | Nec Corp | システム設計・開発支援ツール |
JPH11134187A (ja) * | 1997-10-27 | 1999-05-21 | Fujitsu Ltd | ソースプログラム解析装置およびそのプログラム記憶媒体 |
JP2001034461A (ja) * | 1999-07-23 | 2001-02-09 | Toshiba Corp | ソフトウェア構成管理支援装置、その方法およびソフトウェア構成管理支援プログラムを記録したコンピュータ読み取り可能な記録媒体 |
JP2004220269A (ja) * | 2003-01-14 | 2004-08-05 | Cyx Inc | 統合テスト管理システム |
JP2006018735A (ja) * | 2004-07-05 | 2006-01-19 | Hitachi Software Eng Co Ltd | コーディング規準遵守状況監視システム |
Family Cites Families (17)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP0567137A1 (en) | 1992-04-23 | 1993-10-27 | Nec Corporation | Protocol data unit encoding/decoding device |
US5485618A (en) | 1993-12-15 | 1996-01-16 | Borland International, Inc. | Methods and interface for building command expressions in a computer system |
US5963739A (en) | 1996-04-26 | 1999-10-05 | Peter V. Homeier | Method for verifying the total correctness of a program with mutually recursive procedures |
US5896537A (en) | 1996-05-13 | 1999-04-20 | Siemens Corporate Research, Inc. | Partition based alias analyzer for pointers |
US6149318A (en) | 1997-04-15 | 2000-11-21 | Samuel C. Kendall | Link-time and run-time error detection, and program instrumentation |
WO1998049613A2 (en) | 1997-04-30 | 1998-11-05 | Geodesic Systems L.L.C. | Automatically-maintained customizable user interfaces |
JP3230467B2 (ja) | 1997-09-25 | 2001-11-19 | 日本電気株式会社 | Gdmoトランスレータ及びgdmoトランスレーション方法並びにgdmoトランスレータプログラムを記録した記録媒体 |
US6047390A (en) | 1997-12-22 | 2000-04-04 | Motorola, Inc. | Multiple context software analysis |
US6594783B1 (en) | 1999-08-27 | 2003-07-15 | Hewlett-Packard Development Company, L.P. | Code verification by tree reconstruction |
US6353925B1 (en) | 1999-09-22 | 2002-03-05 | Compaq Computer Corporation | System and method for lexing and parsing program annotations |
US7111280B2 (en) | 2000-02-25 | 2006-09-19 | Wind River Systems, Inc. | System and method for implementing a project facility |
US7110936B2 (en) * | 2001-02-23 | 2006-09-19 | Complementsoft Llc | System and method for generating and maintaining software code |
KR100433549B1 (ko) | 2002-05-11 | 2004-05-31 | 삼성전자주식회사 | 소프트웨어 분석 방법 및 장치 |
JP4363868B2 (ja) * | 2002-08-23 | 2009-11-11 | 株式会社東芝 | 検索キーワード分析プログラム及びシステム並びに方法 |
JP2004326337A (ja) | 2003-04-23 | 2004-11-18 | Mitsubishi Electric Corp | コード解析プログラム、コード解析自動化プログラム及び自動コード解析システム |
US20050114838A1 (en) * | 2003-11-26 | 2005-05-26 | Stobie Keith B. | Dynamically tunable software test verification |
US7376935B2 (en) * | 2004-10-25 | 2008-05-20 | Microsoft Corporation | Design-time system and method to enable programming assistance across languages and compilation boundaries |
-
2006
- 2006-01-30 US US11/343,691 patent/US8595703B2/en active Active
- 2006-12-28 CN CN2006800520353A patent/CN101589380B/zh active Active
- 2006-12-28 JP JP2008552301A patent/JP5165591B2/ja not_active Expired - Fee Related
- 2006-12-28 KR KR1020087018506A patent/KR20080091351A/ko not_active IP Right Cessation
- 2006-12-28 EP EP06848327.0A patent/EP1982270B1/en active Active
- 2006-12-28 WO PCT/US2006/049555 patent/WO2007089349A1/en active Application Filing
-
2013
- 2013-11-19 US US14/083,911 patent/US8997055B2/en active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH04367934A (ja) * | 1991-06-14 | 1992-12-21 | Nec Corp | システム設計・開発支援ツール |
JPH11134187A (ja) * | 1997-10-27 | 1999-05-21 | Fujitsu Ltd | ソースプログラム解析装置およびそのプログラム記憶媒体 |
JP2001034461A (ja) * | 1999-07-23 | 2001-02-09 | Toshiba Corp | ソフトウェア構成管理支援装置、その方法およびソフトウェア構成管理支援プログラムを記録したコンピュータ読み取り可能な記録媒体 |
JP2004220269A (ja) * | 2003-01-14 | 2004-08-05 | Cyx Inc | 統合テスト管理システム |
JP2006018735A (ja) * | 2004-07-05 | 2006-01-19 | Hitachi Software Eng Co Ltd | コーディング規準遵守状況監視システム |
Also Published As
Publication number | Publication date |
---|---|
CN101589380A (zh) | 2009-11-25 |
WO2007089349A1 (en) | 2007-08-09 |
EP1982270A4 (en) | 2010-04-07 |
US20140082595A1 (en) | 2014-03-20 |
US20070180429A1 (en) | 2007-08-02 |
JP5165591B2 (ja) | 2013-03-21 |
EP1982270B1 (en) | 2020-06-03 |
EP1982270A1 (en) | 2008-10-22 |
CN101589380B (zh) | 2012-07-04 |
US8997055B2 (en) | 2015-03-31 |
US8595703B2 (en) | 2013-11-26 |
KR20080091351A (ko) | 2008-10-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5165591B2 (ja) | コンテクストベースのコード分析 | |
Decan et al. | What do package dependencies tell us about semantic versioning? | |
Reussner et al. | Modeling and simulating software architectures: The Palladio approach | |
Gallaba et al. | Use and misuse of continuous integration features: An empirical study of projects that (mis) use Travis CI | |
US9208057B2 (en) | Efficient model checking technique for finding software defects | |
US9778930B2 (en) | Evaluating software compliance | |
US8671222B2 (en) | Systems and methods for dynamically deploying an application transformation tool over a network | |
US8898627B2 (en) | Systems and methods for applying rules to transform objects of an application | |
US8572566B2 (en) | Systems and methods for analyzing changes in application code from a previous instance of the application code | |
US8954930B2 (en) | System and method for reducing test effort by object risk analysis | |
US8739150B2 (en) | Systems and methods for dynamically replacing code objects via conditional pattern templates | |
TWI453666B (zh) | 用於在團隊環境中使用協同開發資訊的方法及電腦可讀取儲存媒體 | |
US10284634B2 (en) | Closed-loop infrastructure orchestration templates | |
US9256509B1 (en) | Computing environment analyzer | |
CN108701057B (zh) | 用于供应部署管道的计算机可读存储介质、系统和方法 | |
EP2199905A1 (en) | Lifecycle management and consistency checking of object models using application platform tools | |
US20160013989A1 (en) | Service discovery and/or effort estimation in networked computing environments | |
Kaestner et al. | Model-driven code generation and analysis | |
Lenhard | Improving process portability through metrics and continuous inspection | |
WO2011041246A1 (en) | Systems and methods for analyzing and transforming an application from a source installation to a target installation | |
US20220207438A1 (en) | Automatic creation and execution of a test harness for workflows | |
Kayed | Improving Quality Assurance by Providing Robust Tools | |
Esquembri Moreno | Automated characterization of build and test failures on a continuous integration system | |
Kowalczewski et al. | IFTT: Software Application Interfaces Regression Testing | |
Bogoda | Applicability of agent technology for software release management |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20091124 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120329 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120427 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120726 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120810 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20121112 |
|
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: 20121207 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121219 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151228 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5165591 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |