JP5725623B2 - プログラム分析装置及び方法及びプログラム - Google Patents
プログラム分析装置及び方法及びプログラム Download PDFInfo
- Publication number
- JP5725623B2 JP5725623B2 JP2012107121A JP2012107121A JP5725623B2 JP 5725623 B2 JP5725623 B2 JP 5725623B2 JP 2012107121 A JP2012107121 A JP 2012107121A JP 2012107121 A JP2012107121 A JP 2012107121A JP 5725623 B2 JP5725623 B2 JP 5725623B2
- Authority
- JP
- Japan
- Prior art keywords
- program
- concept
- scenario
- formal
- module
- 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.)
- Expired - Fee Related
Links
- 238000000034 method Methods 0.000 title description 24
- 238000004458 analytical method Methods 0.000 claims description 51
- 230000006870 function Effects 0.000 claims description 23
- 238000012545 processing Methods 0.000 claims description 16
- 238000000605 extraction Methods 0.000 claims description 8
- 238000006243 chemical reaction Methods 0.000 claims description 3
- 238000013461 design Methods 0.000 description 9
- 230000010365 information processing Effects 0.000 description 7
- 238000012423 maintenance Methods 0.000 description 5
- 238000012217 deletion Methods 0.000 description 4
- 230000037430 deletion Effects 0.000 description 4
- 238000007796 conventional method Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 230000004907 flux Effects 0.000 description 2
- 229930091051 Arenine Natural products 0.000 description 1
- 230000004913 activation Effects 0.000 description 1
- 238000012937 correction Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000008569 process Effects 0.000 description 1
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
シナリオ1だけが有する特徴:{m2、m5}
シナリオ2だけが有する特徴:{m3}
シナリオ3だけが有する特徴:{m4、m7}
シナリオ2と3が共通に有する特徴:{m6}
シナリオ1、2、3が共通に有する特徴:{m1、m8、m9}
が抽出される。これにより、各モジュールがどのような状況において実行されるかを理解することができる。
プログラムへの入力操作の集合であり、該プログラムの典型的な機能を網羅するシナリオ群の実行に関するトレース情報が格納されているトレースファイル記憶手段と、
理解の対象となるソースコードが入力されると、前記トレースファイル記憶手段からトレース情報を読み出し、前記シナリオを起動した際に実行されるモジュールと該モジュールの依存関係を特定する依存関係特定手段と、
前記シナリオをオブジェクトとし、前記モジュールの依存関係を属性とする形式文脈を抽出する形式文脈抽出手段と、
前記形式文脈を形式概念分析の手法で分析し、概念束を生成する概念分析手段と、
を有する。
1) 理解の対象となるソースコード;
2) プログラムへの入力操作の集合であり、プログラムの典型的な機能を網羅するシナリオ群;
3) シナリオを起動した際に、実行されるモジュールとモジュールの依存関係を特定する手段;
4) シナリオをオブジェクトとし、シナリオにより実行されるモジュールとモジュールの依存関係を属性とする形式文脈を抽出する手段、
5) 形式文脈を形式概念分析の手法で分析する手段;
を使用することが最良の形態である。1)に対し、2)を定義し、3)により依存関係を特定する。さらに依存関係を用いて、4)としてシナリオをオブジェクト、実行されるモジュールとその依存関係を属性とする形式文脈を構成する。これに対し5)により分析を行なうことで、本願発明が実施可能となる。
・カウンタxを1加算し、
・属性記憶部330の属性レコードE[x]を文字列"j→k"とし、
・形式文脈記憶部340の形式文脈レコードF[i][x]を1とする。
シナリオ1だけが有する特徴:{m1→m2、m2→m5、m5→m8}
シナリオ2だけが有する特徴:{m1→m3、m3→m6}、
シナリオ3だけが有する特徴:{m1→m4、m4→m6、m4→m7、m7→m8}
シナリオ2と3に共通する特徴:{m6→m8}
シナリオ1、2、3に共通する特徴:{s→m1、m8→m9}
が抽出される。各特徴に含まれる属性は、依存関係をもとにグループ化することができ、グループ化を行なうと、
シナリオ1だけが有する特徴:{m1→m2→m5→m8}
シナリオ2だけが有する特徴:{m1→m3→m6}
シナリオ3だけが有する特徴:{m1→m4→m6、m1→m4→m7→m8}
シナリオ2と3に共通する特徴:{m6→m8}
シナリオ1、2、3に共通する特徴:{s→m1、m8→m9}、
のような、モジュールの実行と、実行されるモジュール間の依存関係を、モジュールのソースコードを読解すること無く得ることが出来る。
1) 設計ドキュメントに記載された機能の、プログラムによる実装箇所を特定する;
2) 特徴として得られたモジュールの実装状況の分析にもとづき、設計ドキュメントを修正に資することができる;
という効果を求める産業上の利用可能性がある。
110 トレース部
120 依存関係特定部
130 形式文脈抽出部
140 概念分析部
200 磁気ディスク
210 実行トレース記憶部
300 メモリ
310 依存元記憶部
320 依存性記憶部
330 属性記憶部
340 形式文脈記憶部
Claims (8)
- プログラムの構造や処理の理解を支援するためのプログラム分析装置であって、
プログラムへの入力操作の集合であり、該プログラムの典型的な機能を網羅するシナリオ群の実行に関するトレース情報が格納されているトレースファイル記憶手段と、
理解の対象となるソースコードが入力されると、前記トレースファイル記憶手段からトレース情報を読み出し、前記シナリオを起動した際に実行されるモジュールと該モジュールの依存関係を特定する依存関係特定手段と、
前記シナリオをオブジェクトとし、前記モジュールの依存関係を属性とする形式文脈を抽出する形式文脈抽出手段と、
前記形式文脈を形式概念分析の手法で分析し、概念束を生成する概念分析手段と、
を有することを特徴とするプログラム分析装置。 - 前記概念分析手段は、
前記概念束を、各ノードの概念間の差分を示す形の表現変換を行うことにより希薄な概念束を生成する手段を含む
請求項1記載のプログラム分析装置。 - 前記概念分析手段は、
前記シナリオの特徴に含まれる属性を、依存関係に基づいてグループ化する手段を含む
請求項1または2記載のプログラム分析装置。 - 前記シナリオが入力されると、該シナリオに関するトレース情報をトレースファイル記憶手段に格納するトレース手段を
更に有する請求項1記載のプログラム分析装置。 - プログラムの構造や処理の理解を支援するためのプログラム分析方法であって、
依存関係特定手段が、理解の対象となるソースコードが入力されると、プログラムへの入力操作の集合であり、該プログラムの典型的な機能を網羅するシナリオ群の実行に関するトレース情報が格納されているトレースファイル記憶手段からトレース情報を読み出し、前記シナリオを起動した際に実行されるモジュールと該モジュールの依存関係を特定する依存関係特定ステップと、
形式文脈抽出手段が、前記シナリオをオブジェクトとし、前記モジュールの依存関係を属性とする形式文脈を抽出する形式文脈抽出ステップと、
概念分析手段が、前記形式文脈を形式概念分析の手法で分析し、概念束を生成する概念分析ステップと、
を行うことを特徴とするプログラム分析方法。 - 前記概念分析ステップにおいて、
前記概念束を、各ノードの概念間の差分を示す形の表現変換を行うことにより希薄な概念束を生成する
請求項5記載のプログラム分析方法。 - 前記シナリオが入力されると、該シナリオに関するトレース情報をトレースファイル記憶手段に格納するトレースステップを
更に行う請求項5記載のプログラム分析方法。 - コンピュータを、
請求項1乃至4のいずれか1項に記載のプログラム分析装置の各手段として機能させるためのプログラム分析プログラム。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012107121A JP5725623B2 (ja) | 2012-05-08 | 2012-05-08 | プログラム分析装置及び方法及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2012107121A JP5725623B2 (ja) | 2012-05-08 | 2012-05-08 | プログラム分析装置及び方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013235398A JP2013235398A (ja) | 2013-11-21 |
JP5725623B2 true JP5725623B2 (ja) | 2015-05-27 |
Family
ID=49761482
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2012107121A Expired - Fee Related JP5725623B2 (ja) | 2012-05-08 | 2012-05-08 | プログラム分析装置及び方法及びプログラム |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP5725623B2 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107391584A (zh) * | 2017-06-22 | 2017-11-24 | 中南大学 | 基于形式概念格的分面搜索方法及*** |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10671917B1 (en) | 2014-07-23 | 2020-06-02 | Hrl Laboratories, Llc | System for mapping extracted Neural activity into Neuroceptual graphs |
US10360506B2 (en) | 2014-07-23 | 2019-07-23 | Hrl Laboratories, Llc | General formal concept analysis (FCA) framework for classification |
EP3172701A4 (en) * | 2014-07-23 | 2018-03-28 | HRL Laboratories LLC | A general formal concept analysis (fca) framework for classification |
US10546233B1 (en) | 2014-07-23 | 2020-01-28 | Hrl Laboratories, Llc | Method and system to predict and interpret conceptual knowledge in the brain |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2010147010A1 (ja) * | 2009-06-17 | 2010-12-23 | 日本電気株式会社 | モジュール分類解析システム、モジュール分類解析方法およびモジュール分類解析プログラム |
-
2012
- 2012-05-08 JP JP2012107121A patent/JP5725623B2/ja not_active Expired - Fee Related
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107391584A (zh) * | 2017-06-22 | 2017-11-24 | 中南大学 | 基于形式概念格的分面搜索方法及*** |
CN107391584B (zh) * | 2017-06-22 | 2020-12-11 | 中南大学 | 基于形式概念格的分面搜索方法及*** |
Also Published As
Publication number | Publication date |
---|---|
JP2013235398A (ja) | 2013-11-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9767008B2 (en) | Automatic test case generation | |
CA2713247C (en) | Integration environment generator | |
Miles et al. | Prime: A methodology for developing provenance-aware applications | |
US9569177B2 (en) | Service extraction and application composition | |
US9037595B2 (en) | Creating graphical models representing control flow of a program manipulating data resources | |
JP5725623B2 (ja) | プログラム分析装置及び方法及びプログラム | |
EP3234851B1 (en) | A system and method for facilitating static analysis of software applications | |
Sivanandan | Agile development cycle: Approach to design an effective Model Based Testing with Behaviour driven automation framework | |
CN110019116B (zh) | 数据追溯方法、装置、数据处理设备及计算机存储介质 | |
US20170193375A1 (en) | Rule guided fabrication of structured data and messages | |
Sarjoughian et al. | EMF-DEVS modeling. | |
WO2015154474A1 (zh) | 一种查询界面的生成方法及装置 | |
US20180025162A1 (en) | Application program analysis apparatus and method | |
CN111966718B (zh) | 用于应用***的数据传播追踪的***及方法 | |
JP2017522639A5 (ja) | ||
Kamimori et al. | Automatic method of generating a web prototype employing live interactive widget to validate functional usability requirements | |
Mohite et al. | Analysis of System Requirements by Aspects-J Methodology | |
Mayer et al. | On the applicability of workflow management systems for the preservation of business processes | |
Miksa et al. | VPlan–ontology for collection of process verification data | |
Geepalla et al. | Transformation of spatio-temporal role based access control specification to alloy | |
JP6021109B2 (ja) | プログラム分析装置及び方法及びプログラム | |
Gao et al. | Generating open api usage rule from error descriptions | |
KR101673151B1 (ko) | 프로그램 소스 및 db 스키마의 연관 관계 변화 분석 방법 및 장치 | |
Weiss et al. | Introducing the QCEP-testing system for executable acceptance test driven development of complex event processing applications | |
Quéval et al. | Extracting the Architecture of Microservices: An Approach for Explainability and Traceability |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20140616 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A821 Effective date: 20140616 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20150224 |
|
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: 20150324 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20150327 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5725623 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
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 |