JP2012048660A - 静的解析処理システム、方法、およびプログラム - Google Patents
静的解析処理システム、方法、およびプログラム Download PDFInfo
- Publication number
- JP2012048660A JP2012048660A JP2010192716A JP2010192716A JP2012048660A JP 2012048660 A JP2012048660 A JP 2012048660A JP 2010192716 A JP2010192716 A JP 2010192716A JP 2010192716 A JP2010192716 A JP 2010192716A JP 2012048660 A JP2012048660 A JP 2012048660A
- Authority
- JP
- Japan
- Prior art keywords
- source code
- function
- static analysis
- stub
- analysis
- 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
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】静的解析処理システムは、ソースコードに含まれる関数を関数の規模が圧縮されたスタブに変換して変換後ソースコードを生成する変換処理部と、ソースコードの関数を変換後ソースコードのスタブへ置き換えて合成後ソースコードを生成する合成処理部と、合成後ソースコードに対して静的解析を実行する静的解析処理部とを備える。変換処理部は、関数をスタブに変換するときに、関数の仕様情報に基づいて関数の仕様違反を検出するための仕様違反検出コードをスタブへ挿入する。静的解析処理部は、静的解析の実行時に、仕様違反検出コードに基づいて関数の仕様違反を検出する。
【選択図】図1
Description
はじめに、本実施形態における静的解析処理システムの構成の説明を行う。図1は、本実施形態における静的解析処理システムの構成を示す機能ブロック図である。本実施形態の静的解析処理システムは、クライアント100とサーバ200とを備える。
続いて、本実施形態における静的解析処理システムの動作の説明を行う。図3は、本実施形態における静的解析処理システムの動作を示すフローチャートである。
20 記憶部
30 通信部
40 表示部
50 入力部
60 インタフェース部
70 システムバス
80 ネットワーク
100 クライアント
110 ソースコード編集装置
120 解析結果表示部
130 ソースコード登録部
200 サーバ
210 静的解析処理装置
211 解析装置
212 事前処理装置
213 事前処理解析部
214 事前処理解析情報
215 ルール管理装置
216 ルール記憶部
217 解析ルール
218 事前処理ルール
220 ソースコード管理装置
221 ソースコード記憶部
222 ソースコード
223 関数仕様情報
224 変換後ソースコード記憶部
225 変換後ソースコード
226 合成後ソースコード記憶部
227 合成後ソースコード
230 変換装置
231 スタブ変換部
240 合成装置
241 ソースコード合成部
242 ソースコード合成ルール
Claims (8)
- ソースコードに含まれる関数を前記関数の規模が圧縮されたスタブに変換して変換後ソースコードを生成する変換処理部と、
前記ソースコードの関数を前記変換後ソースコードの前記スタブへ置き換えて合成後ソースコードを生成する合成処理部と、
前記合成後ソースコードに対して静的解析を実行する静的解析処理部と
を備え、
前記変換処理部は、前記関数をスタブに変換するときに、前記関数の仕様情報に基づいて前記関数の仕様違反を検出するための仕様違反検出コードを前記スタブへ挿入し、
前記静的解析処理部は、静的解析の実行時に、前記仕様違反検出コードに基づいて前記関数の仕様違反を検出する
静的解析処理システム。 - 請求項1に記載の静的解析処理システムであって、
前記静的解析処理部は、前記静的解析において前記合成後ソースコードに含まれた前記スタブに前記仕様違反を検出すると、前記仕様違反が検出されたスタブに対応する関数を含む前記ソースコードを用いて前記静的解析を再度実行する
静的解析処理システム。 - 請求項2に記載の静的解析処理システムであって、
前記静的解析処理部は、前記仕様違反が検出されたスタブに対応する関数を含む前記ソースコードを用いて前記仕様違反の検出されたスタブに対応する関数のみに前記静的解析を再度実行する
静的解析処理システム。 - 請求項1から請求項3までのいずれかに記載の静的解析処理システムであって、
前記合成処理部は、前記ソースコードにおいて、所定の条件を満たす前記関数のみを前記スタブに置き換えて前記合成ソースコードを生成する
静的解析処理システム。 - 請求項4に記載の静的解析処理システムであって、
前期合成処理部は、予め定められた行数以上で構成される前記関数を前記所定の条件を満たす前記関数とする
静的解析処理システム。 - 前記静的解析処理部は、
前記合成後ソースコードに含まれる前記関数及び前記スタブにおける処理の関連性を示す事前処理解析情報を生成する事前処理部と、
前記事前処理解析情報を用いて、前記合成ソースコードに対する前記静的解析を実行する静的解析実行部と
を備える静的解析処理システム。 - ソースコードに含まれる関数を前記関数の規模が圧縮されたスタブに変換して変換後ソースコードを生成するステップと、
前記ソースコードの関数を前記変換後ソースコードの前記スタブへ置き換えて合成後ソースコードを生成するステップと、
前記合成後ソースコードに対して静的解析を実行するステップと、
前記関数をスタブに変換するときに、前記関数の仕様情報に基づいて前記関数の仕様違反を検出するための仕様違反検出コードを前記スタブへ挿入するステップと、
静的解析の実行時に前記仕様違反検出コードに基づいて前記関数の仕様違反を検出するステップと
を備える静的解析処理方法。 - ソースコードに含まれる関数を前記関数の規模が圧縮されたスタブに変換して変換後ソースコードを生成するステップと、
前記ソースコードの関数を前記変換後ソースコードの前記スタブへ置き換えて合成後ソースコードを生成するステップと、
前記合成後ソースコードに対して静的解析を実行するステップと、
前記関数をスタブに変換するときに、前記関数の仕様情報に基づいて前記関数の仕様違反を検出するための仕様違反検出コードを前記スタブへ挿入するステップと、
静的解析の実行時に前記仕様違反検出コードに基づいて前記関数の仕様違反を検出するステップと
を備える静的解析処理プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010192716A JP5545133B2 (ja) | 2010-08-30 | 2010-08-30 | 静的解析処理システム、方法、およびプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2010192716A JP5545133B2 (ja) | 2010-08-30 | 2010-08-30 | 静的解析処理システム、方法、およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2012048660A true JP2012048660A (ja) | 2012-03-08 |
JP5545133B2 JP5545133B2 (ja) | 2014-07-09 |
Family
ID=45903410
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010192716A Expired - Fee Related JP5545133B2 (ja) | 2010-08-30 | 2010-08-30 | 静的解析処理システム、方法、およびプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5545133B2 (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102799520A (zh) * | 2012-06-27 | 2012-11-28 | 清华大学 | 用于源代码配对的静态检查方法及装置 |
CN102819489A (zh) * | 2012-07-05 | 2012-12-12 | 北京航空航天大学 | 一种缺陷驱动的软件可靠性设计方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009129132A (ja) * | 2007-11-22 | 2009-06-11 | Nec Corp | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
JP2009211622A (ja) * | 2008-03-06 | 2009-09-17 | Nec Corp | 契約定義関数検証装置、その方法及びそのプログラム |
JP2010079525A (ja) * | 2008-09-25 | 2010-04-08 | Nec Corp | プログラム検証支援装置、プログラム検証支援方法、及び、プログラム検証支援プログラム |
-
2010
- 2010-08-30 JP JP2010192716A patent/JP5545133B2/ja not_active Expired - Fee Related
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009129132A (ja) * | 2007-11-22 | 2009-06-11 | Nec Corp | ソフトウェア部分テストシステム、それに用いる方法およびプログラム |
JP2009211622A (ja) * | 2008-03-06 | 2009-09-17 | Nec Corp | 契約定義関数検証装置、その方法及びそのプログラム |
JP2010079525A (ja) * | 2008-09-25 | 2010-04-08 | Nec Corp | プログラム検証支援装置、プログラム検証支援方法、及び、プログラム検証支援プログラム |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102799520A (zh) * | 2012-06-27 | 2012-11-28 | 清华大学 | 用于源代码配对的静态检查方法及装置 |
CN102819489A (zh) * | 2012-07-05 | 2012-12-12 | 北京航空航天大学 | 一种缺陷驱动的软件可靠性设计方法 |
Also Published As
Publication number | Publication date |
---|---|
JP5545133B2 (ja) | 2014-07-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5679989B2 (ja) | デバッグパイプライン | |
JP4148527B2 (ja) | 機能テスト・スクリプト生成装置 | |
US11038947B2 (en) | Automated constraint-based deployment of microservices to cloud-based server sets | |
US10613970B1 (en) | Method and system for managing deployment of software application components based on software performance data | |
JP5988444B2 (ja) | 最適化したバイナリー・モジュールをテストする方法、並びに、当該最適化したバイナリー・モジュールをテストするためのコンピュータ及びそのコンピュータ・プログラム | |
US20140372985A1 (en) | API Rules Verification Platform | |
US20140331209A1 (en) | Program Testing Service | |
US20130117232A1 (en) | Snapshots of database models | |
US9715440B2 (en) | Test scope determination based on code change(s) | |
US20050160405A1 (en) | System and method for generating code coverage information | |
US20140245067A1 (en) | Using linked data to determine package quality | |
US10977108B2 (en) | Influence range specifying method, influence range specifying apparatus, and storage medium | |
US10572247B2 (en) | Prototype management system | |
US20140331205A1 (en) | Program Testing Service | |
US10380313B1 (en) | Implementation and evaluation of designs for heterogeneous computing platforms with hardware acceleration | |
JP2016525731A (ja) | プログラム試験サービス | |
US8762781B2 (en) | Method and apparatus useful in manufacturing test case operations | |
JP5545133B2 (ja) | 静的解析処理システム、方法、およびプログラム | |
US20110224939A1 (en) | Integrated tool for persisting development environment test scenario information | |
CN111176987A (zh) | 前端日志统一输出的方法、装置、计算机设备及存储介质 | |
CN114968751A (zh) | 一种无代码开发平台的程序调试方法和程序调试装置 | |
JPWO2014054233A1 (ja) | 情報システムの性能評価装置、方法およびプログラム | |
US20170123959A1 (en) | Optimized instrumentation based on functional coverage | |
US7996518B2 (en) | Detecting machine utilization activity | |
JP2020087087A (ja) | 修正候補特定プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20130704 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20140129 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20140131 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20140326 |
|
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: 20140415 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140428 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5545133 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |