(57)【要約】【課題】制御装置へ実装する形式のアプリケーションソフトウェアの実装コードから、検証者が認識しやすい検証用データを生成するアプリケーションソフトウェア検証用データ生成装置を得る。【解決手段】アプリケーションデータ生成専用ツール１により、プラントを制御する制御装置５に実装されるアプリケーションソフトウェアの可視化言語プログラム２が作成されると、アプリケーションデータ生成専用ツール１のコンパイル機能によりこれをコンパイルして実装コード３を得て、この実装コード３をアプリケーションソフトウェア検証用データ生成装置６に入力し、この入力された実装コード３に基づいて、検証者が認識しやすい形式の検証用データ７を実装コード３の生成プロセスと異なるプロセスにより生成するようにした。【選択図】図１
2013140493.tif 000002
【特許請求の範囲】
【請求項１】
プラントを制御する制御装置に実装されるアプリケーションソフトウェアの可視化言語プログラムをコンパイルすることにより得られた実装コードが入力され、この入力された実装コードに基づいて、検証者が認識しやすい形式の検証用データを生成する手段を備えたことを特徴とするアプリケーションソフトウェア検証用データ生成装置。
【請求項２】
上記検証用データは、テキスト形式のデータであることを特徴とする請求項１記載のアプリケーションソフトウェア検証用データ生成装置。
【請求項３】
上記検証用データは、汎用ワープロソフトまたは汎用表計算ソフトで参照可能なファイル形式であることを特徴とする請求項１記載のアプリケーションソフトウェア検証用データ生成装置。
【請求項４】
上記検証用データを生成する手段は、上記アプリケーションソフトウェアを作成するための上流仕様を参照して、上記検証用データを生成することを特徴とする請求項１〜請求項３のいずれか一項記載のアプリケーションソフトウェア検証用データ生成装置。
【請求項５】
上記検証用データを印字する手段を備えたことを特徴とする請求項１〜請求項４のいずれか一項記載のアプリケーションソフトウェア検証用データ生成装置。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、原子力プラント向けディジタル制御装置などの制御装置に実装するアプリケーションソフトウェアを検証するための検証用データを生成するアプリケーションソフトウェア検証用データ生成装置に関するものである。
【背景技術】
【０００２】
原子力プラント向けディジタル制御装置に実装するアプリケーションソフトウェアは、ソフトウェアの内容を第三者に分かりやすく見せることを目的に、文章表現型のプログラミングではなく、可視化言語を用いている。可視化言語は、専用ツールでコンパイルし、バイナリの実行コードとして原子力プラント向けディジタル制御装置にダウンロードされる。このため、ソフトウェアの検証は、可視化言語で書かれたソースコードや入力データを対象とするのではなく、実行コードであるバイナリデータに対する検証を求められる。
従来、実行コードの検証は、（１）アプリケーションデータ生成専用ツールがバイナリの実行コードを生成する前の中間データと可視化言語との塗りこみを実施する、もしくは、（２）アプリケーションデータ生成専用ツールで入力したデータをコンパイルすることにより得られるバイナリデータに対して、可視化言語との塗りこみチェックを実施する、のいずれかであった。
【０００３】
特許文献１には、第１のアーキテクチャの計算機用の機械語プログラム（第１の機械語プログラム）から同プログラムと同じ動作を定義した高級言語ソースプログラムを生成した後、この高級言語ソースプログラムをコンパイルして第１のアーキテクチャとは異なる第２のアーキテクチャの計算機で実行可能なロードモジュールを作成し、このロードモジュールを第２のアーキテクチャの計算機で実行させることにより、第１の機械語プログラムの動作検証を行うようにしたものが記載されている。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開平６−３０９１９３号公報（第３〜５頁、図１）
【発明の概要】
【発明が解決しようとする課題】
【０００５】
アプリケーションデータ生成専用ツールが、バイナリの実行コードを生成する前の中間データと可視化言語との塗りこみを実施する場合、バイナリデータに対する直接的な検証が実施できない、実行コードを生成するものと同一のアプリケーションデータ生成専用ツールが生成した中間データに対するチェックであり、万が一、アプリケーションデータ生成専用ツールに問題が内在した場合には、単一の問題ですべての検証結果が疑われてしまうという問題があった。
また、アプリケーションデータ生成専用ツールで入力したデータをコンパイルすることで得られるバイナリデータに対して、可視化言語との塗りこみチェックを実施する場合、塗りこみ対象がバイナリデータであるため、制御装置に対する深い知識が必要である上に、ヒューマンエラーを起こしやすく、検証に多大な時間を要するという問題があった。
【０００６】
特許文献１のものでは、機械語プログラムから高級言語ソースプログラムを生成し、これをコンパイルしてロードモジュールを生成した後に計算機で実行することにより機械語プログラムを検証するものであり、バイナリコードであるロードモジュールの検証を行うものではなかった。
【０００７】
この発明は、上述のような課題を解決するためになされたものであり、制御装置へ実装する形式のアプリケーションソフトウェアの実装コードから、検証者が認識しやすい検証用データを生成するアプリケーションソフトウェア検証用データ生成装置を得ることを目的にする。
【課題を解決するための手段】
【０００８】
この発明に係わるアプリケーションソフトウェア検証用データ生成装置においては、プラントを制御する制御装置に実装されるアプリケーションソフトウェアの可視化言語プログラムをコンパイルすることにより得られた実装コードが入力され、この入力された実装コードに基づいて、検証者が認識しやすい形式の検証用データを生成する手段を備えたものである。
【発明の効果】
【０００９】
この発明によれば、プラントを制御する制御装置に実装されるアプリケーションソフトウェアの可視化言語プログラムをコンパイルすることにより得られた実装コードが入力され、この入力された実装コードに基づいて、検証者が認識しやすい形式の検証用データを生成する手段を備えたので、アプリケーションソフトウェアの実装コードの検証性を強化することができる。
【図面の簡単な説明】
【００１０】
【図１】この発明の実施の形態１による制御装置用アプリケーションソフトウェアの検証フローを示す図である。
【発明を実施するための形態】
【００１１】
実施の形態１．
以下、この発明の実施の形態１を図に基づいて説明する。
図１は、この発明の実施の形態１による制御装置用アプリケーションソフトウェアの検証フローを示す図である。
図１において、アプリケーションデータ生成専用ツール１では、アプリケーションソフトウェア生成のためのドキュメント、図書などの上流仕様８に基づき、可視化言語プログラム２がプログラミングされる。
アプリケーションデータ生成専用ツール１上でプログラミングされた可視化言語プログラム２は、アプリケーションデータ生成専用ツール１の一機能であるコンパイル機能により、実装コード３に変換される。その際、アプリケーションデータ生成専用ツール１は、参考情報として、コンパイル時の参考データテーブル４を生成する。参考データテーブル４は、信号とアドレスを対にしたものである。
【００１２】
アプリケーションソフトウェア検証用データ生成装置６は、実装コード３を入力データとして、アプリケーションデータ生成専用ツール１が実装コード３を生成するプロセスとは全く異なるプロセスで、検証者が認識しやすい形式の検証用データ７を生成する機能を有する。
この検証用データ７と、アプリケーションソフトウェア生成のための上流仕様８を比較・確認することで、生成したアプリケーションソフトウェアの検証を行う。定義データ９は、可視化言語プログラム２のデータを定義し、検証用データ７の検証者が認識しにくいデータを、認識しやすいデータにするために使用される。
なお、制御装置５に実装コード３をダウンロードすることで、実装コード３によるプラントの制御を行う。
【００１３】
次に、この発明の実施の形態１の動作について説明する。
図１のアプリケーションデータ生成専用ツール１では、アプリケーションソフトウェア
生成のためのドキュメント、図書などの上流仕様８に基づき、可視化言語プログラム２がプログラミングされ、アプリケーションデータ生成専用ツール１のもつコンパイル機能により、コンパイルして実装コード３及び参考データテーブル４が生成される。
次いで、図１のアプリケーションソフトウェア検証用データ生成装置６は、実装コード３とコンパイル時の参考データテーブル４を入力として、検証用データ７を、アプリケーションソフトウェアを生成する際のプロセスとは全く異なる手法で生成する。すなわち、コンパイル機能とは関連のない全く別の手法で生成する。
ここで、検証用データ７は、実装コード３に記載されているプログラムのバイナリデータから生成された視認性の良いテキスト形式のデータである。実装コード３に実装されているデータのみでは、検証者が認識しにくい内容については、参考データテーブル４と定義データ９を参照の上、認識しやすいデータに生成する。
出来上がった検証用データ７と、アプリケーションソフトウェア生成のための上流仕様８を比較・確認することで、アプリケーションソフトウェアの検証を行う。
【００１４】
実施の形態１によれば、アプリケーションソフトウェアの実装コードを検証対象とすること、及び実装コード生成の際のプロセスとは全く異なるプロセスで検証データを生成し、検証を行うことで、アプリケーションソフトウェアの実装コードの検証性を強化することができる。
また、検証者が認識しやすい検証データとすることで、検証におけるヒューマンエラーの防止、検証の効率化を図ることができる。
【００１５】
実施の形態２．
実施の形態１では、検証用データ７をテキスト形式としたが、実施の形態２は、検証用データ７をワープロソフト、表計算ソフトで参照可能なファイル形式とする。
これにより、さらにアプリケーションソフトウェアの検証効率を上げることができる。
【００１６】
実施の形態３．
実施の形態１では、実装コードとコンパイル時の参考データテーブルを入力として、検証用データ７を生成するものであったが、実施の形態３は、上流仕様８もアプリケーションソフトウェア検証用データ生成装置６への入力データとするものである。
上流仕様８から言葉とフォーマットを入力することで、さらに認識しやすい検証用データ７が生成でき、検証効率を上げることができる。
【００１７】
実施の形態４．
実施の形態１〜実施の形態３において、検証用データ７を印字する機能を設けることで、さらなる効率化が可能であることは言うまでもない。
【００１８】
なお、本発明は、その発明の範囲内において、各実施の形態を自由に組み合わせたり、各実施の形態を適宜、変形、省略することが可能である。
【符号の説明】
【００１９】
１  アプリケーションデータ生成専用ツール
２  可視化言語プログラム
３  実装コード
４  参考データテーブル
５  制御装置
６  アプリケーションソフトウェア検証用データ生成装置
７  検証用データ
８  上流仕様
９  定義データ
【図１】
2013140493.tif 000003