JPH11259280A - プログラム開発支援装置及びコンピュータシステムに適用されるプログラムを記録した記録媒体 - Google Patents

Abstract

(57)【要約書】 【課題】 プログラム開発環境において、ソースコード
記述の終了からプログラム実行までにユーザーが待たさ
れる時間を短くすることにより、開発効率を向上させ
る。 【解決手段】 フォアグラウンド処理においてエディタ
を用いた編集が行われている間、バックグラウンド処理
としてプログラムに含まれている各文の型整合性のチェ
ックを行う。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、プログラム開発を
支援するプログラム開発支援装置と、プログラム開発を
行うためのコンピュータシステムに適用されるプログラ
ムを記録した記録媒体とに関する。

【０００２】

【従来の技術】近年、特定のターゲットマシンに対して
のプログラムの開発は、汎用のコンピュータシステム上
で行われることが一般的である。このような開発環境に
おいて、プログラマは、プログラム開発を行っているコ
ンピュータにおいてエディタを起動し、エディタを用い
てプログラミング言語に従ってプログラムを記述する。
その後コンピュータシステムに『型整合性チェック』を
行わせ、ターゲットマシンの機能を実現できるシュミレ
ータ、エミュレータ、仮想マシンに実行させる。

【０００３】ここで『型整合性チェック』とは、プログ
ラマが変数、関数を使用した文を記述した場合、それら
変数、関数の記法が、それらの型宣言と整合しているか
否かをチェックすることをいう。例えば、プログラマが
ある変数の値を別の変数に代入する代入文を記述した場
合、代入する側の変数と、代入される側の変数とで型が
異なる場合がある。

【０００４】また、プログラマが変数を引数にして関数
を呼び出す関数呼出文を記述した場合、それら関数呼出
文の宣言時において宣言された引数の型と、プログラマ
が引数として選択した変数の型とが異なる場合がある。
以上のような型の不整合の潜在を防ぐため、プログラマ
が記述したプログラムに対して型整合性チェックを行っ
ているのである。尚ソースプログラムに対してのコンパ
イルが必要な場合は、その前段階においてこの型整合性
チェックを行う。

【０００５】

【発明が解決しようとする課題】ところで操作者からプ
ログラム入力をエディタが受け付けている間、コンピュ
ータはキーボード入力を受け付けて、文字フォントを表
示する程度の処理を行えば良いので、コンピュータはそ
の処理能力を持て余している。このようにプログラム入
力が行われている間、コンピュータの処理は軽負荷であ
るが、型整合性チェックが開始されると、プログラムの
コード量が大きい場合は、コンピュータの処理負荷は重
くなる。

【０００６】処理負荷が重くなり、コンピュータがその
処理能力の全てを型整合性チェックに投入すると、操作
者からの操作が全く受け付けられない状態が発生する。
この間、プログラマは何の作業も行えず、時間を持て余
すことになる。プログラマが何の作業も行えない状態に
なるのは、プログラムの開発効率を低下させる要因とな
り、またプログラマの焦燥感をいたずらに募らせてしま
う場合もある。

【０００７】本発明の目的は、プログラマが何の作業も
行えないために、プログラムの開発効率が低下してしま
う現象を未然防止するプログラム開発支援装置を提供す
ることである。

【０００８】

【課題を解決するための手段】型整合性チェックを、ソ
ースプログラムのコーディング中に行えば、コンパイル
時における処理負荷の集中は防止できる。但し、ソース
プログラム自体が未完成である状態において、型整合性
チェックを行っても、そのソースプログラムを操作者が
書き直してしまう可能性があるので、そのような書き直
しが発生した場合は、型整合性チェックが無駄に終わっ
てしまう恐れがある。このような恐れがあるものの、型
整合性チェックを投機的に行うことによりコンパイル時
における処理の過密化は多少なりとも軽減できる。コン
ピュータがフォアグラウンド処理にてエディタを起動さ
せている期間において、バックグラウンド処理でこのよ
うな型整合性チェックをコンピュータに行わせるプログ
ラム開発支援装置を本発明は提供する。

【０００９】

【発明の実施の形態】（第１実施形態）以下、図面を参
照しながら、プログラム開発装置の実施形態を説明す
る。当業者で慣用されているプログラム開発装置の流通
・売買の形態は、プログラム開発装置の機能を実現する
実行形式のソフトウェアを記録媒体に記録して、パッケ
ージソフトとして流通・売買する形態である。パッケー
ジソフトはこれを購買した需要者により汎用コンピュー
タにインストールされ、インストールされた汎用コンピ
ュータがこのソフトウェア通りの処理を行うことにより
汎用コンピュータはプログラム開発装置を具備したコン
ピュータシステムとしての機能を果たす。このような形
態が慣用されることを考えると、プログラム開発装置と
しての機能主体は、汎用コンピュータが具備しているプ
ロセッサ、メモリ等のハードウェア資源というよりは、
記録媒体に記録されたソフトウェアと考える方が妥当で
ある。また複雑な処理内容を有するソフトウェアは、複
数のサブルーチンやワークエリアにて構成されることが
一般的であるので、個々のサブルーチンやワークエリア
が独立した構成要素と考えるべきである。以降の説明で
は、プログラム開発装置及びコンピュータシステムの機
能を果たすためにどのような機能を果たすサブルーチ
ン、ワークエリアを構成要素として開発すべきかについ
て機能ブロック図を参照しながら述べる。

【００１０】図１は、プログラム開発支援装置が適用さ
れるコンピュータシステムのハードウェア環境を示す図
である。プログラム開発支援装置が適用されるハードウ
ェア環境は、プロセッサ、メモリ、ディスプレィ、キー
ボード、内蔵ハードディスク、通信インターフェイス等
を有する汎用コンピュータであり、光ディスク、フロッ
ピーディスク等の記録媒体に収録されたプログラムがイ
ンストールされている。

【００１１】図２は、コンピュータシステムにおける内
部階層を示す図である。コンピュータシステムは、ハー
ドウェア層、オペレーティングシステム層、アプリケー
ション層からなり、アプリケーション層においてインス
トールされたソフトウェアが配置されている。インスト
ールされたソフトウェアとは、エディタ１、型整合チェ
ック部２、実行部３、管理部４、表示制御部６、ワーク
エリア７であり、プログラム開発支援装置の機能実現の
ために開発されたものである。

【００１２】エディタ１は、ディスプレィ８にメインウ
ィンドゥ１０を表示させ、操作者がポインティングデバ
イスに対して操作を行うと、編集操作に従ってメインウ
ィンドゥ１０内にてプログラムを編集する。またプログ
ラムを保存する旨の指示が操作者によりなされると、当
該プログラムをファイルとしてコンピュータシステム内
のハードディスク９に格納する。

【００１３】図３にディスプレィ８に表示されるメイン
ウィンドゥ１０を示す。本実施形態においてプログラム
は、図３に示す「x1=y1*50;」文、「z1=y2*50+y1;」
文、「fnc(x1,y1,z1,z2);」文等、複数の文にて構成さ
れる。本明細書において「文」とは、プログラミング言
語体系において論理的な意味が与えられた最小の単位を
いうものとする。

【００１４】これらの文は、行番号Line:30、行番号Lin
e:31、行番号Line:32、行番号Line:33という行番号が付
されており、変数を用いて変数の値を代入する代入文、
変数を引数にして関数呼出を行う関数呼出文等の種別が
あるものとする。これらの文には変数x1,x2,y1,y2,z1,z
2を始めとして、変数が複数使用されているため、変数
の型不整合が潜在している可能性がある。

【００１５】型整合チェック部２は、エディタ１による
編集により得られたプログラムに含まれる何れかの文が
管理部４により取り出されると、その文の型整合性をチ
ェックしてゆく。実行部３は、開発すべきプログラムに
ついてのターゲットマシンの機能をコンピュータシステ
ム上で擬態するシュミレータ、エミュレータであり、エ
ディタ１による編集により得られたプログラムのうち、
型整合チェック部２による型整合性チェックが済んだも
のを実行する。

【００１６】表示制御部６は、型整合チェック部２が一
文の型整合性チェックを終了した際、型整合性チェック
が済んだ文の行番号と、型整合性チェックのチェック結
果とを対応づけて型整合性チェックウィンドゥ１１に表
示する。また型整合チェック部２が型整合性チェックを
行っている文の行番号を実行進捗ウィンドゥ１２に表示
する。表示制御部６の制御下におけるディスプレィ８の
表示内容の一例を図３に示す。

【００１７】図３の一例において型整合性チェックウィ
ンドゥ１１は、型整合性チェックが済んだ文の行番号と
して行番号Line:14〜行番号Line:20の行番号を表示して
いる。また型整合性チェックのチェック結果として『No
Error』『Error Code_001』『Error Code_002』という
三種類のコードを表示している。実行進捗ウィンドゥ１
２は、型整合性チェックを行っている文の行番号として
行番号Line:23の行番号を表示している。

【００１８】ワークエリア７は、管理部４を動作を行う
際に用いられるワークエリアであり、その内容を図４に
示す。図４においてワークエリア７は、チェック進捗リ
スト１３、優先順位リスト１４、実行終了リスト１５か
らなる。チェック進捗リスト１３は、プログラムに含ま
れている各文の行番号と、当該行番号において型整合性
チェックが済んでいない旨を示す未チェックマークとを
対応づけて示したリストである。図３の一例では、プロ
グラムに含まれている各文の行番号としてLine24,25,2
6,27,28,29,30が示されており、未チェックマークとし
て『_yet』とを対応づけて示している。

【００１９】実行終了リスト１５は、実行部３が現在型
整合性チェックの終了待ち状態にある場合、どの行番号
の型整合性チェックを待っているかを示す。実行進捗ウ
ィンドゥ１２において型整合性チェック中の文の行番号
として行番号Line:23が表示されていたが、実行終了リ
スト１５では実行部３がチェック終了を待っている文の
行番号として行番号Line:27が示されている。このよう
に型整合チェック部２が行番号Line:23が型整合性チェ
ック中であるのに、実行部３が行番号Line:27の型整合
性チェックを待っているのは、型整合チェック部２によ
る型整合性チェックは管理部４による文の取り出し順序
に従って行われ、その取り出し順序は原則として行番号
順であるのに対して、実行部３による文の実行は、分岐
等が発生するため行番号順に実行されるとは限らないか
らである。

【００２０】優先順位リスト１４は、プログラムに含ま
れている各文をどのような順序で型整合性チェックを行
わせるかを示す。この順序は原則として行番号順に決め
られている。ところで図３においてチェック進捗リスト
１３において現在型整合性チェック中の文は行番号Lin
e:23と示されているのに対して、優先順位リスト１４で
は行番号Line:27〜行番号Line:33の順序が記述されてい
る。これは優先順位リスト１４が実行終了リスト１５に
おいて実行部３がどの行番号の型整合性チェックの終了
を待っているかに応じて、動的にスケジューリングされ
ていることを意味する。

【００２１】管理部４は、コンピュータシステムにおけ
るプログラム開発支援装置についての全体管理を行う。
この全体管理の内容には、フォアグラウンド処理、バッ
クグラウンド処理の二種類のものがある。フォアグラウ
ンド処理−バックグラウンド処理がそれぞれどのような
処理内容であるかを図５のフロ−チャ−トに示す。以
降、本フロ−チャ−トを参照しながら管理部４のフォア
グラウンド処理−バックグラウンド処理の処理内容につ
いて説明する。

【００２２】フォアグラウンド処理のステップＳ０にお
いて管理部４はエディタ１の起動指示がなされるのを待
ち、指示がなされると、ステップＳ１においてエディタ
１を起動する。一方、バックグラウンド処理のステップ
Ｓ２において管理部４は、チェック進捗リスト１３を全
て未チェックとマークする。その後、ステップＳ３にお
いてエディタ１がアイドル状態になるのを待つ。

【００２３】ここでアイドル状態とは、エディタ１がキ
ーボード操作やマウス操作の手を休めたため、ポインテ
ィングデバイスからのイベント入力が中断している期間
をいう。操作者がポインティングデバイスに対して操作
を行っている間、ステップＳ６においてチェック中であ
る旨の表示を消去状態に保ったまま、ステップＳ７にお
いてエディタ１によりチェック済みの文の内容が書き換
えられたか否かを監視している。もし変更がなされれ
ば、チェック進捗リスト１３における行番号のうち、プ
ログラムにおいて変更の影響を受ける文の行番号に未チ
ェックマークを付す。ここで『変更の影響を受ける文』
とは、エディタ１により変更を受けた文において値が定
義されている変数を参照している文等、変更を受けた文
と変数定義及び変数参照に関して直接或は間接的に依存
関係を有する文の全てをいい、ステップＳ８においてそ
れらの文全てに未チェックマークが付されることにな
る。

【００２４】ポインティングデバイスに対しての操作が
なされている間において、ステップＳ３−ステップＳ６
−ステップＳ７が順次繰り返されることになる。アイド
ル状態が到来するとステップＳ３がYesとなり、ステッ
プＳ４に移行する。ステップＳ４では、型整合チェック
部２が型整合性チェックを開始した旨をディスプレィ８
に表示させる。表示後、ステップＳ５に移行して、型整
合チェック部２を起動して、型整合チェック部２に型整
合性チェックを開始させる。

【００２５】この際管理部４は、未チェックマークが付
された文のうち、優先順位が最も高いものを取り出し
て、これを型整合チェック部２にチェックさせる。以降
優先順位が高い順に文を取り出させて、順次に型整合性
チェックを行わせてゆく。この間、一文に対しての型整
合性チェックが完了する毎に、チェック進捗リスト１３
において当該文の行番号に付された未チェックマークを
消し、型整合性チェックウィンドゥ１１及び実行進捗ウ
ィンドゥ１２を更新する。

【００２６】以降、アイドル状態が継続している間、ス
テップＳ３−ステップＳ４−ステップＳ５が順次繰り返
される。操作者がポインティングデバイスに対しての操
作を開始して、アイドル状態が終了すると、ステップＳ
６に移行して型整合チェック中である旨の表示を消し、
ステップＳ７において文の内容が変更されたか否かを判
定した後、ステップＳ８を介してステップＳ３に移行す
る。

【００２７】ステップＳ３への移行により、管理部４は
アイドル状態の発生待ち状態となる。一方、フォアグラ
ウンド処理においては、ステップＳ１においてエディタ
１を起動した後、これまでの編集結果として得られたプ
ログラムを実行部３に実行させる。この際の実行部３の
実行範囲、即ち、どの範囲まで実行部３に実行させるか
であるが、バックグラウンド処理における型整合性チェ
ックがプログラムの全文に対して完了している場合は、
プログラムの終端部までとなる。バックグラウンド処理
における型整合性チェックが未完である場合は、そのチ
ェック中の文までとなる。

【００２８】ステップＳ１０において、実行部３による
実行が未型チェック部分にまで到達するのを待ち、到達
すると、ステップＳ１１において実行部３の実行順序に
従って、各文の優先順位を決定し直す。このように決定
し直すことは、実行部３が型整合性チェックの結果を待
っている文に従って型整合性チェックの優先順位を再編
成することを意味する。

【００２９】このように優先順位を決定し直すと、ステ
ップＳ１２において次に実行すべき文の型整合性チェッ
クが終了したかを待つための、型整合性チェック終了待
ち状態となる。もし型整合性チェックが終了すると、ス
テップＳ９に移行してステップＳ９に移行し、編集結果
として得られたプログラムを実行部３に実行させる。以
上のように本実施形態によれば、エディタ１のアイドル
状態を検出して、この間に型整合性チェックを行わせる
ので、型整合性チェックをエディタ工程期間に行うこと
ができる。これにより、型整合性チェックの処理負荷を
エディタ工程期間に分散することができる。よってプロ
グラムのコード量が膨大であり、型整合性チェックに長
時間を要する場合、その負荷がエディタ工程に分散され
るので、型整合性チェックが完遂するまでの時間を短縮
することができる。

【００３０】また、既にチェックが済んだ部分に対し
て、プログラマが変更を加えた場合には、その文を再度
型整合性チェックの対象とするよう未チェックマークの
削除を行うので、型整合性チェックの信憑性を維持する
ことができる。更に、型整合性チェックが済んだものを
逐次型整合チェック部２に実行させてゆくので、プログ
ラマは自身が記述したプログラムを早期に実行検証にか
けることができる。

【００３１】加えて、実行部３の実行に伴って、型整合
性チェックの優先順位は動的にスケジューリングされる
ので、型整合性チェックから実行検証までのタイムラグ
を短縮することができる。尚、本実施形態では実行部３
は型整合チェック部２によるチェック中に実行したが、
実行部３はプログラム実行の指示を操作者から受け付け
ると、全文がチェック済であるか、未チェックの文が残
っているかを判定し、全文がチェック済みである場合の
み、プログラムを実行するようにしてもよい。

【００３２】また本実施形態において 変更操作が行わ
れた場合、全文を未チェック状態に戻すよう指示しても
よい。更に管理部４はプログラム実行の指示を受け付け
ると、全文がチェック済であるか、未チェックの文が残
っているかを判定し、全文がチェック済みである場合の
み、プログラムを実行させてもよい。

【００３３】加えて、型整合チェック部２はコンピュー
タシステムにコンパイラの一部を構成するもととしてイ
ンストールされているものを利用しても良い。 （第２実施形態）第１実施形態では編集されたプログラ
ムを実行部３に実行させたが、第２実施形態では、第１
実施形態における実行部３の役割を果たすものが仮想マ
シンであり、その仮想マシンがコンピュータシステム内
に複数設けられている場合を想定した実施形態である。

【００３４】第２実施形態におけるコンピュータシステ
ムの内部階層を図６に示す。本図と図２との違いは、図
２における実行部３に代えて、仮想マシン３１、仮想マ
シン３２、仮想マシン３３、仮想マシン３４が備えられ
ており、新規に実行制御部３５が備えられている点であ
る。また図示はしていないがワークエリア７内にマシン
管理リスト１６が存在する点である。

【００３５】仮想マシン３１〜仮想マシン３４は何れも
仮想マシンである。仮想マシンとは、そのプログラムが
本来動作すべきターゲットマシン環境と、それが開発さ
れるべき開発ハードウェア環境とで統一して定義された
言語体系にてプログラムを実行するものをいう。仮想マ
シンの性質としては、バイトコードの解読が可能なもの
と、テキストコードの解読が可能なものの二種があり、
更にテキストコードの解読が可能なものには、型整合性
のチェック機構を具備するものと具備しないものの二種
類がある。このような、各仮想マシンにおける型整合性
チェックの具備の有無の違いを表すため、第２実施形態
におけるワークエリア７は、マシン管理リスト１６を有
する。

【００３６】図７は、マシン管理リスト１６の記載内容
を示す図である。テキストコードの解読が可能な仮想マ
シンとして仮想マシン３１、仮想マシン３２、仮想マシ
ン３３、仮想マシン３４のコード名が記載されており、
型整合性のチェック機構を具備するものと具備しないも
のの違いを表すため、これらのコード名に『No embede
d』『embeded』の種別コードを付している。このような
コードは、仮想マシンがインストールされた際に、シス
テム管理者により記載されるものとしている。

【００３７】実行制御部３５は、コンピュータシステム
に存在する仮想マシンを管理すると共に、これらの実行
を制御するための制御を図８のフロ−チャ−トに従って
行う。以降図８のフロ−チャ−トを参照して、この制御
内容について説明する。ステップＳ１３において、実行
制御部３５はプログラムの実行指示が操作者によりなさ
れるのを監視し、操作者によりプログラムを実行する旨
の指示がなされると、ステップＳ１４において複数台の
仮想マシンをマシン管理リスト１６を参照しながら、プ
ログラムの解釈系に型整合性のチェック機構を具備する
ものと具備しないものとに分類する。分類後、ステップ
Ｓ１５では、マシン管理リスト１６を参照し、チェック
機構を具備した仮想マシンに未チェック文を実行させ、
チェック機構を具備しない仮想マシンにチェック済み文
を実行させる。

【００３８】この際ステップＳ１６では、チェック済み
文、未チェック文を仮想マシンに実行させると、どちら
の仮想マシンで実行しているかを表示する。実行指示が
なされても、型整合チェック部２は、実行指示を受け付
けても型整合性チェックを継続して行っているが、実行
制御部３５はステップＳ１７において型整合性チェック
の終了を待ち、コンピュータが一文についての型整合性
チェックを終えると、ステップＳ１７がYesとなりステ
ップＳ１８に移行して、当該文をチェック機構を具備し
ない仮想マシンに実行させる。

【００３９】以上のように本実施形態によれば、プログ
ラム開発環境が仮想マシンを対象にしたものであり、尚
且つ様々な種類の仮想マシンが存在する場合、それらが
どのような解釈系を具備しているかを考慮して、プログ
ラムを実行させるので、エディタ１により作成されたプ
ログラムの実行検証を早期に完遂することができる。
尚、実行指示が操作者によりなされた際、型整合チェッ
ク部２による型整合性チェックを停止させ、チェック機
構を具備した仮想マシンに未チェック文を実行させ、チ
ェック機構を具備しない仮想マシンにチェック済み文を
実行させてもよい。

【００４０】

【発明の効果】上記目的を達成するために本発明は、操
作者からの編集操作に従ってプログラムを生成するエデ
ィタと同一のコンピュータシステムに備えられるプログ
ラム開発支援装置であって、エディタがコンピュータシ
ステムのフォアグラウンド処理として実行されているか
否かを判定する第１判定手段と、エディタがフォアグラ
ウンド処理として実行されている場合、これまでの編集
操作に従って生成されたプログラムから複数の文を取り
出し、取り出された各文が型整合性を有するか否かをチ
ェックする処理をバックグラウンド処理としてコンピュ
ータシステムに実行させるチェック処理制御手段とを備
える。

【００４１】本構成によれば、エディタのアイドル状態
を検出して、この間に型整合性チェックを行わせるの
で、型整合性チェックをエディタ工程期間に行うことが
できる。これにより、型整合性チェックの処理負荷をエ
ディタ工程中に分散することができる。よってプログラ
ムのコード量が膨大であり、型整合性チェックに長時間
を要する場合、その負荷がエディタ工程に分散されるの
で、型整合性チェックが完遂するまでの時間を短縮する
ことができる。

【００４２】また上記構成において、前記プログラム開
発支援装置は、起動中エディタのアイドル状態を検出す
る第１検出手段を備え、前記チェック処理制御手段は、
検出されたアイドル状態のみ、コンピュータシステムに
型整合性チェックを実行させるように構成しても良い。
本構成によればエディタがキーボード操作やマウス操作
の手を休めたため、ポインティングデバイスからのイベ
ント入力が中断している期間を逸せずに、型整合性チェ
ックを進捗させることができる。

【００４３】また上記構成において、前記チェック処理
制御手段は、これまでに入力されたプログラムから文を
取り出す取出部と、取り出された文が型整合性を有する
か否かをコンピュータシステムにチェックさせるチェッ
ク制御部と、チェック済み状態の文と、未チェック状態
の文とを管理する管理部と一文についてのチェックが済
むと、これまでに入力されたプログラムから、未チェッ
クの文を取出部に取り出させる繰り返し制御部とを備え
ることを特徴としてよい。

【００４４】本構成によればチェック済みの文と、そう
でない文とを明確に管理し、型整合性チェックの対象を
未チェックのものから選択するので、二重チェックは原
理上発生しない。また上記構成において、前記プログラ
ム開発支援装置は、チェック済み状態の文に対しての変
更操作がエディタにおいて行われたか否かを監視する監
視手段と、変更操作が行われた場合、管理部に全文を未
チェック状態に戻すよう指示するリセット手段とを備え
るように構成しても良く、また上記構成において、前記
プログラム開発支援装置は、チェック済み状態の文に対
しての変更操作がエディタにおいて行われたか否かを監
視する監視手段と、変更操作が行われた場合、変更され
た文と依存関係を有する全ての文を検出する第２検出手
段と、検出された全文を未チェック状態に戻すよう指示
するリセット手段とを備えるように構成しても良い。

【００４５】本構成によれば既にチェックが済んだ部分
に対して、プログラマが変更を加えた場合には、その文
を再度型整合性チェックの対象とするよう未チェックマ
ークの削除を行うので、型整合性チェックの信憑性を維
持することができる。また上記構成において、前記プロ
グラム開発支援装置は、チェック処理制御手段が型整合
性チェックをコンピュータに開始させると、型整合性の
チェックが行われている旨をコンピュータに表示させる
第１表示手段を備えるように構成しても良く、本構成に
よればプログラマは、型整合性チェックの対象になって
おらず、型不整合が潜在している可能性がある文を視覚
的に確認することができる。また上記構成において、前
記管理部が管理している未チェック状態の文を、その旨
を付してコンピュータに表示させる第２表示手段を備え
るように構成しても良く、本構成によればプログラマ
は、型整合性チェックが現在どれだけ進捗しているかを
視覚的に確認することができる。また上記構成におい
て、前記プログラム開発支援装置は、バックグラウンド
処理においてコンピュータが型整合性チェックを終了す
ると、型整合性チェックのチェック結果をコンピュータ
に表示させる第３表示手段を備えるように構成しても良
く、本構成によればプログラマは、プログラマは文に型
不整合が存在しているか、存在していないかを視覚的に
確認することができる。

【００４６】また上記構成において、前記プログラム開
発支援装置は、プログラム実行の指示を操作者から受け
付ける第２受付手段と、プログラム実行の指示を受け付
けると、全文がチェック済であるか、未チェックの文が
残っているかを判定する第２判定手段と、全文がチェッ
ク済みである場合のみ、プログラムを実行する実行手段
とを備えるように構成しても良く、本構成によれば型整
合性チェックの完了を待ってプログラムを実行させてゆ
くので、プログラマは自身が記述したプログラムを早期
に実行検証にかけることができる。

【００４７】また上記構成において、前記プログラム開
発支援装置は、プログラム実行の指示を操作者から受け
付ける第３受付手段と、プログラム実行の指示を受け付
けると、プログラムの文をチェック済の文と、未チェッ
クの文とに分類する第１分類手段と、チェック済みと分
類された文を実行すると共に、チェック済みと分類され
た文を実行し尽くすと、チェック手段による次文のチェ
ックを終了を待ち、次文のチェックが終了すると、次文
を実行する実行手段とを備えるように構成しても良く、
本構成によれば型整合性チェックが済んだものを実行さ
せてゆくので、プログラマは自身が記述したプログラム
を早期に実行検証にかけることができる。

【００４８】また上記構成において、前記チェック処理
制御手段は、実行手段が型整合性チェックの終了待ち状
態にあるか実行状態にあるかを判定する判定部と、終了
待ち状態にある場合、実行手段がプログラムのうちどの
文の型整合性チェックの終了待ちを行っているかを検出
する検出部と、前記取出部は、型整合性チェックの終了
を待っている文が検出されると、当該文を取り出し、チ
ェック制御部は、取り出された文をコンピュータシステ
ムにチェックさせるように構成しても良く、本構成によ
ればプログラム実行に伴い、次に実行するべき文に型整
合性チェックをかけるので、実行検証を早期に実施する
ことができる。

【００４９】また上記構成において、前記チェック実行
制御手段は、プログラムにおける文の実行手段による実
行順序に基づいて、優先順位記憶部における型整合性の
チェックの順番を示す優先順位を並び替えるスケジュー
リング部を備えるように構成しても良く、本構成によれ
ばプログラム実行に伴って、型整合性チェックの優先順
位は動的にスケジューリングされるので、型整合性チェ
ックから実行検証までのタイムラグを短縮することがで
きる。

【００５０】また上記構成において、前記プログラム開
発支援装置は、コンピュータが生成されたプログラムに
ついてのターゲットマシンの機能を具備する仮想マシン
を複数台有している場合、その複数台の仮想マシンを、
プログラムの解釈系に型整合性のチェック機構を具備す
るものと具備しないものとに分類する第２分類手段と、
分類されると、チェック機構を具備した仮想マシンに未
チェック文を実行させ、チェック機構を具備しない仮想
マシンにチェック済み文を実行させる実行制御手段を備
えるように構成しても良く、本構成によれば、プログラ
ム開発環境が仮想マシンを対象にしたものであり、尚且
つ様々な種類の仮想マシンが存在する場合、それらがど
のような解釈系を具備しているかを考慮して、プログラ
ムを実行させるので、エディタにより作成されたプログ
ラムの実行検証を早期に完遂することができる。

【図面の簡単な説明】

【図１】プログラム開発支援装置が適用されるコンピュ
ータシステムのハードウェア環境を示す図である。

【図２】コンピュータシステムにおける内部階層を示す
図である。

【図３】ディスプレイ８の表示内容を示す図である。

【図４】チェック進捗リスト１３、優先順位リスト１
４、実行終了リスト１５の内容を示す図である。

【図５】フォアグラウンド処理−バックグラウンド処理
がそれぞれどのような処理内容であるかを示すフロ−チ
ャ−トである。

【図６】第２実施形態におけるコンピュータシステムの
内部階層を示す図である。

【図７】マシン管理リスト１６の記載内容を示す図であ
る。

【図８】実行制御部３５の制御内容を示すフロ−チャ−
トである。

【符号の説明】

１ エディタ ２ 型整合チェック部 ３ 実行部 ４ 管理部 ６ 表示制御部 ７ ワークエリア ８ ディスプレィ ９ ハードディスク １０ メインウィンドゥ １１ 型整合性チェックウィンドゥ １２ 実行進捗ウィンドゥ １３ チェック進捗リスト １４ 優先順位リスト １５ 実行終了リスト １６ マシン管理リスト ３１ 仮想マシン ３２ 仮想マシン ３３ 仮想マシン ３４ 仮想マシン ３５ 実行制御部

───────────────────────────────────────────────────── フロントページの続き (72)発明者 藤田 光子 大阪府門真市大字門真1006番地 松下電器 産業株式会社内

Claims (32)

【特許請求の範囲】
1. 【請求項１】 操作者からの編集操作に従ってプログラ
   ムを生成するエディタと同一のコンピュータシステムに
   備えられるプログラム開発支援装置であって、 エディタがコンピュータシステムのフォアグラウンド処
   理として実行されているか否かを判定する第１判定手段
   と、 エディタがフォアグラウンド処理として実行されている
   場合、これまでの編集操作に従って生成されたプログラ
   ムから複数の文を取り出し、取り出された各文が型整合
   性を有するか否かをチェックする処理をバックグラウン
   ド処理としてコンピュータシステムに実行させるチェッ
   ク処理制御手段とを備えることを特徴とするプログラム
   開発支援装置。
2. 【請求項２】 前記プログラム開発支援装置は、 起動中エディタのアイドル状態を検出する第１検出手段
   を備え、 前記チェック処理制御手段は、 検出されたアイドル状態のみ、コンピュータシステムに
   型整合性チェックを実行させることを特徴とする請求項
   １記載のプログラム開発支援装置。
3. 【請求項３】 前記チェック処理制御手段は、 これまでに入力されたプログラムから文を取り出す取出
   部と、 取り出された文が型整合性を有するか否かをコンピュー
   タシステムにチェックさせるチェック制御部と、 チェック済み状態の文と、未チェック状態の文とを管理
   する管理部と一文についてのチェックが済むと、これま
   でに入力されたプログラムから、未チェックの文を取出
   部に取り出させる繰り返し制御部とを備えることを特徴
   とする請求項１又は２記載のプログラム開発支援装置。
4. 【請求項４】 前記プログラム開発支援装置は、 チェック済み状態の文に対しての変更操作がエディタに
   おいて行われたか否かを監視する監視手段と、 変更操作が行われた場合、管理部に全文を未チェック状
   態に戻すよう指示するリセット手段とを備えることを特
   徴とする請求項３記載のプログラム開発支援装置。
5. 【請求項５】 前記プログラム開発支援装置は、 チェック済み状態の文に対しての変更操作がエディタに
   おいて行われたか否かを監視する監視手段と、 変更操作が行われた場合、変更された文と依存関係を有
   する全ての文を検出する第２検出手段と、 検出された全文を未チェック状態に戻すよう指示するリ
   セット手段とを備えることを特徴とする請求項３記載の
   プログラム開発支援装置。
6. 【請求項６】 前記プログラム開発支援装置は、 チェック処理制御手段が型整合性チェックをコンピュー
   タに開始させると、型整合性のチェックが行われている
   旨をコンピュータに表示させる第１表示手段を備えるこ
   とを特徴とする請求項３〜５の何れかに記載のプログラ
   ム開発支援装置。
7. 【請求項７】 前記管理部が管理している未チェック状
   態の文を、その旨を付してコンピュータに表示させる第
   ２表示手段を備えることを特徴とする請求項３〜６の何
   れかに記載のプログラム開発支援装置。
8. 【請求項８】 前記プログラム開発支援装置は、 バックグラウンド処理においてコンピュータが型整合性
   チェックを終了すると、型整合性チェックのチェック結
   果をコンピュータに表示させる第３表示手段を備えるこ
   とを特徴とする請求項１〜７の何れかに記載のプログラ
   ム開発支援装置。
9. 【請求項９】 前記プログラム開発支援装置は、 プログラム実行の指示を操作者から受け付ける第２受付
   手段と、 プログラム実行の指示を受け付けると、全文がチェック
   済であるか、未チェックの文が残っているかを判定する
   第２判定手段と、 全文がチェック済みである場合のみ、プログラムを実行
   する実行手段とを備えることを特徴とする請求項１〜８
   の何れかに記載のプログラム開発支援装置。
10. 【請求項１０】 前記プログラム開発支援装置は、 プログラム実行の指示を操作者から受け付ける第３受付
    手段と、 プログラム実行の指示を受け付けると、プログラムの文
    をチェック済の文と、未チェックの文とに分類する第１
    分類手段と、 チェック済みと分類された文を実行すると共に、チェッ
    ク済みと分類された文を実行し尽くすと、チェック手段
    による次文のチェックを終了を待ち、次文のチェックが
    終了すると、次文を実行する実行手段とを備えることを
    特徴とする請求項３〜８の何れかに記載のプログラム開
    発支援装置。
11. 【請求項１１】 前記チェック処理制御手段は、 実行手段が型整合性チェックの終了待ち状態にあるか実
    行状態にあるかを判定する判定部と、 終了待ち状態にある場合、実行手段がプログラムのうち
    どの文の型整合性チェックの終了待ちを行っているかを
    検出する検出部とを備え、 前記取出部は、 型整合性チェックの終了を待っている文が検出される
    と、当該文を取り出し、 チェック制御部は、取り出された文をコンピュータシス
    テムにチェックさせることを特徴とする請求項１０記載
    のプログラム開発支援装置。
12. 【請求項１２】 前記チェック処理制御手段は、 型整合性のチェックの順番を示す優先順位を記憶する優
    先順位記憶部を備え、 前記取出部は、 優先順位の高い順にプログラムにおける文を取り出し、
    チェック部にチェックさせることを特徴とする請求項１
    １記載のプログラム開発支援装置。
13. 【請求項１３】 前記チェック実行制御手段は、 プログラムにおける文の実行手段による実行順序に基づ
    いて、優先順位記憶部における型整合性のチェックの順
    番を示す優先順位を並び替えるスケジューリング部を備
    えることを特徴とする請求項１２記載のプログラム開発
    支援装置。
14. 【請求項１４】 前記プログラム開発支援装置は、 コンピュータが生成されたプログラムについてのターゲ
    ットマシンの機能を具備する仮想マシンを複数台有して
    いる場合、その複数台の仮想マシンを、プログラムの解
    釈系に型整合性のチェック機構を具備するものと具備し
    ないものとに分類する第２分類手段と、 分類されると、チェック機構を具備した仮想マシンに未
    チェック文を実行させ、チェック機構を具備しない仮想
    マシンにチェック済み文を実行させる実行制御手段を備
    えることを特徴とする請求項３〜８の何れかに記載のプ
    ログラム開発支援装置。
15. 【請求項１５】 前記実行制御手段がチェック済み文、
    未チェック文を仮想マシンに実行させると、 どちらの仮想マシンで実行しているかを表示する第４表
    示手段を備えることを特徴とする請求項１４記載のプロ
    グラム開発支援装置。
16. 【請求項１６】 前記プログラム開発支援装置は、 仮想マシンにプログラムを実行させる旨の指示を操作者
    から受け付ける第４受付手段と、 実行指示を受け付けると、コンピュータシステムによる
    型整合性チェックを停止させる停止制御手段を備え、 前記実行制御手段は、 チェック機構を具備した仮想マシンに未チェック文を実
    行させ、チェック機構を具備しない仮想マシンにチェッ
    ク済み文を実行させることを特徴とする請求項１４又は
    １５記載のプログラム開発支援装置。
17. 【請求項１７】 前記仮想マシンにプログラムを実行さ
    せる旨の指示を操作者から受け付ける第５受付手段と、 前記チェック部は、実行指示を受け付けても型整合性チ
    ェックを継続して行い、 前記実行制御手段は、 コンピュータが一文についての型整合性チェックを終え
    ると、当該文をチェック機構を具備しない仮想マシンに
    実行させることを特徴とする請求項１４又は１５記載の
    プログラム開発支援装置。
18. 【請求項１８】 前記プログラム開発支援装置は、 型整合性のチェックの順番を示す優先順位を記憶する優
    先順位記憶部を備え、 前記取出部は、 優先順位の高い順にプログラムにおける文を取り出し、
    チェック部にチェックさせることを特徴とする請求項１
    ７記載のプログラム開発支援装置。
19. 【請求項１９】 前記チェック実行制御手段は、 プログラムにおける文のチェック機構を具備しない仮想
    マシンによる実行順序に基づいて、優先順位記憶部にお
    ける型整合性のチェックの順番を示す優先順位を並び替
    えるスケジューリング部を備えることを特徴とする請求
    項１８記載のプログラム開発支援装置
20. 【請求項２０】 前記プログラム開発支援装置におい
    て、どちらの仮想マシンで実行しているかを表示する第
    ３表示手段を備えることを特徴とする請求項１３〜１９
    記載のプログラム開発支援装置。
21. 【請求項２１】 コンピュータシステムはコンパイラを
    有し、 前記チェック処理制御手段は、 エディタがフォアグラウンド処理として実行されている
    場合、これまでの編集操作に従って生成されたプログラ
    ムから複数の文を取り出し、取り出された各文が型整合
    性を有するか否かをチェックする処理をコンパイラに実
    行させることを特徴とするプログラム開発支援装置。
22. 【請求項２２】 操作者からの編集操作に従ってプログ
    ラムを生成するエディタと同一のコンピュータシステム
    に適用されるプログラムを記録した記録媒体であって、 前記プログラムはエディタがコンピュータシステムのフ
    ォアグラウンド処理として実行されているか否かを判定
    する第１判定ステップと、 エディタがフォアグラウンド処理として実行されている
    場合、これまでの編集操作に従って生成されたプログラ
    ムから複数の文を取り出し、取り出された各文が型整合
    性を有するか否かをチェックする処理をバックグラウン
    ド処理としてコンピュータシステムに実行させるチェッ
    ク処理制御ステップとを有することを特徴とする記録媒
    体。
23. 【請求項２３】 前記コンピュータシステムに適用され
    るプログラムは、 起動中エディタのアイドル状態を検出する第１検出ステ
    ップを備え、 前記チェック処理制御ステップは、 検出されたアイドル状態のみ、コンピュータシステムに
    型整合性チェックを実行させることを特徴とする請求項
    ２２記載の記録媒体。
24. 【請求項２４】 前記チェック処理制御ステップは、 これまでに入力されたプログラムから文を取り出す取出
    サブステップと、 取り出された文が型整合性を有するか否かをコンピュー
    タシステムにチェックさせるチェック制御サブステップ
    と、 チェック済み状態の文と、未チェック状態の文とを管理
    する管理サブステップと一文についてのチェックが済む
    と、これまでに入力されたプログラムから、未チェック
    の文を取出サブステップに取り出させる繰り返し制御サ
    ブステップとを有することを特徴とする請求項２２又は
    ２３記載の記録媒体。
25. 【請求項２５】 前記コンピュータシステムに適用され
    るプログラムは、 チェック済み状態の文に対しての変更操作がエディタに
    おいて行われたか否かを監視する監視ステップと、 変更操作が行われた場合、管理サブステップに全文を未
    チェック状態に戻すよう指示するリセットステップとを
    有することを特徴とする請求項２４記載の記録媒体。
26. 【請求項２６】 前記コンピュータシステムに適用され
    るプログラムは、 チェック済み状態の文に対しての変更操作がエディタに
    おいて行われたか否かを監視する監視ステップと、 変更操作が行われた場合、変更された文と依存関係を有
    する全ての文を検出する第２検出ステップと、 検出された全文を未チェック状態に戻すよう指示するリ
    セットステップとを有することを特徴とする請求項２４
    記載の記録媒体。
27. 【請求項２７】 前記コンピュータシステムに適用され
    るプログラムは、 プログラム実行の指示を操作者から受け付ける第１受付
    ステップと、 プログラム実行の指示を受け付けると、全文がチェック
    済であるか、未チェックの文が残っているかを判定する
    第２判定ステップと、 全文がチェック済みである場合のみ、プログラムを実行
    する実行ステップとを有することを特徴とする請求項２
    ２〜２６の何れかに記載の記録媒体。
28. 【請求項２８】 前記コンピュータシステムに適用され
    るプログラムは、 プログラム実行の指示を操作者から受け付ける第２受付
    ステップと、 プログラム実行の指示を受け付けると、プログラムの文
    をチェック済の文と、未チェックの文とに分類する第１
    分類ステップと、 チェック済みと分類された文を実行すると共に、チェッ
    ク済みと分類された文を実行し尽くすと、チェックステ
    ップによる次文のチェックを終了を待ち、次文のチェッ
    クが終了すると、次文を実行する実行ステップとを有す
    ることを特徴とする請求項２２〜２７の何れかに記載の
    記録媒体。
29. 【請求項２９】 前記チェック処理制御ステップは、 実行ステップが型整合性チェックの終了待ち状態にある
    か実行状態にあるかを判定する判定サブステップと、 終了待ち状態にある場合、実行ステップがプログラムの
    うちどの文の型整合性チェックの終了待ちを行っている
    かを検出する検出サブステップと、 前記取出サブステップは、 型整合性チェックの終了を待っている文が検出される
    と、当該文を取り出し、 チェック制御サブステップは、取り出された文をコンピ
    ュータシステムにチェックさせることを特徴とする請求
    項２８記載の記録媒体。
30. 【請求項３０】 前記コンピュータシステムに適用され
    るプログラムは、 コンピュータが生成されたプログラムについてのターゲ
    ットマシンの機能を具備する仮想マシンを複数台有して
    いる場合、その複数台の仮想マシンを、プログラムの解
    釈系に型整合性のチェック機構を具備するものと具備し
    ないものとに分類する第２分類ステップと、 分類されると、チェック機構を具備した仮想マシンに未
    チェック文を実行させ、チェック機構を具備しない仮想
    マシンにチェック済み文を実行させる実行制御ステップ
    を有することを特徴とする請求項２２〜２９の何れかに
    記載の記録媒体。
31. 【請求項３１】 前記コンピュータシステムは、 型整合性のチェックの順番を示す優先順位を記憶する優
    先順位記憶部を備え、 前記取出サブステップは、 優先順位の高い順にプログラムにおける文を取り出し、
    チェックサブステップにチェックさせることを特徴とす
    る請求項３０記載のコンピュータシステム。
32. 【請求項３２】 前記チェック実行制御ステップは、 プログラムにおける文のチェック機構を具備しない仮想
    マシンによる実行順序に基づいて、優先順位記憶部にお
    ける型整合性のチェックの順番を示す優先順位を並び替
    えるスケジューリングサブステップを有することを特徴
    とする請求項３１記載のコンピュータシステム。