JP2013025716A - モジュールの構造解析を支援する装置及びプログラム - Google Patents
モジュールの構造解析を支援する装置及びプログラム Download PDFInfo
- Publication number
- JP2013025716A JP2013025716A JP2011162519A JP2011162519A JP2013025716A JP 2013025716 A JP2013025716 A JP 2013025716A JP 2011162519 A JP2011162519 A JP 2011162519A JP 2011162519 A JP2011162519 A JP 2011162519A JP 2013025716 A JP2013025716 A JP 2013025716A
- Authority
- JP
- Japan
- Prior art keywords
- module
- sentence
- function
- statement
- operand
- 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 abstract description 5
- 230000006870 function Effects 0.000 claims abstract description 147
- 238000012545 processing Methods 0.000 claims abstract description 137
- 238000006243 chemical reaction Methods 0.000 claims abstract description 72
- 239000011159 matrix material Substances 0.000 claims description 75
- 230000014509 gene expression Effects 0.000 claims description 27
- 238000012916 structural analysis Methods 0.000 claims description 27
- 239000000284 extract Substances 0.000 claims description 4
- 238000000034 method Methods 0.000 description 32
- 230000008569 process Effects 0.000 description 24
- 238000012986 modification Methods 0.000 description 12
- 230000004048 modification Effects 0.000 description 12
- 238000012423 maintenance Methods 0.000 description 11
- 238000010586 diagram Methods 0.000 description 10
- 230000008859 change Effects 0.000 description 5
- 238000011161 development Methods 0.000 description 5
- 238000012360 testing method Methods 0.000 description 4
- 238000004891 communication Methods 0.000 description 3
- 238000002360 preparation method Methods 0.000 description 3
- 230000004913 activation Effects 0.000 description 2
- 239000003086 colorant Substances 0.000 description 2
- 238000011156 evaluation Methods 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/75—Structural analysis for program understanding
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/51—Source to source
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Quality & Reliability (AREA)
Abstract
【解決手段】モジュールの構造解析を支援する装置は、1以上のモジュールが記憶された記憶手段と、記憶手段に記憶されたモジュールのうち所定の対象モジュールを二次的モジュールに変換して記憶手段に記憶する変換手段とを備えている。変換手段は、対象モジュールを記憶手段から読み込み、対象モジュールの所定の処理開始箇所から所定の処理終了箇所までに記述された文の夫々を二次的モジュールに順次出力する。また、変換手段は、文がモジュール内部の処理単位又は他のモジュールを実行する文である場合、実行対象の処理単位等に記述されている文を再帰的に展開して二次的モジュールに出力する。
【選択図】図1
Description
プログラム言語によって記述された1以上の文からなるモジュールを1以上の二次的文からなる二次的モジュールに変換する装置であって、
前記モジュールはモジュール名によって特定可能であり、前記モジュールには、1以上の前記文から構成される処理単位であって処理単位名によって特定可能な前記処理単位を記述することが可能であり、
前記モジュールには、前記文として、前記処理単位を前記処理単位名によって特定して実行するための処理単位実行文と、前記モジュールを前記モジュール名によって特定して実行するためのモジュール呼び出し文と、条件式が成立するか成立しないかによって実行すべき前記文を選択するための条件文とを記述可能であり、前記条件文によって選択される前記文として更に前記条件文が記述可能であり、これにより前記条件文による前記文の階層化が可能であり、
前記装置は、1以上の前記モジュールが記憶された記憶手段と、前記記憶手段に記憶された前記モジュールのうちの所定の対象モジュールを前記二次的モジュールに変換して前記記憶手段に記憶する変換手段とを備えており、
前記変換手段は、前記対象モジュールを前記記憶手段から読み込む読込機能と、前記対象モジュールの所定の処理開始箇所から所定の処理終了箇所までに記述された前記文の夫々を前記二次的文として前記二次的モジュールに順次出力すると共に、前記文が前記処理単位実行文又は前記モジュール呼び出し文である場合、実行対象の前記処理単位又は呼び出し対象の前記モジュールに記述されている前記文を展開することで前記二次的文を生成して前記二次的モジュールに出力する変換機能であって、前記展開される前記文における前記処理単位実行文又は前記モジュール呼び出し文についても前記展開を更に行う前記変換機能と、前記二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置を提供する。
前記変換手段は、展開制御情報を取得する制御情報取得機能を有しており、前記展開制御情報は、実行対象の前記処理単位又は呼び出し対象の前記モジュールに記述されている前記文の前記展開を初回のみに制限することを指示する展開制限指示を指定することが可能なものであり、
前記変換手段は、前記変換機能において、前記展開制御情報に前記展開制限指示が指定されている場合、同一の前記処理単位については、実行対象の前記処理単位に記述されている前記文の前記展開を初回の1回のみ行い、同一の前記モジュールについては、呼び出し対象の前記モジュールに記述されている前記文の前記展開を初回の1回のみ行う
モジュールの構造解析を支援する装置を提供する。
前記変換手段は、前記変換機能において、前記文が前記条件文である場合、前記条件文の前記条件式に基づいて前記二次的文の一つである二次的条件文を生成し、前記二次的条件文によって前記二次的文を階層化して前記二次的モジュールに出力するものであり、
前記二次的条件文は、2つの評価対象オペランド間の関係を1つの論理演算子のみによって評価する二次的条件式が成立するか成立しないかによって実行すべき前記二次的文を選択するものである
モジュールの構造解析を支援する装置を提供する。
前記変換手段は、前記二次的モジュールに出力する前記二次的文の少なくとも一部について、前記二次的文がいずれの前記階層に位置しているかを示す階層識別を付加する階層識別付加機能と、前記二次的モジュールに出力する前記二次的文のうち定数又は変数からなる2つのオペランドと1つの演算子とを含むものについて、2つの前記オペランドと1つの前記演算子とからなるオペランド情報を前記二次的文に付加するオペランド付加機能とのうちの少なくとも一方を有している
モジュールの構造解析を支援する装置を提供する。
前記装置は、前記記憶手段に記憶された前記二次的モジュールを加工する加工手段を備えており、
前記加工手段は、読込機能と、階層識別付加機能とオペランド付加機能とのうちの少なくとも一方と、書込機能とを有しており、
前記読込機能は、前記二次的モジュールを前記記憶手段から読み込む機能であり、
前記階層識別付加機能は、前記二次的モジュールの前記二次的文の少なくとも一部について、前記二次的文がいずれの前記階層に位置しているかを示す階層識別を付加する機能であり、
前記オペランド付加機能は、前記二次的モジュールの前記二次的文のうち定数又は変数からなる2つのオペランドと1つの演算子とを含むものについて、2つの前記オペランドと1つの前記演算子とからなるオペランド情報を前記二次的文に付加する機能であり、
前記書込機能は、前記階層識別又は前記オペランド情報が付加された前記二次的文からなる前記二次的モジュールを前記記憶手段に記憶する機能である
モジュールの構造解析を支援する装置を提供する。
前記装置は、前記記憶手段に記憶された前記二次的モジュールの前記二次的文の一部を選択する選択手段を備えており、
前記選択手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的文のうち選択対象とすべきものの前記階層識別を特定する階層識別特定情報を取得する特定情報取得機能と、前記二次的モジュールの前記二次的文のうち前記階層識別が前記階層識別特定情報によって特定される前記階層識別と同一であるものを選択して選択後の二次的モジュールに出力する選択機能と、前記選択後の二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置を提供する。
前記装置は、前記記憶手段に記憶された前記二次的モジュールから表形式のフローチャートを作成するフローチャート作成手段を備えており、
前記フローチャート作成手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的モジュールの前記二次的文のうち階層識別によって示される階層が同一である前記二次的文について、前記二次的条件式が成立した場合に実行される前記二次的文と前記二次的条件式が成立しない場合に実行される前記二次的文とを表の左右に並べた前記フローチャートを作成するフローチャート作成機能と、前記フローチャートを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置を提供する。
前記装置は、前記記憶手段に記憶された前記二次的モジュールの前記二次的文に所定の表示属性を設定する表示属性設定手段を備えており、
前記表示属性設定手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、初期検索文字を取得する初期検索文字取得機能と、前記二次的モジュールの前記二次的文のうち前記オペランド情報の前記オペランドに前記初期検索文字を含んでいるものの前記オペランドを追加検索文字とし、前記二次的文のうち前記オペランド情報の前記オペランドに前記追加検索文字を含んでいるものの前記オペランドを更に前記追加検索文字として、前記二次的文のうち前記オペランド情報の前記オペランドに前記初期検索文字又は前記追加検索文字を含んでいるものに前記所定の表示属性を設定する表示属性設定機能と、前記二次的文に前記所定の表示属性が設定された前記二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置を提供する。
前記装置は、前記記憶手段に記憶された前記二次的モジュールから複数の列と1以上の行とを組み合わせた表形式のマトリックスを作成するマトリックス作成手段を備えており、
前記マトリックス作成手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的モジュールの前記二次的文を前記マトリックスの所定の列の各行に出力する二次的文出力機能と、前記二次的モジュールの1以上の前記二次的条件式について、その全てが成立する場合と、その一部が成立する場合と、その全てが成立しない場合とを含む全てのケースを生成するケース生成機能と、生成した前記ケースの夫々に前記列のいずれかを関連表示列として対応させ、前記行に出力された前記二次的文のうち前記関連表示列と対応する前記ケースにおいて実行対象となるものが出力されている前記行に、実行対象となることを示す表示情報を出力するマトリックス作成機能と、前記マトリックスを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置を提供する。
前記マトリックス作成手段は、前記マトリックス作成機能において、前記記憶手段に記憶された前記二次的モジュールの前記二次的文の一部を選択し、前記関連表示列のうち前記選択された前記二次的文が実行対象となる前記ケースに対応するもののみを前記記憶対象として抽出する
モジュールの構造解析を支援する装置を提供する。
Processing Unit)、主記憶装置等を備えている(図示せず)。記憶装置30には様々なプログラムの実行形式ファイルが記憶されている(図示せず)。CPUは、実行形式ファイルを主記憶装置にローディングし、実行形式ファイル内の命令語を実行することで様々な機能を実現する。またCPUが命令語を実行する過程において、記憶装置30に記憶された所定のファイルが、主記憶装置内のバッファ領域を経由してプログラムの変数領域に読み込まれる。また、プログラムの変数領域に読み込まれたファイルの内容は、必要に応じて主記憶装置内のバッファ領域を経由して記憶装置30に書き込まれる。上記の説明から理解されるように、記憶装置30と主記憶装置とは、本実施の形態における読み込み及び書き込み可能な記憶手段として夫々機能する。以降の説明における記憶手段としては記憶装置30を例示する。
DIVISION.”が記述された行310の次の行から、”STOP
RUN.”が記述された行310までのメインセクション(モジュールにおける処理の起点となる主たる処理単位)と、”AAA-SUB
SECTION.”が記述された行310から、”EXIT.”が記述された行310までの従たるセクション(従たる処理単位)を有している。なお、上述の従たるセクションのセクション名(処理単位名)はAAA−SUBであり、メインセクションは、AAA−SUBセクションをセクション名によって特定して実行する行310を備えている。より具体的には、メインセクションは、”PERFORM
AAA-SUB.”が記述された行310を備えている。
CS-1”、”MOVE
CS-1 TO WK-B-I”が夫々記述された3つの文312は、”*#E
EVALUATE WK-A-O”(コメント文)、”*#E WHEN
CS-1” (コメント文)、”IF ( WK-A-O = CS-1 )” 、”THEN”、”MOVE
CS-1 TO WK-B-I”が夫々記述された5つの二次的文327に変換される。上記の変換に加え、IF文におけるTHEN、ELSE及びEND IFの欠落を補うための二次的文327が生成される。また、否定の条件式は肯定の条件式に変換される。更に、ANDやORで結合された条件式を有するIF文は複数のIF文に分解されて、2つの評価対象オペランド間の関係を1つの論理演算子のみによって評価する単純な二次的条件式を有するIF文に変換される。
IFが記述された行320の次の行において末尾の「.p」なる桁が削除される。「.p」におけるpの値は、桁の夫々について1を出発値としている。詳しくは、1桁目の「.p」(例えば1.2の「.2」)におけるpの値は、1を出発値としており、付加される毎にインクリメントされる。一方、2桁目以降の「.p」(例えば1.2.1の「.1」)におけるpの値は、当該桁を除いた分岐の深さが同一値である行320が連続する範囲において1を出発値としており、当該連続する範囲において付加される毎にインクリメントされる。
9 TO WK-C-I”が記述されている二次的文327については、第1オペランド325f、演算子325o及び第1オペランド325sに、9、TO及びWK−C−Iが夫々設定される。オペランド情報325を参照することによって、変数および定数間の代入・比較がどのように行われているかを、より容易に把握することができる。
20,20′,20″ 装置本体
21 変換手段
22 加工手段
23 選択手段
24 表示属性設定手段
25 フローチャート作成手段
26 マトリックス作成手段
30,30′,30″ 記憶装置(記憶手段)
31 モジュール(ソースプログラム)
310 行
311 一連番号(行識別)
312 文
32 二次的モジュール(二次的ソースプログラム)
320 二次的行
321 モジュール識別
322 行番号
323 階層識別
324 命令識別
325 オペランド情報
325f 第1オペランド(オペランド)
325o 演算子
325s 第2オペランド(オペランド)
326 一連番号(行識別)
327 二次的文
328 表示属性
33 フローチャート
34 マトリックス
40 入力装置
50 表示装置
60 ファイルサーバ
70 記憶装置(記憶手段)
80 通信回線
Claims (11)
- プログラム言語によって記述された1以上の文からなるモジュールを1以上の二次的文からなる二次的モジュールに変換する装置であって、
前記モジュールはモジュール名によって特定可能であり、前記モジュールには、1以上の前記文から構成される処理単位であって処理単位名によって特定可能な前記処理単位を記述することが可能であり、
前記モジュールには、前記文として、前記処理単位を前記処理単位名によって特定して実行するための処理単位実行文と、前記モジュールを前記モジュール名によって特定して実行するためのモジュール呼び出し文と、条件式が成立するか成立しないかによって実行すべき前記文を選択するための条件文とを記述可能であり、前記条件文によって選択される前記文として更に前記条件文が記述可能であり、これにより前記条件文による前記文の階層化が可能であり、
前記装置は、1以上の前記モジュールが記憶された記憶手段と、前記記憶手段に記憶された前記モジュールのうちの所定の対象モジュールを前記二次的モジュールに変換して前記記憶手段に記憶する変換手段とを備えており、
前記変換手段は、前記対象モジュールを前記記憶手段から読み込む読込機能と、前記対象モジュールの所定の処理開始箇所から所定の処理終了箇所までに記述された前記文の夫々を前記二次的文として前記二次的モジュールに順次出力すると共に、前記文が前記処理単位実行文又は前記モジュール呼び出し文である場合、実行対象の前記処理単位又は呼び出し対象の前記モジュールに記述されている前記文を展開することで前記二次的文を生成して前記二次的モジュールに出力する変換機能であって、前記展開される前記文における前記処理単位実行文又は前記モジュール呼び出し文についても前記展開を更に行う前記変換機能と、前記二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置。 - 請求項1記載の装置であって、
前記変換手段は、展開制御情報を取得する制御情報取得機能を有しており、前記展開制御情報は、実行対象の前記処理単位又は呼び出し対象の前記モジュールに記述されている前記文の前記展開を初回のみに制限することを指示する展開制限指示を指定することが可能なものであり、
前記変換手段は、前記変換機能において、前記展開制御情報に前記展開制限指示が指定されている場合、同一の前記処理単位については、実行対象の前記処理単位に記述されている前記文の前記展開を初回の1回のみ行い、同一の前記モジュールについては、呼び出し対象の前記モジュールに記述されている前記文の前記展開を初回の1回のみ行う
モジュールの構造解析を支援する装置。 - 請求項1又は請求項2記載の装置であって、
前記変換手段は、前記変換機能において、前記文が前記条件文である場合、前記条件文の前記条件式に基づいて前記二次的文の一つである二次的条件文を生成し、前記二次的条件文によって前記二次的文を階層化して前記二次的モジュールに出力するものであり、
前記二次的条件文は、2つの評価対象オペランド間の関係を1つの論理演算子のみによって評価する二次的条件式が成立するか成立しないかによって実行すべき前記二次的文を選択するものである
モジュールの構造解析を支援する装置。 - 請求項3記載の装置であって、
前記変換手段は、前記二次的モジュールに出力する前記二次的文の少なくとも一部について、前記二次的文がいずれの前記階層に位置しているかを示す階層識別を付加する階層識別付加機能と、前記二次的モジュールに出力する前記二次的文のうち定数又は変数からなる2つのオペランドと1つの演算子とを含むものについて、2つの前記オペランドと1つの前記演算子とからなるオペランド情報を前記二次的文に付加するオペランド付加機能とのうちの少なくとも一方を有している
モジュールの構造解析を支援する装置。 - 請求項3記載の装置によって出力される二次的モジュールが記憶された記憶手段を備える装置であって、
前記装置は、前記記憶手段に記憶された前記二次的モジュールを加工する加工手段を備えており、
前記加工手段は、読込機能と、階層識別付加機能とオペランド付加機能とのうちの少なくとも一方と、書込機能とを有しており、
前記読込機能は、前記二次的モジュールを前記記憶手段から読み込む機能であり、
前記階層識別付加機能は、前記二次的モジュールの前記二次的文の少なくとも一部について、前記二次的文がいずれの前記階層に位置しているかを示す階層識別を付加する機能であり、
前記オペランド付加機能は、前記二次的モジュールの前記二次的文のうち定数又は変数からなる2つのオペランドと1つの演算子とを含むものについて、2つの前記オペランドと1つの前記演算子とからなるオペランド情報を前記二次的文に付加する機能であり、
前記書込機能は、前記階層識別又は前記オペランド情報が付加された前記二次的文からなる前記二次的モジュールを前記記憶手段に記憶する機能である
モジュールの構造解析を支援する装置。 - 請求項4又は請求項5記載の装置によって出力される二次的モジュールであって、少なくとも階層識別が付加された二次的文からなる前記二次的モジュールが記憶された記憶手段を備える装置であって、
前記装置は、前記記憶手段に記憶された前記二次的モジュールの前記二次的文の一部を選択する選択手段を備えており、
前記選択手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的文のうち選択対象とすべきものの前記階層識別を特定する階層識別特定情報を取得する特定情報取得機能と、前記二次的モジュールの前記二次的文のうち前記階層識別が前記階層識別特定情報によって特定される前記階層識別と同一であるものを選択して選択後の二次的モジュールに出力する選択機能と、前記選択後の二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置。 - 請求項4又は請求項5記載の装置によって出力される二次的モジュールであって、少なくとも階層識別が付加された二次的文からなる前記二次的モジュールが記憶された記憶手段を備える装置であって、
前記装置は、前記記憶手段に記憶された前記二次的モジュールから表形式のフローチャートを作成するフローチャート作成手段を備えており、
前記フローチャート作成手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的モジュールの前記二次的文のうち前記階層識別によって示される階層が同一である前記二次的文について、前記二次的条件式が成立した場合に実行される前記二次的文と前記二次的条件式が成立しない場合に実行される前記二次的文とを表の左右に並べた前記フローチャートを作成するフローチャート作成機能と、前記フローチャートを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置。 - 請求項4又は請求項5記載の装置によって出力される二次的モジュールであって、少なくともオペランド情報が付加された二次的文からなる前記二次的モジュールが記憶された記憶手段を備える装置であって、
前記装置は、前記記憶手段に記憶された前記二次的モジュールの前記二次的文に所定の表示属性を設定する表示属性設定手段を備えており、
前記表示属性設定手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、初期検索文字を取得する初期検索文字取得機能と、前記二次的モジュールの前記二次的文のうち前記オペランド情報の前記オペランドに前記初期検索文字を含んでいるものの前記オペランドを追加検索文字とし、前記二次的文のうち前記オペランド情報の前記オペランドに前記追加検索文字を含んでいるものの前記オペランドを更に前記追加検索文字として、前記二次的文のうち前記オペランド情報の前記オペランドに前記初期検索文字又は前記追加検索文字を含んでいるものに前記所定の表示属性を設定する表示属性設定機能と、前記二次的文に前記所定の表示属性が設定された前記二次的モジュールを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置。 - 請求項3記載の装置によって出力される二次的モジュールが記憶された記憶手段を備える装置であって、
前記装置は、前記記憶手段に記憶された前記二次的モジュールから複数の列と1以上の行とを組み合わせた表形式のマトリックスを作成するマトリックス作成手段を備えており、
前記マトリックス作成手段は、前記二次的モジュールを前記記憶手段から読み込む読込機能と、前記二次的モジュールの前記二次的文を前記マトリックスの所定の列の各行に出力する二次的文出力機能と、前記二次的モジュールの1以上の前記二次的条件式について、その全てが成立する場合と、その一部が成立する場合と、その全てが成立しない場合とを含む全てのケースを生成するケース生成機能と、生成した前記ケースの夫々に前記列のいずれかを関連表示列として対応させ、前記行に出力された前記二次的文のうち前記関連表示列と対応する前記ケースにおいて実行対象となるものが出力されている前記行に、実行対象となることを示す表示情報を出力するマトリックス作成機能と、前記マトリックスを前記記憶手段に記憶する書込機能とを有している
モジュールの構造解析を支援する装置。 - 請求項9記載の装置であって、
前記マトリックス作成手段は、前記マトリックス作成機能において、前記記憶手段に記憶された前記二次的モジュールの前記二次的文の一部を選択し、前記関連表示列のうち前記選択された前記二次的文が実行対象となる前記ケースに対応するもののみを前記記憶対象として抽出する
モジュールの構造解析を支援する装置。 - コンピュータを、請求項1乃至請求項10のいずれかに記載の装置として機能させるためのプログラム。
Priority Applications (5)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011162519A JP5458065B2 (ja) | 2011-07-25 | 2011-07-25 | モジュールの構造解析を支援する装置及びプログラム |
KR1020147003424A KR101905675B1 (ko) | 2011-07-25 | 2012-07-10 | 모듈의 구조 해석을 지원하는 장치 및 프로그램 |
CN201280033010.4A CN103635880B (zh) | 2011-07-25 | 2012-07-10 | 对模块的结构分析进行支援的装置 |
US14/235,040 US9128807B2 (en) | 2011-07-25 | 2012-07-10 | Module structural analysis supporting device and program |
PCT/JP2012/067577 WO2013015109A1 (ja) | 2011-07-25 | 2012-07-10 | モジュールの構造解析を支援する装置及びプログラム |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011162519A JP5458065B2 (ja) | 2011-07-25 | 2011-07-25 | モジュールの構造解析を支援する装置及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2013025716A true JP2013025716A (ja) | 2013-02-04 |
JP5458065B2 JP5458065B2 (ja) | 2014-04-02 |
Family
ID=47600962
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2011162519A Active JP5458065B2 (ja) | 2011-07-25 | 2011-07-25 | モジュールの構造解析を支援する装置及びプログラム |
Country Status (5)
Country | Link |
---|---|
US (1) | US9128807B2 (ja) |
JP (1) | JP5458065B2 (ja) |
KR (1) | KR101905675B1 (ja) |
CN (1) | CN103635880B (ja) |
WO (1) | WO2013015109A1 (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2015015622A1 (ja) * | 2013-08-01 | 2015-02-05 | 松崎 務 | 装置及びプログラム |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6366033B2 (ja) * | 2014-05-09 | 2018-08-01 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | プログラム中のif文の最適化方法 |
Citations (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01286026A (ja) * | 1988-05-13 | 1989-11-17 | Hitachi Ltd | プログラムの実現仕様解析方式 |
JPH02140828A (ja) * | 1988-11-22 | 1990-05-30 | Nec Corp | 図式プログラムエディタにおける階層別プログラム表示方式 |
JPH03292532A (ja) * | 1990-04-11 | 1991-12-24 | Nissan Motor Co Ltd | プログラム開発支援装置 |
JPH04127235A (ja) * | 1990-03-09 | 1992-04-28 | Hitachi Ltd | プログラム表示方法および装置ならびにプログラム生成方法および装置 |
JPH04165425A (ja) * | 1990-10-29 | 1992-06-11 | Nippon Telegr & Teleph Corp <Ntt> | 記号列中の入れ子関係抽出方法及びその装置 |
JPH07261990A (ja) * | 1994-03-23 | 1995-10-13 | Fujitsu Ltd | プログラム解析表示装置 |
JPH07281883A (ja) * | 1994-04-06 | 1995-10-27 | Fujitsu Ltd | プログラム修正支援装置及び方法 |
JPH0895763A (ja) * | 1994-09-22 | 1996-04-12 | Hitachi Software Eng Co Ltd | オリジナルプログラムへの部品プログラム取り込み方法 |
JPH09282150A (ja) * | 1996-04-12 | 1997-10-31 | Internatl Business Mach Corp <Ibm> | プログラムのデータ構造を表示する方法、データ構造表示装置及びデータ構造表示プログラムを格納する媒体 |
JPH10320190A (ja) * | 1997-05-20 | 1998-12-04 | Fujitsu Ltd | ソースプログラム経路検索装置および検索プログラムを記録した媒体 |
JPH11272503A (ja) * | 1998-03-24 | 1999-10-08 | Hitachi Software Eng Co Ltd | プログラムのテストデータ自動生成装置 |
JP2001154835A (ja) * | 1999-11-30 | 2001-06-08 | Sharp Corp | 構造化プログラム編集装置、及び構造化プログラム編集プログラムを記録した記録媒体 |
JP2008181311A (ja) * | 2007-01-24 | 2008-08-07 | Toshiba Corp | リファクタリング支援装置及びプログラム |
JP2009086922A (ja) * | 2007-09-28 | 2009-04-23 | Toshiba Mitsubishi-Electric Industrial System Corp | プログラム編集装置 |
Family Cites Families (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03150636A (ja) * | 1989-11-08 | 1991-06-27 | Matsushita Electric Ind Co Ltd | コンパイル方法 |
US5390320A (en) * | 1991-01-22 | 1995-02-14 | Grumman Aerospace Corporation | Automatically converting structured analysis tool database outputs into an integrated simulation model via transportable standardized metafile |
JPH11110198A (ja) | 1997-10-02 | 1999-04-23 | Fujitsu Ltd | モジュール構成図自動生成装置および記録媒体 |
US7299458B2 (en) | 2002-10-31 | 2007-11-20 | Src Computers, Inc. | System and method for converting control flow graph representations to control-dataflow graph representations |
US7424646B2 (en) * | 2004-11-30 | 2008-09-09 | International Business Machines Corporation | Imposing a logical structure on an unstructured trace record for trace analysis |
JP2006209521A (ja) | 2005-01-28 | 2006-08-10 | Matsushita Electric Ind Co Ltd | テスト項目自動生成装置 |
US20060253840A1 (en) * | 2005-04-25 | 2006-11-09 | Eologic Limited | Program verification and visualization using a dynamic abstracted conceptual model |
CN1949168A (zh) * | 2005-10-14 | 2007-04-18 | 英业达股份有限公司 | 面板程序转换系统以及方法 |
US7568189B2 (en) * | 2006-05-03 | 2009-07-28 | Sony Computer Entertainment Inc. | Code translation and pipeline optimization |
US9021446B2 (en) * | 2006-06-28 | 2015-04-28 | Oracle America, Inc. | Uncoverage tool |
US7805705B2 (en) * | 2006-08-04 | 2010-09-28 | Apple Inc. | Graphically depicting program code depth |
US8336028B2 (en) * | 2007-11-26 | 2012-12-18 | International Business Machines Corporation | Evaluating software sustainability based on organizational information |
US9405555B2 (en) * | 2008-05-23 | 2016-08-02 | Microsoft Technology Licensing, Llc | Automated code splitting and pre-fetching for improving responsiveness of browser-based applications |
US20100042974A1 (en) * | 2008-08-12 | 2010-02-18 | International Business Machines Corporation | Build optimization with applied static analysis |
US8286140B2 (en) * | 2008-10-10 | 2012-10-09 | American Express Travel Related Services Company, Inc. | System, computer program, and method for a static code coverage analyzer for computer programs |
US8612938B2 (en) * | 2009-01-05 | 2013-12-17 | Tata Consultancy Services Limited | System and method for automatic generation of test data to satisfy modified condition decision coverage |
-
2011
- 2011-07-25 JP JP2011162519A patent/JP5458065B2/ja active Active
-
2012
- 2012-07-10 KR KR1020147003424A patent/KR101905675B1/ko active IP Right Grant
- 2012-07-10 US US14/235,040 patent/US9128807B2/en active Active
- 2012-07-10 CN CN201280033010.4A patent/CN103635880B/zh active Active
- 2012-07-10 WO PCT/JP2012/067577 patent/WO2013015109A1/ja active Application Filing
Patent Citations (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH01286026A (ja) * | 1988-05-13 | 1989-11-17 | Hitachi Ltd | プログラムの実現仕様解析方式 |
JPH02140828A (ja) * | 1988-11-22 | 1990-05-30 | Nec Corp | 図式プログラムエディタにおける階層別プログラム表示方式 |
JPH04127235A (ja) * | 1990-03-09 | 1992-04-28 | Hitachi Ltd | プログラム表示方法および装置ならびにプログラム生成方法および装置 |
JPH03292532A (ja) * | 1990-04-11 | 1991-12-24 | Nissan Motor Co Ltd | プログラム開発支援装置 |
JPH04165425A (ja) * | 1990-10-29 | 1992-06-11 | Nippon Telegr & Teleph Corp <Ntt> | 記号列中の入れ子関係抽出方法及びその装置 |
JPH07261990A (ja) * | 1994-03-23 | 1995-10-13 | Fujitsu Ltd | プログラム解析表示装置 |
JPH07281883A (ja) * | 1994-04-06 | 1995-10-27 | Fujitsu Ltd | プログラム修正支援装置及び方法 |
JPH0895763A (ja) * | 1994-09-22 | 1996-04-12 | Hitachi Software Eng Co Ltd | オリジナルプログラムへの部品プログラム取り込み方法 |
JPH09282150A (ja) * | 1996-04-12 | 1997-10-31 | Internatl Business Mach Corp <Ibm> | プログラムのデータ構造を表示する方法、データ構造表示装置及びデータ構造表示プログラムを格納する媒体 |
JPH10320190A (ja) * | 1997-05-20 | 1998-12-04 | Fujitsu Ltd | ソースプログラム経路検索装置および検索プログラムを記録した媒体 |
JPH11272503A (ja) * | 1998-03-24 | 1999-10-08 | Hitachi Software Eng Co Ltd | プログラムのテストデータ自動生成装置 |
JP2001154835A (ja) * | 1999-11-30 | 2001-06-08 | Sharp Corp | 構造化プログラム編集装置、及び構造化プログラム編集プログラムを記録した記録媒体 |
JP2008181311A (ja) * | 2007-01-24 | 2008-08-07 | Toshiba Corp | リファクタリング支援装置及びプログラム |
JP2009086922A (ja) * | 2007-09-28 | 2009-04-23 | Toshiba Mitsubishi-Electric Industrial System Corp | プログラム編集装置 |
Non-Patent Citations (2)
Title |
---|
CSND200600788006; 臥待天祐: '最新開発環境レポート:組み込みソフト向けコ一ドレビュー支援ツール Development Assistant for C4.0' C MAGAZINE 第17巻,第12号(通巻195号), 20051201, pp.86〜91, ソフトバンククリエイティブ株式会社 * |
JPN6012039814; 臥待天祐: '最新開発環境レポート:組み込みソフト向けコ一ドレビュー支援ツール Development Assistant for C4.0' C MAGAZINE 第17巻,第12号(通巻195号), 20051201, pp.86〜91, ソフトバンククリエイティブ株式会社 * |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2015015622A1 (ja) * | 2013-08-01 | 2015-02-05 | 松崎 務 | 装置及びプログラム |
KR20160027124A (ko) * | 2013-08-01 | 2016-03-09 | 신이치 이시다 | 장치 및 프로그램 |
JP6008456B2 (ja) * | 2013-08-01 | 2016-10-19 | 石田 伸一 | 装置及びプログラム |
KR101705254B1 (ko) | 2013-08-01 | 2017-02-09 | 신이치 이시다 | 장치 및 프로그램 |
US9792197B2 (en) | 2013-08-01 | 2017-10-17 | Shinichi Ishida | Apparatus and program |
Also Published As
Publication number | Publication date |
---|---|
US9128807B2 (en) | 2015-09-08 |
WO2013015109A1 (ja) | 2013-01-31 |
CN103635880A (zh) | 2014-03-12 |
KR101905675B1 (ko) | 2018-10-10 |
JP5458065B2 (ja) | 2014-04-02 |
US20140196009A1 (en) | 2014-07-10 |
CN103635880B (zh) | 2017-03-01 |
KR20140065389A (ko) | 2014-05-29 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4091726B2 (ja) | 構造化文書の表示規則の生成方法、システムおよびプログラムが記録された媒体ならびに構造化文書およびその文書型定義の変更方法、システムおよびプログラムが記録された媒体 | |
Tateosian | Python For ArcGIS | |
JP5273884B1 (ja) | 構造解析装置及びプログラム | |
JP5458065B2 (ja) | モジュールの構造解析を支援する装置及びプログラム | |
US5765177A (en) | Document processing method and apparatus for searching documents having a graph based document logic structure | |
Benson et al. | Cascading tree sheets and recombinant HTML: better encapsulation and retargeting of web content | |
JP2008146637A (ja) | ドメイン変換言語 | |
Schroeder et al. | The Book of Dash: Build Dashboards with Python and Plotly | |
JPH08106464A (ja) | 文書生成装置 | |
JPH08221417A (ja) | 構造化文書の新旧対照編集装置 | |
JP2000029677A (ja) | 画面構成自動生成装置 | |
KR101705254B1 (ko) | 장치 및 프로그램 | |
Korol | Learn Microsoft Excel 2002 VBA programming with XML and ASP | |
Waterman | Pas-ii reference manual | |
JP4953896B2 (ja) | プログラムレビュー支援装置 | |
JP2575665B2 (ja) | 論理図概要記述変換処理方式 | |
JP6475288B2 (ja) | プログラム比較方法、プログラム比較装置およびプログラム比較プログラム | |
KR20000049713A (ko) | 인터넷신문의 저작시스템 및 저작방법 | |
Rougier | On the design of text editors | |
Korol | Microsoft Excel 2016 Programming by Example with VBA, XML, and ASP | |
van Lit | Cataloging: From a Dusty Backroom to the World Wide Web | |
JPH03233669A (ja) | 文書作成装置 | |
JPH02108130A (ja) | 知識整理エディタにおける文章知識編集方法 | |
Igual et al. | Toolboxes for Data Scientists | |
Bilauca | Automatic table layout and formatting |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20130509 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20130701 |
|
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: 20140106 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20140110 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5458065 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 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 |