(57)【要約】【課題】ＥＥＰＲＯＭの空き容量を調査する機能をプラットフォーム型ＩＣカードが備えていない場合であっても、ＥＥＰＲＯＭの空き容量を調査できる方法を提供する。【解決手段】プラットフォーム型ＩＣカードのＥＥＰＲＯＭの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用いて、図７の手順に従いプラットフォーム型ＩＣカードにインストールできた調査用アプリケーションの最大容量を探索することで、プラットフォーム型ＩＣカードのＥＥＰＲＯＭの空き容量を調査する。【選択図】図７
2008171333.tif 000002
【特許請求の範囲】
【請求項１】
プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査する方法であって、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査することを特徴とする方法。
【請求項２】
請求項１に記載の方法において、前記方法は、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することを特徴とする方法。
【請求項３】
請求項１または請求項２に記載の方法において、前記調査用アプリケーションは、バイト型の配列変数で宣言される変数を含み、前記配列変数の要素数を変更することで、前記調査用アプリケーションの容量を変更することを特徴とする方法。
【請求項４】
プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査するコンピュータであって、前記プラットフォーム型ＩＣカードと通信するインターフェースデバイスと、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査する調査手段を備えていることを特徴とするコンピュータ。
【請求項５】
請求項４に記載のコンピュータにおいて、前記コンピュータに備えられた前記調査手段は、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、
前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索する手段であることを特徴とするコンピュータ。
【請求項６】
請求項４または請求項５に記載のコンピュータであって、前記調査手段が有する前記調査用アプリケーションは、バイト型の配列で宣言される変数を含み、前記調査手段は、前記バイト型の配列の要素数を変更することで、前記調査用アプリケーションの容量を変更することを特徴とするコンピュータ。
【請求項７】
プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査するコンピュータを、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできる前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査する調査手段として機能させるためのコンピュータプログラム。
【請求項８】
請求項７に記載のコンピュータプログラムにおいて、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索する前記調査手段として、前記コンピュータを機能させるためのコンピュータプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、アプリケーションの追加削除が可能なプラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査する技術に関する。
【背景技術】
【０００２】
ＩＣカード用ＩＣチップの高機能化が進み、Ｊａｖａ（登録商標）などのプラットフォーム型オペレーティングシステム（OS: Operating System）を実装したプラットフォーム型ＩＣカードが普及するようになった。
【０００３】
プラットフォーム型ＩＣカードにおいては、プラットフォーム型ＩＣカードを発行した後であっても、プラットフォーム型ＯＳに対応した高級言語で開発されたアプリケーションを電気的に書換え可能な不揮発性メモリ（例えば、ＥＥＰＲＯＭ）に追加できるが、当然のことながら、この不揮発性メモリの容量には限界があるため、アプリケーションをプラットフォーム型ＩＣカードにインストールする際は、アプリケーションをインストールできるだけの空き容量がこの不揮発性メモリにあるか確認することが必要になる。
【０００４】
プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査するためには、特許文献１で記述されているＧＥＴＳＰＡＣＥコマンドのような、電気的に書換え可能な不揮発性メモリの空き容量をターミナルへ通知する機能をプラットフォーム型ＯＳが備えていなければならないが、このような機能を予め備えていないプラットフォーム型ＯＳを搭載したプラットフォーム型ＩＣカードの場合は、アプリケーションをインストールする前に、電気的に書換え可能な不揮発性メモリの空き容量を調査することはできなかった。
【特許文献１】特開平１１−２１３１０７号公報
【発明の開示】
【発明が解決しようとする課題】
【０００５】
そこで本発明は、電気的に書換え可能な不揮発性メモリの空き容量を調査する機能をプラットフォーム型ＩＣカードが備えていない場合であっても、プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査できる方法を提供することを目的とし、更に、プラットフォーム型ＩＣカードが備えていない場合であっても、プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査できるコンピュータ及びコンピュータプログラムを提供することを目的とする。
【課題を解決するための手段】
【０００６】
上述した課題を解決する第１の発明は、プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査する方法であって、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査することを特徴とする方法である。
【０００７】
第１の発明によれば、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査するときに前記調査用アプリケーションが利用されるため、プラットフォーム型ＯＳが前記不揮発性メモリの空き容量を調査する機能を備えていない場合でも、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査することができるようになる。
【０００８】
更に、第２の発明は、第１の発明に記載の方法において、前記方法は、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することを特徴とする方法である。
【０００９】
第２の発明によれば、第２の発明に記載の手順を実行することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリに合わせて、前記不揮発性メモリの容量までの空き容量を調査することが可能になる。
【００１０】
更に、第３の発明は、第１の発明または第２の発明に記載の方法において、前記調査用アプリケーションは、バイト型の配列変数で宣言される変数を含み、前記配列変数の要素数を変更することで、前記調査用アプリケーションの容量を変更することを特徴とする方法である。
【００１１】
第３の発明によれば、前記配列変数の要素数を定義する変数を用意し、この変数の値を変更ことのみで、前記調査用アプリケーションの容量を容易に変更することが可能になる。
【００１２】
更に、第４の発明は、プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査するコンピュータであって、前記プラットフォーム型ＩＣカードと通信するインターフェースデバイスと、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査する調査手段を備えていることを特徴とする。
【００１３】
更に、第５の発明は、第４の発明に記載のコンピュータにおいて、前記コンピュータに備えられた前記調査手段は、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、
前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索する手段であることを特徴とする。
【００１４】
更に、第６の発明は、第４の発明または第５の発明に記載のコンピュータであって、前記調査手段が有する前記調査用アプリケーションは、バイト型の配列で宣言される変数を含み、前記調査手段は、前記バイト型の配列の要素数を変更することで、前記調査用アプリケーションの容量を変更することを特徴とする。
【００１５】
上記第４の発明から第６の発明によれば、上述した第１の発明から第３の発明と同様の効果が得られる。
【００１６】
更に、第７の発明は、プラットフォーム型ＩＣカードに実装されたＩＣチップの電気的に書換え可能な不揮発性メモリの空き容量を調査するコンピュータを、前記不揮発性メモリの空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーションを用い、前記プラットフォーム型ＩＣカードにインストールできる前記調査用アプリケーションの最大容量を探索することで、前記プラットフォーム型ＩＣカードの前記不揮発性メモリの空き容量を調査する調査手段として機能させるためのコンピュータプログラムである。
【００１７】
更に、第８の発明は、第７の発明に記載のコンピュータプログラムにおいて、
ステップａ）前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量が代入される変数である確定空き容量を０バイトに、前記確定空き容量に上乗せする容量が代入される変数である未確定空き容量を前記不揮発性メモリのメモリ容量とするステップ、
ステップｂ）前記未確定空き容量の半分の値を演算するステップ、
ステップｃ）前記確定空き容量に前記未確定空き容量の半分を加えた容量を有する前記調査用アプリケーションを生成するステップ、
ステップｄ）前記ステップｃ）で生成した前記調査用アプリケーションを前記プラットフォーム型ＩＣカードにインストールし、インストールに成功したときは、インストールした前記調査用アプリケーションを削除すると共に、前記確定空き容量も前記未確定空き容量を加えることで前記確定空き容量を更新するステップ、
を備え、前記ステップｂ）から前記ステップｄ）までを前記未確定空き容量が１バイト未満になるまで繰返し実行することで、前記プラットフォーム型ＩＣカードにインストールできた前記調査用アプリケーションの最大容量を探索する前記調査手段として、前記コンピュータを機能させるためのコンピュータプログラムである。
【００１８】
上記第７の発明から第８の発明によれば、上述した第１の発明から第２の発明と同様の効果が得られる。
【発明の効果】
【００１９】
そこで本発明は、電気的に書換え可能な不揮発性メモリの空き容量を調査する機能をプラットフォーム型ＩＣカードが備えていない場合であっても、プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査できる方法を提供することを目的とし、更に、プラットフォーム型ＩＣカードが備えていない場合であっても、プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査できるコンピュータ及びコンピュータプログラムを提供することを目的とする。
【発明を実施するための最良の形態】
【００２０】
ここから、プラットフォーム型ＩＣカードの電気的に書換え可能な不揮発性メモリの空き容量を調査する方法、コンピュータ及びコンピュータプログラムについて、図を参照しながら詳細に説明する。
【００２１】
図１は、プラットフォーム型ＩＣカード２（以下、ＩＣカード）の電気的に書換え可能な不揮発性メモリ（ここでは、ＥＥＰＲＯＭ）の空き容量を調査するコンピュータ１を説明する図で、コンピュータ１には、ＩＣカード２とデータ通信するインターフェースデバイスであるリーダライタ１ａが接続され、コンピュータ１は、プラットフォーム型オペレーティングシステム（OS: Operating System）が搭載されたＩＣカード２のＥＥＰＲＯＭの空き容量を調査する機能を備える。
【００２２】
コンピュータ１は、ＩＣカード２のＥＥＰＲＯＭの空き容量を調査するために、ＥＥＰＲＯＭの空き容量の調査するためだけに利用され、任意の容量に設定可能なアプリケーション（以下、調査用アプリケーション）を有し、ＩＣカード２にインストールすることのできる調査用アプリケーションの最大容量を探索することで、ＥＥＰＲＯＭの空き容量を調査する。
【００２３】
本発明によれば、ＩＣカード２のＥＥＰＲＯＭの空き容量を調査するときに調査用アプリケーションが利用されるため、ＩＣカード２のＥＥＰＲＯＭの空き容量を調査する機能をプラットフォーム型ＯＳが備えていない場合でも、ＩＣカード２のＥＥＰＲＯＭの空き容量を調査することができるようになる。
【００２４】
図２は、ＩＣカード２の外観図である。図１で示したように、ＩＣカード２は、キャッシュカードやクレジットカードと同じ大きさのプラスチック製カードで、ＩＣカード２には、ＩＣチップ３がモールドされたＩＣモジュール２ａが実装されている。
【００２５】
図１においては、ＩＣカード２を接触ＩＣカードとして図示しているが、ＩＣカード２は、無線でデータ通信する非接触ＩＣカード、または、接触データ通信と非接触データ通信の２つの通信機能を備えたデュアルインターフェースＩＣカードであってもよい。
【００２６】
加えて、ＩＣカード２の形状は問わず、ＩＣカード２はキャッシュカードと同じ形状でなく、ＩＣモジュールの近辺を短冊状に切り取った形状をしているＳＩＭ（Subscriber Identity Module）であってもよい。
【００２７】
図３は、ＩＣカード２に埋め込まれるＩＣチップのハードウェア構成図である。ＩＣチップには、演算機能およびＩＣチップが具備するデバイスを制御する機能を備えた中央演算装置３０（CPU：Central Processing Unit）、揮発性メモリとしてランダムアクセスメモリ３１（RAM：Random Access Memory）、読み出し専用の不揮発性メモリ（ROＭ：Read Only Memory、）３２、電気的に書換え可能な不揮発性メモリとしてＥＥＰＲＯＭ３３（EEPROM：Electrically Erasable Programmable Read-Only Memoryの略）、および、リーダライタ１ａとデータ通信するためのＩ／Ｏ回路３４を備えている。
【００２８】
図４は、ＩＣカード２が有するＥＥＰＲＯＭ３３の図である。ＩＣカード２が有するＥＥＰＲＯＭ３３には、プラットフォーム型ＯＳが利用するデータ３３ａに加え、複数のアプリケーション３３ｂがインストールされ、これらを除いた空き領域３３ｃの容量が空き容量で、コンピュータ１はこの空き容量を調査する。
【００２９】
図５は、コンピュータ１のブロック図である。コンピュータ１には、リーダライタ１ａが接続され、ＩＣカード２のＥＥＰＲＯＭ３３の空き容量を調査する空き容量調査手段１０を備え、この空き容量調査手段１０は、ＩＣカード２の空き容量を調査するためだけに利用され、任意の容量に設定可能な調査用アプリケーション１００を有している。
【００３０】
空き容量調査手段１０は、コンピュータ１を空き容量調査手段１０として機能させるためのコンピュータプログラムで実現され、調査用アプリケーション１００は、当然のことながら、ＩＣカード２のプラットフォーム型ＯＳに対応した言語で開発される。
【００３１】
図６は、調査用アプリケーション１００を説明するための図である。調査用アプリケーション１００は、ＩＣカード２にインストールするために最低限必要なデータである固定データ部１０１と、データ長を任意に設定できる可変長データ部１０２を有する。
【００３２】
調査用アプリケーション１００のソースコードにおいて、可変長データ部１０２はバイト型の配列変数で定義され、更に、調査用アプリケーション１００のソースコードには、この配列変数の要素数を定義する整数変数が含まれる。この整数変数の値を任意の値に設定することで、調査用アプリケーション１００の容量を任意に設定できる。
【００３３】
本実施の形態において、コンピュータ１に備えられた空き容量調査手段１０は、調査用アプリケーション１００の配列変数の要素数を定義する整数変数の値を算出するために、確定空き容量と未確定空き容量の変数を利用する。
【００３４】
確定空き容量は、ＩＣカード２にインストールできた調査用アプリケーション１００の配列変数の要素数の最大値が代入される変数で、未確定空き容量は、確定空き容量に上乗せする容量が代入される変数で、コンピュータ１に備えられた空き容量調査手段１０は、これから述べる手順に従い、これらの変数を変更し、調査用アプリケーション１００の容量を変更するごとに、ＩＣカード２に調査用アプリケーション１００をインストールすることでＥＥＰＲＯＭ３３の空き容量を調査する。
【００３５】
ここから、コンピュータ１の空き容量調査手段１０がＩＣカード２の空き容量を調査する手順について説明する。図７は、コンピュータ１の空き容量調査手段１０がＩＣカード２の空き容量を調査する手順を示したフロー図で、このフローの説明は、本発明に係る方法の説明も兼ねる。
【００３６】
この手順の最初のステップＳ１は、上述した確定空き容量と未確定空き容量を初期値化するステップである。このステップが実行されるとき、如何なる容量の調査用アプリケーション１００をもインストールに成功していないので、確定空き容量は「０バイト」となり、未確定空き容量は、ＥＥＰＲＯＭ３３の容量の半分の値にセットされる。例えば、ＩＣカード２のＥＥＰＲＯＭ３３の容量が３２Ｋバイトならば、未確定空き容量は１６３８４バイトにセットされる。
【００３７】
このステップで、未確定空き容量を、ＩＣカード２が有するＥＥＰＲＯＭ３３の容量の半分の値にセットするのは、ＩＣカード２が有するＥＥＰＲＯＭ３３の容量までの空き容量を調査できるようにするためである。実際に計算すればわかることではあるが、ＥＥＰＲＯＭ３３の空き容量がＥＥＰＲＯＭ３３の容量すべてであったとき、調査用アプリケーション１００の容量はＥＥＰＲＯＭ３３の容量すべてになる。
【００３８】
次のステップＳ２は、調査用アプリケーション１００の配列変数の要素数を定義する整数変数を演算するステップである。このステップでは、確定空き容量の値に未確定空き容量の値を加算することで、調査用アプリケーション１００の配列変数の要素数を定義する整数変数の値は算出される。
【００３９】
次のステップＳ３は、ＩＣカード２にインストールする調査用アプリケーション１００を生成するステップである。このステップでは、調査用アプリケーション１００の配列変数の要素数を定義する整数変数の値をステップＳで算出した値にセットし、調査用アプリケーション１００のソースコードをコンパイルすることで、ＩＣカード２にインストールする調査用アプリケーション１００を生成する。
【００４０】
次のステップＳ４は、ステップＳで生成した調査用アプリケーション１００をＩＣカード２にインストールするステップである。
【００４１】
次のステップＳ５は、調査用アプリケーション１００のインストールの結果に従い処理を分岐するステップで、ステップＳ４で調査用アプリケーション１００のインストールに成功したときはステップＳ６に進み、ステップＳ４で調査用アプリケーション１００のインストールに失敗したときはステップＳ８に進む。
【００４２】
ステップＳ４で調査用アプリケーション１００のインストールに成功したときに実行されるステップＳ６は確定空き容量の値を更新するステップで、ステップＳ４で、調査用アプリケーション１００の配列変数の要素数を定義する整数変数の値を、確定空き容量に未確定空き容量を加えた値に設定しても調査用アプリケーション１００のインストールに成功するため、確定空き容量の値を、確定空き容量の値に未確定空き容量を加えた値に更新する。
【００４３】
次のステップＳ７は、ステップＳ４でインストールした調査用アプリケーション１００をＩＣカード２から削除するステップである。
【００４４】
次のステップＳ８は、未確定空き容量の値を更新するステップである。ステップＳ５において、調査用アプリケーション１００のインストールの結果に係らず、未確定空き容量の値を半分にする。このステップで、未確定空き容量の値を半分にするのは、確定空き容量のより近傍にある空き容量を検索するためである。
【００４５】
次のステップＳ９は、未確定空き容量の値によって処理を分岐させるステップで、未確定空き容量が１バイト以下、すなわち、１バイトも更新できない場合は、未確定空き容量を更新できないのでステップＳ１０に進み、１バイトよりも大きい場合は、未確定空き容量を更新できるのでステップＳ２に戻る。
【００４６】
未確定空き容量が更新できなくなるまで、ステップＳ２からステップＳ９までのステップが繰り返し実行されることで、確定空き容量に固定データ部１０１の容量を加えた値は、ＥＥＰＲＯＭ３３の空き容量へと変化していく。
【００４７】
未確定空き容量が更新できな場合に実行されるステップＳ１０は、ＥＥＰＲＯＭ３３の空き容量を算出するステップである。このステップでは、確定空き容量の値に、調査用アプリケーション１００の固定データ部１０１の長さを加えることで、ＥＥＰＲＯＭ３３の空き容量は算出される。
【００４８】
ここから、図７のフローが実行される様子について説明する。図８は、図７のフローが実行される様子について説明するための図である。
【００４９】
図８（ａ）は、ＥＥＰＲＯＭ３３の空き容量を調査するときのＥＥＰＲＯＭ３３の状態を説明する図で、ＥＥＰＲＯＭ３３の一部の領域は既に使用され、使用領域の残りのＥＥＰＲＯＭ３３の領域が空き領域になる。
【００５０】
図８（ｂ）は、最初に生成される調査用アプリケーション１００をインストールした後の図で、調査用アプリケーション１００の固定部は黒塗りの四角で、可変長データ部１０２は白塗りの四角で図示している。ステップＳ１において、確定空き容量は０バイトで、未確定空き容量はＥＥＰＲＯＭ３３の容量の半分であるため、調査用アプリケーション１００の可変長データ部１０２の長さはＥＥＰＲＯＭ３３の容量の半分になる。
【００５１】
最初に生成される調査用アプリケーション１００は空き容量よりも小さいため、ＩＣカード２へのインストールは成功し、図７のフローに従えば、２回目に調査用アプリケーション１００を生成するときの確定空き容量はＥＥＰＲＯＭ３３の容量の半分で、未確定空き容量はＥＥＰＲＯＭ３３の容量の１／４になる。
【００５２】
図８（ｃ）は、２回目に生成される調査用アプリケーション１００をインストールしたと仮定した図で、図８（ｃ）で図示したように、２回目に生成される調査用アプリケーション１００の容量は空き容量を超えているためＩＣカード２へのインストールは失敗し、図７のフローに従えば、３回目に調査用アプリケーション１００を生成するときの確定空き容量はＥＥＰＲＯＭ３３の容量の半分で、未確定空き容量はＥＥＰＲＯＭ３３の容量の１／８になる。
【００５３】
図８（ｄ）は、３回目に生成される調査用アプリケーション１００をインストールしたと仮定した図で、図８（ｄ）で図示したように、３回目に生成される調査用アプリケーション１００の容量は空き容量を超えているため、ＩＣカード２へのインストールは失敗し、図７のフローに従えば、４回目に調査用アプリケーション１００を生成するときの確定空き容量はＥＥＰＲＯＭ３３の容量の半分で、未確定空き容量はＥＥＰＲＯＭ３３の容量の１／１６になる。
【００５４】
図８（ｅ）は、４回目に生成される調査用アプリケーション１００をインストールしたときの図で、図８（ｅ）で図示したように、５回目に生成される調査用アプリケーション１００の容量は空き容量よりも小さいため、ＩＣカード２へのインストールは成功し、図７のフローに従えば、５回目に調査用アプリケーション１００を生成するときの確定空き容量はＥＥＰＲＯＭ３３の容量の半分にＥＥＰＲＯＭ３３の容量の１／１６を加えた値になり、未確定空き容量はＥＥＰＲＯＭ３３の容量の１／３２になる。
【００５５】
図８（ｆ）は、５回目に生成される調査用アプリケーション１００をインストールしたと仮定した図で、図８（ｆ）で図示したように、５回目に生成される調査用アプリケーション１００の容量は空き容量より小さく、ＩＣカード２へのインストールに成功し、図７のフローに従い、確定空き容量と未確定空き容量は変更される。
【００５６】
図８を参照しながら説明したように、図７のステップＳ２からステップＳ９が繰返し実行されることで、調査用アプリケーション１００の容量は空き容量へと変更され、未確定空き容量が変更できなくなったときの調査用アプリケーション１００の容量が空き容量となる。
【図面の簡単な説明】
【００５７】
【図１】プラットフォーム型ＩＣカードのＥＥＰＲＯＭの空き容量を調査するコンピュータ１を説明する図。
【図２】ＩＣカードの外観図。
【図３】ＩＣカードに埋め込まれるＩＣチップのハードウェア構成図。
【図４】ＩＣカードが有するＥＥＰＲＯＭの図。
【図５】コンピュータのブロック図。
【図６】調査用アプリケーションを説明するための図。
【図７】コンピュータがＩＣカードの空き容量を調査する手順を示したフロー図。
【図８】図７のフローが実行される様子について説明するための図。
【符号の説明】
【００５８】
１  コンピュータ
１０  空き容量調査手段
１００  調査用アプリケーション
２  ＩＣカード
３  ＩＣチップ
３３  ＥＥＰＲＯＭ
【図１】
2008171333.tif 000003
【図２】
2008171333.tif 000004
【図３】
2008171333.tif 000005
【図４】
2008171333.tif 000006
【図５】
2008171333.tif 000007
【図６】
2008171333.tif 000008
【図７】
2008171333.tif 000009
【図８】
2008171333.tif 000010