JP2015026276A - 静的解析装置、静的解析方法、および、コンピュータ・プログラム - Google Patents
静的解析装置、静的解析方法、および、コンピュータ・プログラム Download PDFInfo
- Publication number
- JP2015026276A JP2015026276A JP2013155787A JP2013155787A JP2015026276A JP 2015026276 A JP2015026276 A JP 2015026276A JP 2013155787 A JP2013155787 A JP 2013155787A JP 2013155787 A JP2013155787 A JP 2013155787A JP 2015026276 A JP2015026276 A JP 2015026276A
- Authority
- JP
- Japan
- Prior art keywords
- information
- warning
- similar
- priority
- difference
- 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
- 238000004458 analytical method Methods 0.000 title claims abstract description 98
- 230000003068 static effect Effects 0.000 title claims abstract description 98
- 238000004590 computer program Methods 0.000 title claims description 14
- 238000000605 extraction Methods 0.000 claims abstract description 31
- 238000000034 method Methods 0.000 claims abstract description 17
- 239000000284 extract Substances 0.000 claims abstract description 10
- 238000005516 engineering process Methods 0.000 description 14
- 230000006870 function Effects 0.000 description 6
- 230000007257 malfunction Effects 0.000 description 4
- 230000007547 defect Effects 0.000 description 2
- 230000002950 deficient Effects 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012913 prioritisation Methods 0.000 description 2
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Abstract
【解決手段】ソースコードに対する静的解析結果として、警告位置情報と警告識別情報とを含む警告情報を生成する静的解析部11と、ソースコードにおいて互いに類似する類似部分を抽出し、各類似部分について、類似識別情報と範囲情報とを含む類似部分情報を生成する類似部分抽出部12と、警告情報および類似部分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む類似部分の類似識別情報を追加した連結警告情報を生成する情報連結部13と、連結警告情報に対して、警告識別情報および類似識別情報に基づく優先度決定基準を用いて優先度を決定する優先度決定部14と、を備える。
【選択図】図1
Description
本発明の第1の実施の形態としての静的解析装置1の機能ブロック構成を図1に示す。
次に、本発明の第2の実施の形態について図面を参照して詳細に説明する。なお、本実施の形態の説明において参照する各図面において、本発明の第1の実施の形態と同一の構成および同様に動作するステップには同一の符号を付して本実施の形態における詳細な説明を省略する。
11 静的解析部
12 類似部分抽出部
13、23 情報連結部
14、24 優先度決定部
25 差分抽出部
1001 CPU
1002 RAM
1003 ROM
1004 記憶装置
1005 入力装置
1006 出力装置
Claims (9)
- 入力されたソースコードに対して静的解析を行うことにより、前記ソースコードにおける警告箇所の位置を表す警告位置情報と、警告の種別を識別する警告識別情報とを含む警告情報を生成する静的解析部と、
前記ソースコードにおいて互いに類似する部分(類似部分)を抽出することにより、各類似部分について、該互いに類似する類似部分を他の互いに類似する類似部分から識別する類似識別情報と、該類似部分の範囲を表す範囲情報とを含む類似部分情報を生成する類似部分抽出部と、
前記警告情報および前記類似部分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む類似部分の類似識別情報を追加した連結警告情報を生成する情報連結部と、
前記連結警告情報に対して、前記警告識別情報および前記類似識別情報に基づく優先度決定基準を用いて優先度を決定し、決定した優先度にしたがって前記連結警告情報を出力する優先度決定部と、
を備えた静的解析装置。 - 前記ソースコードについて、以前のソースコードに対する差分を抽出し、抽出した差分の範囲を表す差分情報を生成する差分抽出部をさらに備え、
前記情報連結部は、前記警告情報および前記差分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む差分の範囲があるか否かを表す差分有無情報を、前記類似識別情報に加えてさらに追加した前記連結警告情報を生成し、
前記優先度決定部は、前記警告識別情報および前記類似識別情報に加えて、前記差分有無情報に基づく前記優先度決定基準を用いて前記優先度を決定することを特徴とする請求項1に記載の静的解析装置。 - 前記優先度決定部は、前記優先度決定基準の設定変更を表す情報を取得すると、設定変更した前記優先度決定基準を用いて前記優先度を更新することを特徴とする請求項1または請求項2に記載の静的解析装置。
- 入力されたソースコードに対して静的解析を行うことにより、前記ソースコードにおける警告箇所の位置を表す警告位置情報と、警告の種別を識別する警告識別情報とを含む警告情報を生成し、
前記ソースコードにおいて互いに類似する部分(類似部分)を抽出することにより、各類似部分について、該互いに類似する類似部分を他の互いに類似する類似部分から識別する類似識別情報と、該類似部分の範囲を表す範囲情報とを含む類似部分情報を生成し、
前記警告情報および前記類似部分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む類似部分の類似識別情報を追加した連結警告情報を生成し、
前記連結警告情報に対して、前記警告識別情報および前記類似識別情報に基づく優先度決定基準を用いて優先度を決定し、決定した優先度にしたがって前記連結警告情報を出力する、静的解析方法。 - 前記ソースコードについて、以前のソースコードに対する差分を抽出し、抽出した差分の範囲を表す差分情報を生成し、
前記警告情報および前記差分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む差分の範囲があるか否かを表す差分有無情報を、前記類似識別情報に加えてさらに追加した前記連結警告情報を生成し、
前記警告識別情報および前記類似識別情報に加えて、前記差分有無情報に基づく前記優先度決定基準を用いて前記優先度を決定することを特徴とする請求項4に記載の静的解析方法。 - 前記優先度決定基準の設定変更を表す情報を取得すると、設定変更した前記優先度決定基準を用いて前記優先度を更新することを特徴とする請求項4または請求項5に記載の静的解析方法。
- 入力されたソースコードに対して静的解析を行うことにより、前記ソースコードにおける警告箇所の位置を表す警告位置情報と、警告の種別を識別する警告識別情報とを含む警告情報を生成する静的解析ステップと、
前記ソースコードにおいて互いに類似する部分(類似部分)を抽出することにより、各類似部分について、該互いに類似する類似部分を他の互いに類似する類似部分から識別する類似識別情報と、該類似部分の範囲を表す範囲情報とを含む類似部分情報を生成する類似部分抽出ステップと、
前記警告情報および前記類似部分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む類似部分の類似識別情報を追加した連結警告情報を生成する情報連結ステップと、
前記連結警告情報に対して、前記警告識別情報および前記類似識別情報に基づく優先度決定基準を用いて優先度を決定し、決定した優先度にしたがって前記連結警告情報を出力する優先度決定ステップと、
をコンピュータ装置に実行させるコンピュータ・プログラム。 - 前記ソースコードについて、以前のソースコードに対する差分を抽出し、抽出した差分の範囲を表す差分情報を生成する差分抽出ステップをさらに前記コンピュータ装置に実行させ、
前記情報連結ステップにおいて、前記警告情報および前記差分情報を照合することにより、各警告情報に対して、該警告情報の示す警告箇所の位置を含む差分の範囲があるか否かを表す差分有無情報を、前記類似識別情報に加えてさらに追加した前記連結警告情報を生成し、
前記優先度決定ステップにおいて、前記警告識別情報および前記類似識別情報に加えて、前記差分有無情報に基づく前記優先度決定基準を用いて前記優先度を決定することを特徴とする請求項7に記載のコンピュータ・プログラム。 - 前記優先度決定基準の設定変更を表す情報の取得に応じて、設定変更した前記優先度決定基準を用いて前記優先度決定ステップを前記コンピュータ装置に実行させることを特徴とする請求項7または請求項8に記載のコンピュータ・プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013155787A JP6121828B2 (ja) | 2013-07-26 | 2013-07-26 | 静的解析装置、静的解析方法、および、コンピュータ・プログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013155787A JP6121828B2 (ja) | 2013-07-26 | 2013-07-26 | 静的解析装置、静的解析方法、および、コンピュータ・プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015026276A true JP2015026276A (ja) | 2015-02-05 |
JP6121828B2 JP6121828B2 (ja) | 2017-04-26 |
Family
ID=52490871
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013155787A Active JP6121828B2 (ja) | 2013-07-26 | 2013-07-26 | 静的解析装置、静的解析方法、および、コンピュータ・プログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6121828B2 (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2017151594A (ja) * | 2016-02-23 | 2017-08-31 | 日本電気株式会社 | 支援装置、支援方法及びプログラム |
JP2018026135A (ja) * | 2016-08-11 | 2018-02-15 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告の効率的な運用のための原因ポイント解析のためのシステム及び方法 |
US11281566B2 (en) | 2018-07-23 | 2022-03-22 | Mitsubishi Electric Corporation | Scoring device, computer readable medium, and scoring method |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010079447A (ja) * | 2008-09-24 | 2010-04-08 | Fujitsu Ltd | バグ検出支援プログラム、類似構文識別情報一覧出力プログラム、バグ検出支援装置およびバグ検出支援方法 |
JP2012248050A (ja) * | 2011-05-30 | 2012-12-13 | Nec Commun Syst Ltd | 静的解析支援装置、静的解析支援方法、及びプログラム |
-
2013
- 2013-07-26 JP JP2013155787A patent/JP6121828B2/ja active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010079447A (ja) * | 2008-09-24 | 2010-04-08 | Fujitsu Ltd | バグ検出支援プログラム、類似構文識別情報一覧出力プログラム、バグ検出支援装置およびバグ検出支援方法 |
JP2012248050A (ja) * | 2011-05-30 | 2012-12-13 | Nec Commun Syst Ltd | 静的解析支援装置、静的解析支援方法、及びプログラム |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2017151594A (ja) * | 2016-02-23 | 2017-08-31 | 日本電気株式会社 | 支援装置、支援方法及びプログラム |
JP2018026135A (ja) * | 2016-08-11 | 2018-02-15 | タタ コンサルタンシー サービシズ リミテッドTATA Consultancy Services Limited | 静的解析警告の効率的な運用のための原因ポイント解析のためのシステム及び方法 |
US11281566B2 (en) | 2018-07-23 | 2022-03-22 | Mitsubishi Electric Corporation | Scoring device, computer readable medium, and scoring method |
Also Published As
Publication number | Publication date |
---|---|
JP6121828B2 (ja) | 2017-04-26 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10489591B2 (en) | Detection system and method thereof | |
US10127301B2 (en) | Method and system for implementing efficient classification and exploration of data | |
US8904352B2 (en) | Systems and methods for processing source code during debugging operations | |
US9811449B2 (en) | Test scenario generation support device and test scenario generation support method | |
CN106897197B (zh) | 错误日志的去重方法及装置 | |
CN105205397A (zh) | 恶意程序样本分类方法及装置 | |
JP6121828B2 (ja) | 静的解析装置、静的解析方法、および、コンピュータ・プログラム | |
KR20150137388A (ko) | 데이터 처리 시스템 및 방법 | |
JP6419667B2 (ja) | テストdbデータ生成方法及び装置 | |
CN112256635A (zh) | 一种识别文件类型的方法及装置 | |
WO2018066661A1 (ja) | ログ分析方法、システムおよび記録媒体 | |
US20180173687A1 (en) | Automatic datacenter state summarization | |
US8667008B2 (en) | Search request control apparatus and search request control method | |
Simons et al. | Regression test cases prioritization using failure pursuit sampling | |
JP6722565B2 (ja) | 類似文書抽出装置、類似文書抽出方法及び類似文書抽出プログラム | |
JP4886404B2 (ja) | ソースコード修正優先度付けシステムおよびその優先度付け方法 | |
JP2021039488A (ja) | 辞書作成装置及び辞書作成方法 | |
JP2013077124A (ja) | ソフトウェアテストケース生成装置 | |
US10055341B2 (en) | To-be-stubbed target determining apparatus, to-be-stubbed target determining method and non-transitory recording medium storing to-be-stubbed target determining program | |
JP6665576B2 (ja) | 支援装置、支援方法及びプログラム | |
JP2016071712A (ja) | 評価結果の出力プログラム、評価結果の出力方法および情報処理装置 | |
JP2009134360A (ja) | モデル検査システム、モデル検査方法およびモデル検査用プログラム | |
CN110244954B (zh) | 一种应用程序的编译方法及设备 | |
JP2018136640A (ja) | 検出方法、検出装置および検出プログラム | |
CN107196789B (zh) | 一种校验基站参数的方法和装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20160616 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20170228 |
|
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: 20170307 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20170330 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6121828 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |