特許 7295599 ソースコードに従いコンピュータが実行しているデータ処理の様相を網羅的に可視化するためのプログラム、システム、及び、方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B1)

(11)【特許番号】

(24)【登録日】2023-06-13

(45)【発行日】2023-06-21

(54)【発明の名称】ソースコードに従いコンピュータが実行しているデータ処理の様相を網羅的に可視化するためのプログラム、システム、及び、方法

(51)【国際特許分類】

   G06F 11/36 20060101AFI20230614BHJP

   G06F 8/75 20180101ALI20230614BHJP

【ＦＩ】

G06F11/36 164

G06F8/75

【請求項の数】 7

(21)【出願番号】P 2023076347

(22)【出願日】2023-05-02

【審査請求日】2023-05-10

【早期審査対象出願】

(73)【特許権者】

【識別番号】523166511

【氏名又は名称】関 敏夫

(74)【代理人】

【識別番号】110000752

【氏名又は名称】弁理士法人朝日特許事務所

(72)【発明者】

【氏名】関 敏夫

【審査官】今城 朋彬

(56)【参考文献】

【文献】米国特許第１１４９４２９５（ＵＳ，Ｂ１）

【文献】特開２０１７－４２８２（ＪＰ，Ａ）

(58)【調査した分野】(Int.Cl.，ＤＢ名)

ＩＰＣ Ｇ０６Ｆ１１／３６

Ｇ０６Ｆ ８／７５

(57)【特許請求の範囲】

【請求項1】

コンピュータに、
コンパイル済みのプログラムのソースコードを構成する複数の行の各々に行番号である第１行番号を付与する処理と、
前記ソースコードに含まれる複数の行の各々に関し、当該行が単一の構文である場合は当該構文の種別である構文種別を特定し、当該行が複数の構文である場合は当該複数の構文を複数の単一の構文に分解した後、当該複数の単一の構文の各々の種別である構文種別を特定する処理と、
前記ソースコードに含まれる複数の行の各々に関し、当該行の次に実行される行の行番号である第２行番号を特定する処理と、
前記ソースコードに含まれる複数の構文のうち前記構文種別を特定する処理において特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が真である場合に実行される行の行番号である第３行番号と、当該条件文が示す条件が偽である場合に実行される行の行番号である第４行番号と、当該条件文の行と対となる終了行の行番号である第５行番号と、当該終了行の次の行の行番号である第６行番号とを特定する処理と、
前記構文種別を特定する処理において特定された構文種別が変数の生成を伴う命令文である行を特定し、特定した行の各々に関し、当該行の命令文により生成される変数を主語として特定するとともに、当該主語の領域を宣言している行の行番号と、当該主語の生成を命じる行の行番号とを成分とする第１座標を特定する処理と、
前記構文種別を特定する処理において特定された構文種別が実行順序を指定する命令文である行を特定し、特定した行の各々に関し、当該行の行番号を成分とする第２座標を特定する処理と、
前記主語を特定する処理において特定された主語の各々に関し、当該主語の生成に用いられる主語である変数主語を特定する処理と、
前記ソースコードと、前記第１行番号乃至前記第６行番号と、前記第１座標と、前記第２座標と、特定した主語と当該主語の生成に用いられる変数主語の対応関係とを示すデータとを、可視化プログラムに入力されるデータとして生成する処理と
を実行させるためのプログラム。

【請求項2】

前記可視化プログラムを実行中の前記コンピュータに、
前記可視化プログラムに入力されるデータを用いて前記ソースコードの実行経路とデータの参照関係とを表す図を表示装置に表示させる処理
を実行させるための請求項１に記載のプログラム。

【請求項3】

前記コンピュータに、
前記可視化プログラムに入力されるデータに基づき、前記ソースコードに含まれる複数の構文の各々に関し、当該構文が、参照先及び参照元のいずれも存在しない構文、参照元は存在するが参照先が存在しない構文、参照先は存在するが参照元が存在しない構文、及び、自らの構文を参照する構文、参照元が実行命令順序に従う参照元のみである構文、のいずれであるかを正統性確認用情報として特定する処理と、
前記ソースコードに含まれる複数の構文の中から、前記構文種別と前記正統性確認用情報との組み合わせに基づき、確認を要する構文を抽出する処理と
を実行させるための請求項１に記載のプログラム。

【請求項4】

前記可視化プログラムを実行中の前記コンピュータに、
前記可視化プログラムに入力されるデータを用いて前記ソースコードの実行経路を表す図であり、前記抽出する処理において抽出された確認を要する構文に応じた部分を他の部分と異なる態様で表す図を表示装置に表示させる処理
を実行させるための請求項３に記載のプログラム。

【請求項5】

前記コンピュータに、
前記主語を特定する処理において特定された主語の各々に関し、当該主語のデータ型を特定する処理を実行させ、
前記可視化プログラムに入力されるデータを生成する処理において、前記データ型を示すデータを含む前記可視化プログラムに入力されるデータを生成させ、
前記可視化プログラムを実行中の前記コンピュータに、
前記可視化プログラムに入力されるデータを用いて前記ソースコードの実行経路とデータの参照関係と前記主語のデータ型とを表す図を表示装置に表示させる処理
を実行させるための請求項１に記載のプログラム。

【請求項6】

プログラムを実行することにより、
コンパイル済みのプログラムのソースコードを構成する複数の行の各々に行番号である第１行番号を付与する処理と、
前記ソースコードに含まれる複数の行の各々に関し、当該行が単一の構文である場合は当該構文の種別である構文種別を特定し、当該行が複数の構文である場合は当該複数の構文を複数の単一の構文に分解した後、当該複数の単一の構文の各々の種別である構文種別を特定する処理と、
前記ソースコードに含まれる複数の行の各々に関し、当該行の次に実行される行の行番号である第２行番号を特定する処理と、
前記ソースコードに含まれる複数の構文のうち前記構文種別を特定する処理において特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が真である場合に実行される行の行番号である第３行番号と、当該条件文が示す条件が偽である場合に実行される行の行番号である第４行番号と、当該条件文の行と対となる終了行の行番号である第５行番号と、当該終了行の次の行の行番号である第６行番号とを特定する処理と、
前記構文種別を特定する処理において特定された構文種別が変数の生成を伴う命令文である行を特定し、特定した行の各々に関し、当該行の命令文により生成される変数を主語として特定するとともに、当該主語の領域を宣言している行の行番号と、当該主語の生成を命じる行の行番号とを成分とする第１座標を特定する処理と、
前記構文種別を特定する処理において特定された構文種別が実行順序を指定する命令文である行を特定し、特定した行の各々に関し、当該行の行番号を成分とする第２座標を特定する処理と、
前記主語を特定する処理において特定された主語の各々に関し、当該主語の生成に用いられる主語である変数主語を特定する処理と、
前記ソースコードと、前記第１行番号乃至前記第６行番号と、前記第１座標と、前記第２座標と、特定した主語と当該主語の生成に用いられる変数主語の対応関係とを示すデータとを、可視化プログラムに入力されるデータとして生成する処理と
を行うシステム。

【請求項7】

コンピュータが、
コンパイル済みのプログラムのソースコードを構成する複数の行の各々に行番号である第１行番号を付与するステップと、
前記ソースコードに含まれる複数の行の各々に関し、当該行が単一の構文である場合は当該構文の種別である構文種別を特定し、当該行が複数の構文である場合は当該複数の構文を複数の単一の構文に分解した後、当該複数の単一の構文の各々の種別である構文種別を特定するステップと、
前記ソースコードに含まれる複数の行の各々に関し、当該行の次に実行される行の行番号である第２行番号を特定するステップと、
前記ソースコードに含まれる複数の構文のうち前記構文種別を特定するステップにおいて特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が真である場合に実行される行の行番号である第３行番号と、当該条件文が示す条件が偽である場合に実行される行の行番号である第４行番号と、当該条件文の行と対となる終了行の行番号である第５行番号と、当該終了行の次の行の行番号である第６行番号とを特定するステップと、
前記構文種別を特定するステップにおいて特定された構文種別が変数の生成を伴う命令文である行を特定し、特定した行の各々に関し、当該行の命令文により生成される変数を主語として特定するとともに、当該主語の領域を宣言している行の行番号と、当該主語の生成を命じる行の行番号とを成分とする第１座標を特定するステップと、
前記構文種別を特定するステップにおいて特定された構文種別が実行順序を指定する命令文である行を特定し、特定した行の各々に関し、当該行の行番号を成分とする第２座標を特定するステップと、
前記主語を特定するステップにおいて特定された主語の各々に関し、当該主語の生成に用いられる主語である変数主語を特定するステップと、
前記ソースコードと、前記第１行番号乃至前記第６行番号と、前記第１座標と、前記第２座標と、特定した主語と当該主語の生成に用いられる変数主語の対応関係とを示すデータとを、可視化プログラムに入力されるデータとして生成するステップと
を備える方法。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、コンピュータプログラムのソースコードをテストするための技術に関する。

【背景技術】

【0002】

コンピュータプログラム（以下、単に「プログラム」という）に従いコンピュータが意図されたとおりにデータ処理を行うことを確認するためのテストには、大きく、ブラックボックステストとホワイトボックステストがある。

【0003】

ブラックボックステストは、プログラムの内容には注目せず、コンピュータにサンプル値を入力し、想定どおりの値が出力されるかを検証することにより、プログラムの合否を判定するテストである。一方、ホワイトボックステストは、プログラムの内容に注目し、プログラムの構造、ロジック、制御の流れ等が意図されたとおりに記述されているか否かを検証することにより、プログラムの合否を判定するテストである。

【0004】

例えば、ホワイトボックステストに関する技術を開示している特許文献として、特許文献１がある。特許文献１に開示されている試験方法は、本体コードからテスト対象部分と、その依存部分とを抽出し、これらに基づき差分コードを生成するため、ユーザは、差分コードのみでホワイトボックステストを行うことができる、とされている。また、特許文献１に開示されている試験方法は、テスト結果及びテスト対象部分のコピーのハッシュ値を記憶し、当該ハッシュ値に基づき本体コードとの同一性を担保するため、ユーザは、本体コードの内容でテストが行われたこと、及び本体コードのテストの検証網羅度を確認することができる、とされている。

【先行技術文献】

【特許文献】

【0005】

【文献】特開２０２１－１０３３５４号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

ホワイトボックステストは、プログラムの内容を網羅的に確認するテストであるため、プログラムに記述誤りが残りにくいが、プログラムの構造が複雑になる程、検証者の負担が増大する。その結果、例えば、プログラムを構成するモジュール単位であればホワイトボックステストは可能であっても、多数のモジュールが用いられたシステム全体に関しホワイトボックステストを行うことは、その負担が検証者の能力を超え、実質的に不可能な場合が多い。また、ブラックボックステストは、入力データと出力データに至る処理に関して正常に稼働することを目的としているが、プログラムが生成するデータ項目自体の属性及び生成される過程の確認はプログラムの実行任せになっており、仕様通りにプログラウが作成されているか否かの確認を行うことは難しい場合が多い。

【0007】

上記を鑑み、本発明は、プログラムのテストにおける検証者の負担を軽減する技術を提供する。

【課題を解決するための手段】

【0008】

本発明は、コンピュータに、コンピュータに、コンパイル済みのプログラムのソースコードを構成する複数の行の各々に行番号である第１行番号を付与する処理と、前記ソースコードに含まれる複数の行の各々に関し、当該行が単一の構文である場合は当該構文の種別である構文種別を特定し、当該行が複数の構文である場合は当該複数の構文を複数の単一の構文に分解した後、当該複数の単一の構文の各々の種別である構文種別を特定する処理と、前記ソースコードに含まれる複数の行の各々に関し、当該行の次に実行される行の行番号である第２行番号を特定する処理と、前記ソースコードに含まれる複数の構文のうち前記構文種別を特定する処理において特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が真である場合に実行される行の行番号である第３行番号と、当該条件文が示す条件が偽である場合に実行される行の行番号である第４行番号と、当該条件文の行と対となる終了行の行番号である第５行番号と、当該終了行の次の行の行番号である第６行番号とを特定する処理と、前記構文種別を特定する処理において特定された構文種別が変数の生成を伴う命令文である行を特定し、特定した行の各々に関し、当該行の命令文により生成される変数を主語として特定するとともに、当該主語の領域を宣言している行の行番号と、当該主語の生成を命じる行の行番号とを成分とする第１座標を特定する処理と、前記構文種別を特定する処理において特定された構文種別が実行順序を指定する命令文である行を特定し、特定した行の各々に関し、当該行の行番号を成分とする第２座標を特定する処理と、前記主語を特定する処理において特定された主語の各々に関し、当該主語の生成に用いられる主語である変数主語を特定する処理と、前記ソースコードと、前記第１行番号乃至前記第６行番号と、前記第１座標と、前記第２座標と、特定した主語と当該主語の生成に用いられる変数主語の対応関係とを示すデータとを、可視化プログラムに入力されるデータとして生成する処理とを実行させるためのプログラムを提供する。

【発明の効果】

【0009】

本発明に係るプログラムに従いコンピュータが生成するデータによれば、汎用的な可視化プログラムを実行中のコンピュータが当該データを用いて、ソースコードの実行経路とデータの参照関係とを表す図を描くことができる。そして、プログラムの検証者は、その図を見ることによって、ソースコードに含まれる記述ミスを容易に発見できる。また、本発明の一実施態様によれば、プログラムの検証者は、生成される属性を含むデータ項目を見ることによって、データ生成処理の正統性も確認ができる。その結果、本発明によれば、プログラムのテストにおける検証者の負担が軽減される。

【図面の簡単な説明】

【0010】

【図1】本発明の一実施形態にかかるプログラムを実行するコンピュータの構成を示した図。

【図2】本発明の一実施形態にかかるデータ処理装置の機能構成を示した図。

【図3】本発明の一実施形態にかかるデータ処理装置の取得部が取得するソースコードの一部を例示した図。

【図4】本発明の一実施形態にかかるデータ処理装置の行番号付与部により第１行番号（ＳＸ）が付与されたソースコードの一部を例示した図。

【図5】本発明の一実施形態にかかるデータ処理装置の構文種別特定部により、複数の構文である行が複数の単一の構文に分解され、各構文の構文種別が特定されて、特定された構文種別が各行に対応付けられたソースコードの一部を例示した図。

【図6】本発明の一実施形態にかかるデータ処理装置のデータ型特定部により特定された、主語のデータ型が、当該主語の行に対応付けられたソースコードの一部を例示した図。

【図7】本発明の一実施形態にかかるデータ処理装置の行番号特定部により特定された第２行番号～第６行番号（ＳＹ、ＳＺ１～ＳＺ４）が各行に対応付けられたソースコードの一部を例示した図。

【図8】本発明の一実施形態にかかるデータ処理装置の主語特定部により特定された主語と、第１座標（［ＳＸ１，ＳＸ２］）と、第２座標（［ ，ＳＸ２］又は［ＳＸ２，ＳＸ２］）が各行に対応付けられたソースコードの一部を例示した図。

【図9】本発明の一実施形態にかかるデータ処理装置の変数主語特定部により特定された、主語に応じた変数主語が、当該主語の行に対応付けられたソースコードの一部を例示した図。

【図10】本発明の一実施形態にかかるデータ処理装置が生成する可視化用データを用いて表示装置により表示される実行様相図の一部を例示したもの。

【図11】本発明の一変形例にかかるデータ処理装置の機能構成を示した図。

【図12】本発明の一変形例にかかるデータ処理装置の正統性確認用情報特定部により特定された正統性確認用情報を、ソースコードに含まれる複数の構文の各々に対応付けて示した図の例。

【発明を実施するための形態】

【0011】

［実施形態］
以下に、本発明の一実施形態にかかるプログラムＰと、プログラムＰに従いコンピュータが行う処理を説明する。

【0012】

図１は、プログラムＰを実行するコンピュータ１０の構成を示した図である。コンピュータ１０は、一般的な端末装置用のコンピュータである。コンピュータ１０は、プログラムに従い各種データ処理を行うプロセッサ１０１と、プログラムを含む各種データを記憶するメモリ１０２と、外部の装置との間で通信ネットワークを介したデータ通信を行う通信インタフェース１０３と、外部の装置との間で通信ネットワークを介さないデータの入出力を行う入出力インタフェース１０４を備える。

【0013】

入出力インタフェース１０４には、液晶ディスプレイ等の表示装置２０と、キーボード、マウス等の入力装置３０が接続されている。なお、コンピュータ１０が表示装置２０と入力装置３０の一方又は両方を内蔵していてもよい。また、コンピュータ１０が、内蔵するメモリ１０２に加えて、通信インタフェース１０３又は入出力インタフェース１０４を介して接続された外部の記憶装置にデータの一部を記憶してもよい。また、タッチスクリーンのように、表示装置２０と入力装置３０が一つの装置として構成されてもよい。

【0014】

メモリ１０２には、プログラムＰに加えて、可視化プログラムＱが記憶されている。可視化プログラムＱは、いわゆるグラフ化ツールと呼ばれる汎用プログラムである。コンピュータ１０は、可視化プログラムＱに従うデータ処理を行うことにより、複数のオブジェクトの間の関係を示す図を生成し、表示装置２０にその図を表示させる。

【0015】

図２は、コンピュータ１０がプログラムＰ及び可視化プログラムＱを実行する際に実現されるデータ処理装置１１の機能構成を示した図である。すなわち、コンピュータ１０のプロセッサ１０１が、メモリ１０２に持続的に記憶されているプログラムＰ及び可視化プログラムＱに従うデータ処理を実行すると、図２に示される構成部を備えるデータ処理装置１１が実現される。以下に、図２に示されるデータ処理装置１１の機能構成を説明する。

【0016】

データ処理装置１１は、大きく、可視化用データ生成部１１１と、可視化部１１２を備える。可視化用データ生成部１１１はコンピュータ１０がプログラムＰを実行することにより実現される。一方、可視化部１１２はコンピュータ１０が可視化プログラムＱを実行するにより実現される。

【0017】

可視化用データ生成部１１１は、記憶部１１１０、取得部１１１１、行番号付与部１１１２、データ型特定部１１１３、構文種別特定部１１１４、行番号特定部１１１５、主語特定部１１１６、変数主語特定部１１１７、データ生成部１１１８、データ出力部１１１９を備える。

【0018】

記憶部１１１０は、各種データを記憶する。記憶部１１１０が記憶するデータには、取得部１１１１が取得するソースコード、行番号付与部１１１２乃至データ型特定部１１１３が生成する中間データ、データ生成部１１１８が生成する最終データ（可視化用データ）が含まれる。

【0019】

取得部１１１１は、外部の装置から、コンパイル済みのプログラムＲのソースコードＳを取得する。

【0020】

図３は、取得部１１１１が取得するソースコードＳの一部を例示した図である。図３に例示のソースコードＳは、COBOLにより記述されているが、ソースコードＳの記述に用いられるプログラミング言語はCOBOLに限られない。

【0021】

行番号付与部１１１２は、取得部１１１１が取得したソースコードＳを構成する複数の行の各々に、行番号である第１行番号（以下、「ＳＸ」という）を付与する。図４は、ソースコードＳに対し、行番号付与部１１１２により付与されたＳＸの一部を例示した図である。

【0022】

構文種別特定部１１１４は、ソースコードＳに含まれる複数の行の各々に関し、当該行が単一の構文である場合は当該構文の種別である構文種別を特定し、当該行が複数の構文である場合は当該複数の構文を複数の単一の構文に分解した後、当該複数の単一の構文の各々の種別である構文種別を特定する。

【0023】

なお、構文とは、コンピュータが備えるデータ処理の機能（加算、減算、乗算、除算、関数呼び出し等）の１単位に応じた文を意味する。

【0024】

図５は、構文種別特定部１１１４により、複数の構文である行が複数の単一の構文に分解され、また、各構文の構文種別が特定されて、特定された構文種別が各行に対応付けられたソースコードＳの一部を例示した図である。

【0025】

例えば、図５において、ソースコードＳのうちＳＸが３３の行「UNTIL EMPNO = 999.」は、構文種別が「呼出文」の構文と、構文種別が「条件文（真）」の構文と、構文種別が「条件文（偽）」の構文が１つとなった行であるため、それらが異なる行に分解されている。

【0026】

なお、構文種別は、プログラム言語毎に異なる。例えば、COBOLの場合、構文種別は、定置文、定値文、代入文、疑似代入、入力文、疑似入力、出力文、疑似出力、領域文、領域引数、条件文（真）、条件文（偽）、繰返文開始、繰返文終了、関数呼出、ユーザー定義関数呼出、翻訳文、注釈文、制御文、endif、then、else、制御条件、呼出文、セクション終了、セクション開始、制御入力、制御出力、段落、条件入力、段落終了等である。

【0027】

データ型特定部１１１３は、命令文により生成される変数である主語の各々のデータ型を特定する。

【0028】

図６は、データ型特定部１１１３により特定されたデータ型が、当該データ型の主語の行に対応付けられたソースコードＳの一部を例示した図である。なお、図６の例では、データ型の欄にはCOBOLにおいてデータ型を表現する文字列であるPICTURE文字列（PIC）が記載されている。例えば、図６のリストのＳＸ欄が２１の行のデータ型「Ｘ（３）」は、英数字３桁のデータ型を意味する。従って、ソースコードＳがCOBOL以外のプログラミング言語で記載されている場合、データ型にはそのプログラミング言語に応じた表現形式のデータ型が記載される。

【0029】

行番号特定部１１１５は、取得部１１１１が取得したソースコードＳに含まれる複数の行の各々に関し、当該行の次に実行される行の行番号である第２行番号（以下、「ＳＹ」という）を特定し、特定したそれらの行番号をソースコードＳの各行に対応付ける。

【0030】

また、行番号特定部１１１５は、ＳＹの特定に加え、以下の第３行番号乃至第６行番号を特定し、特定したそれらの行番号をソースコードＳの各行に対応付ける。

【0031】

第３行番号（以下、「ＳＺ１」という）：構文種別特定部１１１４により特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が真である場合に実行される行の行番号。

【0032】

第４行番号（以下、「ＳＺ２」という）：構文種別特定部１１１４により特定された構文種別が条件文である構文の各々に関し、当該条件文が示す条件が偽である場合に実行される行の行番号。

【0033】

第５行番号（以下、「ＳＺ３」という）：構文種別特定部１１１４により特定された構文種別が条件文である構文の各々に関し、当該条件文の行と対となる終了行の行番号。

【0034】

第６行番号（以下、「ＳＺ４」という）：構文種別特定部１１１４により特定された構文種別が条件文である構文の各々に関し、当該条件文の行と対となる終了行の次の行の行番号。

【0035】

図７は、行番号特定部１１１５により特定されたＳＹとＳＺ１～ＳＺ４が各行に対応付けられたソースコードＳの一部を例示した図である。

【0036】

主語特定部１１１６は、構文種別が変数の生成を伴う命令文である行を特定し、特定した行の各々に関し、当該行の命令文により生成される変数を主語として特定するとともに、当該主語の領域を宣言している行の行番号（以下、「ＳＸ１」という）と、当該主語の生成を命じる行の行番号（以下、「ＳＸ２」という）とを成分とする第１座標（［ＳＸ１，ＳＸ２］）を特定する。

【0037】

また、主語特定部１１１６は、構文種別が実行順序を指定する命令文である行を特定し、特定した行の各々に関し、当該行の行番号である「ＳＸ２」を成分とする第２座標（［ ，ＳＸ２］又は［ＳＸ２，ＳＸ２］）を特定する。

【0038】

図８は、主語特定部１１１６により特定された主語と、第１座標（［ＳＸ１，ＳＸ２］）と、第２座標（［ ，ＳＸ２］又は［ＳＸ２，ＳＸ２］）が各行に対応付けられたソースコードＳの一部を例示した図である。なお、図８において、主語及び第１座標は「主語（変数）」欄に含まれ、第２座標は「実行順序を決定する命令文」欄に含まれた形で記載されている。

【0039】

変数主語特定部１１１７は、主語の各々に関し、当該主語の生成に用いられる主語である変数主語（複数ある場合、それらの各々）を特定する。

【0040】

図９は、変数主語特定部１１１７により特定された、主語に応じた変数主語が、当該主語の行に対応付けられたソースコードＳの一部を例示した図である。

【0041】

データ生成部１１１８は、ソースコードＳと、第１行番号（ＳＸ）、第２行番号（ＳＹ）、第３行番号～第６行番号（ＳＺ１～ＳＺ４）、第１座標（［ＳＸ１，ＳＸ２］）、第２座標（［ ，ＳＸ２］又は［ＳＸ２，ＳＸ２］）、主語と当該主語の生成に用いられる変数主語の対応関係とを示すデータ、及び、主語のデータ型を示すデータを含むデータを、可視化プログラムに入力されるデータ（以下、「可視化用データ」という）として生成する。

【0042】

データ出力部１１１９は、データ生成部１１１８が生成した可視化用データを、可視化部１１２に出力する。

【0043】

可視化部１１２は、可視化用データ生成部１１１から出力される可視化用データを用いて、ソースコードＳの実行経路とデータの参照関係とを表す図（以下、「実行様相図Ｇ」という）を生成し、生成した実行様相図Ｇを表示装置２０に出力し、表示装置２０に実行様相図Ｇを表示させる。

【0044】

図１０は、表示装置２０により表示される実行様相図Ｇの一部を例示したものである。実行様相図Ｇは、ソースコードＳに含まれる複数の構文の各々に応じた表示体（図１０の例では長方形の表示体）と、それらの構文に応じた命令文の実行順序を示す矢印と、それらの構文の間でデータの参照が行われる場合、それらのデータの参照元の構文の表示体から参照先の構文の表示体へと向かう矢印を含む。なお、構文に応じた表示体には、その構文の行の内容が表示される。また、主語に応じた表示体には、当該主語のデータ型（図１１においては、「ＰＩＣ：○○」の○○部分）が表示される。なお、「ＰＩＣ」とは、既述のように、COBOLにおけるデータ型を表現する文字列（PICTURE文字列）を意味する。従って、ソースコードＳがCOBOL以外のプログラミング言語により記述されている場合、ＰＩＣに代えて、そのプログラミング言語に応じたデータ型が実行様相図Ｇに表示される。

【0045】

プログラムＲのテストを行う検証者は、実行様相図Ｇを見て、プログラムＲのソースコードＳの実行様相、すなわち、ソースコードＳに従い、コンピュータが実行する命令文の順序と、それらの構文間で引き渡されるデータの参照関係を容易に把握することができる。従って、検証者は、実行様相図Ｇに示されるソースコードＳの実行様相が、プログラムＲの仕様に従っているか否かを容易に判定できる。また、実行様相図Ｇには、主語のデータ型も表示される。その結果、検証者によるプログラムＲのテストの作業における負担が軽減される。

【0046】

［変形例］
上述した実施形態は本発明の一実施形態であって、本発明の技術的思想の範囲内において様々に変形され得る。以下にそれらの変形の例を示す。なお、以下の変形例の２以上が適宜、組み合わされてもよい。

【0047】

（１）データ処理装置１１が、可視化用データに基づいて、ソースコードＳに含まれる複数の構文の中から、確認を要する構文を抽出する機能を備えてもよい。

【0048】

図１１は、この変形例（以下、「変形例（１）」という）にかかるデータ処理装置１１の機能構成を示した図である。変形例（１）にかかるデータ処理装置１１は、上述した実施形態にかかるデータ処理装置１１が備える可視化用データ生成部１１１と、可視化部１１２に加え、要確認構文抽出部１１３を備える。

【0049】

要確認構文抽出部１１３は、正統性確認用情報特定部１１３１と、構文抽出部１１３２を備える。

【0050】

正統性確認用情報特定部１１３１は、可視化用データ生成部１１１のデータ出力部１１１９から出力される可視化用データを取得し、当該可視化用データに基づき、ソースコードＳに含まれる複数の構文の各々に関し、当該構文が、参照先及び参照元のいずれも存在しない構文（以下、「浮島構文」という）、参照元は存在するが参照先が存在しない構文（以下、「出力線なし構文」という）、参照先は存在するが参照元が存在しない構文（以下、「入力線なし構文」という）、参照元が実行命令順序に従う参照元のみである構文（以下、「再帰構文」という）、のいずれであるかを、正統性確認用情報として特定する。

【0051】

図１２は、ソースコードＳに含まれる複数の構文の各々に関し、正統性確認用情報特定部１１３１により特定された正統性確認用情報を対応付けて示した図の例である。

【0052】

構文抽出部１１３２は、ソースコードＳに含まれる複数の構文の中から、構文種別と、正統性確認用情報特定部１１３１により特定された正統性確認用情報との組み合わせに基づき、確認を要する構文を、要確認構文として抽出する。要確認構文としては、例えば、以下のような構文が挙げられる。

【0053】

入力線がない領域文
入力線がない領域引数
入力線がない定置文
入力線がない定値文
入力線がない入力文
入力線がない擬似入力
入力線及び出力線の一方又は両方がない代入文
入力線及び出力線の一方又は両方がない擬似代入
出力線がない出力文
出力線がない擬似出力

【0054】

構文抽出部１１３２は、抽出した要確認構文を示す要確認構文データを可視化部１１２に出力する。

【0055】

可視化部１１２は、要確認構文抽出部１１３から受け取った要確認構文データに基づき、実行様相図Ｇを、確認を要する構文に応じた部分を他の部分と異なる態様で表すように変更し、変更した実行様相図Ｇを表示装置２０に表示させる。ここで、異なる態様とは、太字表示、点滅表示、異なる色による表示、枠で囲む表示、等のいずれであってもよい。検証者は、実行様相図Ｇに他の部分と異なる態様で表されている構文に問題がないかを確認することで、ソースコードＳのテストを容易に行うことができる。

【0056】

また、可視化部１１２が、例えば、要確認構文のリスト（又は、要確認構文を他の構文と異なる態様で表示する構文のリスト）を表示装置２０に表示させ、実行様相図Ｇのうち、そのリストから検証者により選択された構文に応じた部分を他の部分と異なる態様で表すように変更し、変更した実行様相図Ｇを表示装置２０に表示させてもよい。

【0057】

（２）本発明は、上述したプログラムＰに例示されるプログラム、上述したプログラムＰに従い処理を行うデータ処理装置１１に例示されるシステム、及び、上述したプログラムＰに従いコンピュータが行う方法を提供する。

【符号の説明】

【0058】

１０…コンピュータ、１１…データ処理装置、２０…表示装置、３０…入力装置、１０１…プロセッサ、１０２…メモリ、１０３…通信インタフェース、１０４…入出力インタフェース、１１１…可視化用データ生成部、１１２…可視化部、１１３…要確認構文抽出部、１１１０…記憶部、１１１１…取得部、１１１２…行番号付与部、１１１３…データ型特定部、１１１４…構文種別特定部、１１１５…行番号特定部、１１１６…主語特定部、１１１７…変数主語特定部、１１１８…データ生成部、１１１９…データ出力部、１１３１…正統性確認用情報特定部、１１３２…構文抽出部。

【要約】

【課題】プログラムのテストにおける検証者の負担を軽減する技術を提供する。
【解決手段】可視化用データ生成部１１１は、コンパイル済みのプログラムのソースコードを取得し、そのソースコードに対し行番号を付与する。続いて、可視化用データ生成部１１１は、構文種別、次に実行される行の行番号、条件文が示す条件が真である場合に実行される行の行番号、条件文が示す条件が偽である場合に実行される行の行番号、条件文の行と対となる終了行の行番号、条件文の行と対となる終了行の次の行の行番号、命令文により生成される変数（主語）の領域を宣言している行の行番号、当該主語の生成を命じる行の行番号、実行順序を指定する命令文の行番号を特定する。可視化部１１２は、ソースコードと、可視化用データ生成部１１１が特定した行番号と、主語と変数主語の対応関係とを示すデータを用いて、ソースコードの実行経路とデータの参照関係とを表す図を生成する。
【選択図】図２

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】