JPH0588939A - 副プログラム単体テスト方式 - Google Patents
副プログラム単体テスト方式Info
- Publication number
- JPH0588939A JPH0588939A JP3074335A JP7433591A JPH0588939A JP H0588939 A JPH0588939 A JP H0588939A JP 3074335 A JP3074335 A JP 3074335A JP 7433591 A JP7433591 A JP 7433591A JP H0588939 A JPH0588939 A JP H0588939A
- Authority
- JP
- Japan
- Prior art keywords
- subprogram
- program
- variable
- input
- output
- 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.)
- Pending
Links
Landscapes
- Devices For Executing Special Programs (AREA)
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】
【目的】 副プログラムを実行可能な主プログラムとし
て出力することにより、単体テストの作成時間を減ら
す。 【構成】 副プログラムにおいて、仮引数と大域的変数
を解析し入力変数と出力変数とに分類する変数解析手段
２１と、入力変数を入力する手続きを最初の実行文の前
に挿入する仮引数入力手順挿入手段２２と、出力変数を
計算結果として出力する手続きを副プログラムから制御
が戻る直前に挿入する副プログラム計算結果出力手順挿
入手段２３および、この副プログラムを主プログラムに
変換する主プログラム生成手段２４から構成される。 【効果】 新しくプログラムを書き足さずに副プログラ
ムの単体テストを行える。
て出力することにより、単体テストの作成時間を減ら
す。 【構成】 副プログラムにおいて、仮引数と大域的変数
を解析し入力変数と出力変数とに分類する変数解析手段
２１と、入力変数を入力する手続きを最初の実行文の前
に挿入する仮引数入力手順挿入手段２２と、出力変数を
計算結果として出力する手続きを副プログラムから制御
が戻る直前に挿入する副プログラム計算結果出力手順挿
入手段２３および、この副プログラムを主プログラムに
変換する主プログラム生成手段２４から構成される。 【効果】 新しくプログラムを書き足さずに副プログラ
ムの単体テストを行える。
Description
【０００１】
【産業上の利用分野】本発明は、副プログラムの単体テ
ストに関するものである。
ストに関するものである。
【０００２】
【従来の技術】副プログラムの単体をテストするため
に、その副プログラムを呼び出し、テストするための仮
の主プログラムを作らなくてはいけなかった。
に、その副プログラムを呼び出し、テストするための仮
の主プログラムを作らなくてはいけなかった。
【０００３】副プログラムを単体でテストする場合、従
来の方法だと、いちいち実引数を与え、副プログラムの
結果を出力するような仮の主プログラムを作らなくては
いけなかった。そのため、フィルムがよけいに必要とな
り、また手間も多く掛かっていた。
来の方法だと、いちいち実引数を与え、副プログラムの
結果を出力するような仮の主プログラムを作らなくては
いけなかった。そのため、フィルムがよけいに必要とな
り、また手間も多く掛かっていた。
【０００４】
【発明が解決しようとする課題】本発明はテストしたい
副プログラム以外の原始プログラムを作ることなく、仮
引数の値および大域的変数の値の入力だけでその副プロ
グラムの実行結果を知ることが出来る副プログラム単体
テスト方式を提供することにある。
副プログラム以外の原始プログラムを作ることなく、仮
引数の値および大域的変数の値の入力だけでその副プロ
グラムの実行結果を知ることが出来る副プログラム単体
テスト方式を提供することにある。
【０００５】
【課題を解決するための手段】主プログラムと副プログ
ラムとに分割してコンパイルが可能な言語処理系を有す
る情報処理システムにおいて、副プログラム内の仮引数
と大域的変数を解析し、副プログラムの外で定義され副
プログラムの中では参照のみされる入力変数と、副プロ
グラムの中で定義され副プログラムの外で参照される出
力変数と、副プログラムの外で定義され副プログラム内
で参照され、その後再定義され、再び副プログラム外で
参照される入出力変数とに分類する変数解析手段と、上
記の変数解析手段において、入力変数または入出力変数
と判断された仮引数または大域的変数の値を入力する手
続きを副プログラムの原始プログラムの最初の実行文の
前に挿入する仮引数入力手続き挿入手段と、変数解析手
段において出力変数または入出力変数と判断された仮引
数または大域的変数について、その副プログラムの計算
結果として出力する手続きを副プログラムから制御が戻
る直前に挿入する副プログラム計算結果出力手続き挿入
手段と、副プログラムを主プログラムに変換する主プロ
グラム生成手段とを含む単体テストプログラム生成手段
と、単体テストプログラム生成手段により生成された副
プログラムを実行することにより副プログラムの単体テ
ストを行うことを特徴とする。
ラムとに分割してコンパイルが可能な言語処理系を有す
る情報処理システムにおいて、副プログラム内の仮引数
と大域的変数を解析し、副プログラムの外で定義され副
プログラムの中では参照のみされる入力変数と、副プロ
グラムの中で定義され副プログラムの外で参照される出
力変数と、副プログラムの外で定義され副プログラム内
で参照され、その後再定義され、再び副プログラム外で
参照される入出力変数とに分類する変数解析手段と、上
記の変数解析手段において、入力変数または入出力変数
と判断された仮引数または大域的変数の値を入力する手
続きを副プログラムの原始プログラムの最初の実行文の
前に挿入する仮引数入力手続き挿入手段と、変数解析手
段において出力変数または入出力変数と判断された仮引
数または大域的変数について、その副プログラムの計算
結果として出力する手続きを副プログラムから制御が戻
る直前に挿入する副プログラム計算結果出力手続き挿入
手段と、副プログラムを主プログラムに変換する主プロ
グラム生成手段とを含む単体テストプログラム生成手段
と、単体テストプログラム生成手段により生成された副
プログラムを実行することにより副プログラムの単体テ
ストを行うことを特徴とする。
【０００６】
【実施例】以下、本発明をその実施例を示す図面に基づ
き詳細に説明する。
き詳細に説明する。
【０００７】図１は、本発明の一実施例を示す構成図で
ある。
ある。
【０００８】図１を参照すると、本発明の実施例は、原
始プログラム１と単体テストプログラム生成手段２と、
コンパイラ３と、リンカ４と、入出力ライブラリ５と実
行可能プログラム６から構成される。
始プログラム１と単体テストプログラム生成手段２と、
コンパイラ３と、リンカ４と、入出力ライブラリ５と実
行可能プログラム６から構成される。
【０００９】原始プログラム１は、単体テストを行いた
い副プログラムである。単体テストプログラム生成手段
２は、副プログラムが必要としている情報や計算した結
果を示す変数を解析する変数解析手段２１と、上記の変
数解析手段２１において入力変数あるいは入出力変数と
判断された変数について、副プログラムの開始時点に、
その変数の値の入力を行うように文を挿入する仮引数入
力手続き挿入手段２２と、上記の変数解析手段２１にお
いて出力変数あるいは入出力変数と判断された変数につ
いて、その変数の値を出力する文を、副プログラムから
制御が戻る直前に挿入する副プログラム計算結果出力手
続き挿入手段２３と、副プログラムを主プログラムに変
換する主プログラム生成手段２４から構成される。コン
パイラ３は、本方式の対象としている副プログラムをコ
ンパイルできるコンパイラである。リンカ４はコンパイ
ラ３によって生成されたオブジェクト・プログラムをリ
ンクし、実行可能プログラムを生成するリンカである。
入出力ライブラリ５はコンパイラ３用の入出力ルーチン
のライブラリである。実行可能プログラム６は、本方式
によって実行可能となった副プログラムの単体テストプ
ログラムである。
い副プログラムである。単体テストプログラム生成手段
２は、副プログラムが必要としている情報や計算した結
果を示す変数を解析する変数解析手段２１と、上記の変
数解析手段２１において入力変数あるいは入出力変数と
判断された変数について、副プログラムの開始時点に、
その変数の値の入力を行うように文を挿入する仮引数入
力手続き挿入手段２２と、上記の変数解析手段２１にお
いて出力変数あるいは入出力変数と判断された変数につ
いて、その変数の値を出力する文を、副プログラムから
制御が戻る直前に挿入する副プログラム計算結果出力手
続き挿入手段２３と、副プログラムを主プログラムに変
換する主プログラム生成手段２４から構成される。コン
パイラ３は、本方式の対象としている副プログラムをコ
ンパイルできるコンパイラである。リンカ４はコンパイ
ラ３によって生成されたオブジェクト・プログラムをリ
ンクし、実行可能プログラムを生成するリンカである。
入出力ライブラリ５はコンパイラ３用の入出力ルーチン
のライブラリである。実行可能プログラム６は、本方式
によって実行可能となった副プログラムの単体テストプ
ログラムである。
【００１０】次に、本発明の実施例を、図１を用いて説
明する。ただし、用いる言語はFORTRAN77 とする。
明する。ただし、用いる言語はFORTRAN77 とする。
【００１１】まず、変数解析手段２１において、原始プ
ログラム１を入力し、その仮引数並びとCOMMON文に現れ
る変数名を表に登録し、副プログラム中の実行文で変数
の代入、引用のある文を探し、上記の表中の変数で、そ
のプログラム中において、引用のみに使われているなら
ば、入力の印、代入されるのみに使われているならば、
出力の印、両方に使われているならば、入出力の印を付
ける。
ログラム１を入力し、その仮引数並びとCOMMON文に現れ
る変数名を表に登録し、副プログラム中の実行文で変数
の代入、引用のある文を探し、上記の表中の変数で、そ
のプログラム中において、引用のみに使われているなら
ば、入力の印、代入されるのみに使われているならば、
出力の印、両方に使われているならば、入出力の印を付
ける。
【００１２】次いで仮引数入力手続き挿入手段２２で、
入力の印と入出力の印のついた変数について各々、その
変数名と入力を喚起する文字列を出力した後、その変数
の値を入力するようにWRITE 文とREAD文を挿入する。
入力の印と入出力の印のついた変数について各々、その
変数名と入力を喚起する文字列を出力した後、その変数
の値を入力するようにWRITE 文とREAD文を挿入する。
【００１３】次は副プログラム計算結果出力手続き挿入
手段２３で、出力の印と入出力の印のついた変数につい
て各々、その変数名と適当な注釈、例えば、関数値であ
れば関数値であることが分かるような注釈と、その変数
の値を出力するようなWRITE文を挿入する。
手段２３で、出力の印と入出力の印のついた変数につい
て各々、その変数名と適当な注釈、例えば、関数値であ
れば関数値であることが分かるような注釈と、その変数
の値を出力するようなWRITE文を挿入する。
【００１４】最後に主プログラム生成手段２４で、SUBR
OUTINE文をPROGRAM 文に、またRETURN文をSTOP文に置換
した後、コンパイラ３を呼び出し、挿入、置換の行われ
た原始プログラム１をコンパイルし、リンカ４によって
入出力ライブラリ５とリンクすることにより、単体テス
トプログラム６を得る。
OUTINE文をPROGRAM 文に、またRETURN文をSTOP文に置換
した後、コンパイラ３を呼び出し、挿入、置換の行われ
た原始プログラム１をコンパイルし、リンカ４によって
入出力ライブラリ５とリンクすることにより、単体テス
トプログラム６を得る。
【００１５】また実際に本方式を用いてFORTRAN77 のサ
ブルーチンを単体テストした場合の例を、図２、図３、
図４、図５、図６を用いて示す。
ブルーチンを単体テストした場合の例を、図２、図３、
図４、図５、図６を用いて示す。
【００１６】図２のようなFORTRAN77 のSUBROUTINE副プ
ログラムがあったとする。この副プログラムに対して、
本方式を適用すると、まず、変数解析手段２１によっ
て、図３の表を得る。次に仮引数入力手続き挿入手段２
２によって、図４のが挿入され、副プログラム計算結
果出力手続き挿入手段２３によって、図４の、が挿
入される。最後に主プログラム生成手段２４によって、
図４のの様にSUBROUTINE文はPROGRAM 文に、RETURN文
はSTOP文に置換される。
ログラムがあったとする。この副プログラムに対して、
本方式を適用すると、まず、変数解析手段２１によっ
て、図３の表を得る。次に仮引数入力手続き挿入手段２
２によって、図４のが挿入され、副プログラム計算結
果出力手続き挿入手段２３によって、図４の、が挿
入される。最後に主プログラム生成手段２４によって、
図４のの様にSUBROUTINE文はPROGRAM 文に、RETURN文
はSTOP文に置換される。
【００１７】図４のプログラムを実行することにより、
実行の開始時点に図５が表示され、実行の終了直前に図
６が表示される。
実行の開始時点に図５が表示され、実行の終了直前に図
６が表示される。
【００１８】
【本発明の効果】本発明により、新しくプログラムを書
かずに、副プログラムの単体テストを行うことができ
る。
かずに、副プログラムの単体テストを行うことができ
る。
【図１】本発明の実施例を示す構成図である。
【図２】図１の示す実施例における適用例であるFORTRA
N77 のサブルーチン副プログラムである。
N77 のサブルーチン副プログラムである。
【図３】上記適用例における変数の表である。
【図４】上記適用例における本方式の適用結果である。
【図５】上記適用例実行したときの表示結果である。
【図６】上記適用例実行したときの表示結果である。
１ 原始プログラム ２ 単体テストプログラム生成手段 ３ コンパイラ ４ リンカ ５ 入出力ライブラリ ６ 単体テストプログラム ２１ 変数解析手段 ２２ 仮引数入力手続き挿入手段 ２３ 副プログラム計算結果出力手続き挿入手段 ２４ 主プログラム生成手段
Claims (1)
- 【請求項１】 主プログラムと副プログラムとに分割し
てコンパイルが可能な言語処理系を有する情報処理シス
テムにおいて、 副プログラム内の仮引数と大域的変数を解析し、副プロ
グラムの外で定義され副プログラムの中では参照のみさ
れる入力変数と、副プログラムの中で定義され副プログ
ラムの外で参照される出力変数と、副プログラムの外で
定義され副プログラム内で参照され、その後再定義さ
れ、再び副プログラム外で参照される入出力変数とに分
類する変数解析手段と、上記の変数解析手段において、
入力変数または入出力変数と判断された仮引数または大
域的変数の値を入力する手続きを副プログラムの原始プ
ログラムの最初の実行文の前に挿入する仮引数入力手続
き挿入手段と、変数解析手段において出力変数または入
出力変数と判断された仮引数または大域的変数につい
て、その副プログラムの計算結果として出力する手続き
を副プログラムから制御が戻る直前に挿入する副プログ
ラム計算結果出力手続き挿入手段と、副プログラムを主
プログラムに変換する主プログラム生成手段とを含む単
体テストプログラム生成手段と、単体テストプログラム
生成手段により生成された副プログラムを実行すること
により副プログラムの単体テストを行うことを特徴とす
る、副プログラム単体テスト方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3074335A JPH0588939A (ja) | 1991-03-15 | 1991-03-15 | 副プログラム単体テスト方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP3074335A JPH0588939A (ja) | 1991-03-15 | 1991-03-15 | 副プログラム単体テスト方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0588939A true JPH0588939A (ja) | 1993-04-09 |
Family
ID=13544150
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP3074335A Pending JPH0588939A (ja) | 1991-03-15 | 1991-03-15 | 副プログラム単体テスト方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0588939A (ja) |
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008269184A (ja) * | 2007-04-18 | 2008-11-06 | Mitsubishi Electric Corp | プログラムレビュー支援装置 |
| JP2011170512A (ja) * | 2010-02-17 | 2011-09-01 | Nec Corp | 転送プログラム生成装置、処理システム、転送プログラム生成方法およびプログラム |
-
1991
- 1991-03-15 JP JP3074335A patent/JPH0588939A/ja active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008269184A (ja) * | 2007-04-18 | 2008-11-06 | Mitsubishi Electric Corp | プログラムレビュー支援装置 |
| JP2011170512A (ja) * | 2010-02-17 | 2011-09-01 | Nec Corp | 転送プログラム生成装置、処理システム、転送プログラム生成方法およびプログラム |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6895578B1 (en) | Modularizing a computer program for testing and debugging | |
| US20050015751A1 (en) | Automated program debugging tool | |
| JPH05257709A (ja) | 並列化判別方法およびそれを用いた並列化支援方法 | |
| Kirner et al. | Fully automatic worst-case execution time analysis for Matlab/Simulink models | |
| US6314557B1 (en) | Hybrid computer programming environment | |
| Resler et al. | VCOCO: a visualisation tool for teaching compilers | |
| Lúcio et al. | EARS-CTRL: Generating Controllers for Dummies. | |
| Rybicki et al. | Interactive model-based compilation continued–incremental hardware synthesis for SCCharts | |
| JPH0588939A (ja) | 副プログラム単体テスト方式 | |
| JP3196675B2 (ja) | 言語処理方式 | |
| Turner et al. | A suite of tools for the state-based testing of object-oriented programs | |
| Parreaux | Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages | |
| Bülow | Proof visualization for the lean 4 theorem prover | |
| JP4055197B2 (ja) | プログラムに含まれる手続きの解析装置 | |
| Xavier et al. | Type checking Circus specifications | |
| Henry et al. | Complexity measurement of a graphical programming language | |
| JP2004287869A (ja) | プログラム実行監視装置および方法 | |
| Villadsen et al. | Bridging the Requirements-Specification Gap using Behaviour-Driven Development | |
| Goldsby et al. | Enabling a roundtrip engineering process for the modeling and analysis of embedded systems | |
| de Miguel et al. | A Pragmatic Approach to Verification, Validation and Compilation | |
| Staron | Improving modeling with UML by stereotype-based language customization | |
| JPH08212105A (ja) | プログラム管理装置 | |
| Ahmed et al. | CodeVisions: Static Code Analysis for Creating Education-Oriented Applications. | |
| JPH04307630A (ja) | 簡易デバック・オプション付きコンパイラ | |
| KR100250484B1 (ko) | 병렬프로그램 성능 감시기에서 사건 표현식에 의한 사건데이터 처리 방법 |