【課題】検証時間を短縮化できるプログラム検証装置を提供する。
【解決手段】プログラム検証装置は、検証対象プログラムの処理内容を解析し、前記検証対象プログラムの言語仕様のうちの検証対象の仕様である検証対象仕様を満たすか否かを判定するための検証式を生成する検証式生成部３０３と、生成した検証式を含む検証コードを生成する検証コード生成部３０４と、検証コード生成部３０４が生成した少なくとも２つの検証コードについて、１つの検証コードに合成可能か否かを判定し、合成可能である場合には、１つの検証コードに合成する検証コード合成部３０５と、合成可能な少なくとも２つの検証コードについては、検証コード合成部３０５が合成した検証コードを用いて検証対象仕様を満たすか否かを判定する検証実行部３０７と、を備えている。 （もっと読む）

【課題】制御装置に測定器が接続されている測定器システムにおいて、目的となるプログラムを簡単に検索し、オブジェクトデータとプログラムとが不整合を生じることなくデバッグを行うことを目的とする。
【解決手段】制御装置２は、測定器３の動作制御を行う複数のプログラムを記憶した補助記憶装置１３と、補助記憶装置１３に記憶されたプログラムを測定器３が実行可能な形式にコンパイルしたオブジェクトデータに変換するコンパイラ１４と、オブジェクトデータにセットとして付加されるプログラムを特定するシグネチャを生成するシグネチャ生成部１６と、測定器３に記憶されている複数のオブジェクトデータのうちデバッグを行う対象となるオブジェクトデータに対応するシグネチャを入力して、このシグネチャと一致するプログラムを補助記憶装置１３から検索するファイルサーチ部１７と、を備えている。 （もっと読む）

【課題】制御対象となる実機を用いることなく、制御プログラムのデバッグや動作確認が可能な制御プログラム開発支援装置を提供する。
【解決手段】
制御プログラムを実行するシミュレーション部２０と、コントローラユニット５０がアクセスするユニットの入力信号、出力信号およびバッファメモリの値の変動を模擬して記述するＩＯシナリオプログラム１２と、その起動条件の設定を行うＩＯシナリオ設定プログラム１３を実行するＩＯシナリオ実行部３０とを備え、シミュレーション部２０は、制御プログラムを実行して、仮想入力信号２３ａ、仮想出力信号２３ｂおよび仮想バッファメモリ２３ｃを作り出すデバイスシミュレーション部２３を有し、ＩＯシナリオ実行部３０は、トリガアクションの通知を受けて、ＩＯシナリオプログラム１２に基づいて、仮想入力信号２３ａ、仮想出力信号２３ｂおよび仮想バッファメモリ２３ｃの値の、読み出し、書き込み動作を行う。 （もっと読む）

【課題】オンラインシステムに関する現新一致テストを効率化する。
【解決手段】情報処理装置１００が、同機能で処理系が異なるオンラインシステム２００、３００それぞれに対し、テスト用で同一のオンライン電文を順次投入する。オンラインシステムからテスト用のオンラインバッチの予告通知を受信した際、投入済みの電文がオンラインシステム間で一致している場合、電文投入を中断し、オンラインバッチの実行指示を各オンラインシステムに通知する。投入済みの電文がオンラインシステム間で一致していない場合、より多くの電文を投入済みのオンラインシステムでの電文投入を中断する。投入済みの電文がオンラインシステム間で一致した状態となった場合、各オンラインシステムへの電文投入を中断して、オンラインバッチの実行指示を各オンラインシステムに通知する。 （もっと読む）

【課題】デバッグ時間を短縮する。
【解決手段】エミュレータ装置は、所定機能を有するマクロ回路を含み、ブレークポイントにおいてターゲットプログラムの実行を中断するマイクロコンピュータを備える。プログラム解析部は、ターゲットプログラムを解析してブレーク対象部分を抽出する。ブレークポイント制御部は、ブレーク対象部分に内部設定ブレークポイントを設定する。データ保存制御部は、内部設定ブレークポイントにおいてブレークしたときに、マイクロコンピュータの動作環境を示す復元ポイント情報を収集して保存する。復元ポイント制御部は、マイクロコンピュータがユーザによって設定されるユーザブレークポイントにおいてブレークしたときに、マクロ回路の初期化を実行するプログラム部分を示す内部設定ブレークポイントを復元ポイントに設定する。プログラム実行制御部は、復元ポイントから実行させる。 （もっと読む）

【課題】インライン展開の確認が容易なデータ処理装置、データ処理方法、及びプログラムを提供すること
【解決手段】コンパイラ１０は、ソースプログラムをコンパイルしてアセンブリプログラムを生成すると共に、アセンブリプログラムの生成の際にインライン展開を行った関数呼び出し命令の位置情報を記載したデバッグ情報を生成する。ソースプログラム表示編集部２０は、デバッグ情報に基づいて、インライン展開を行った関数呼び出し命令を特定した表示画面を生成する。 （もっと読む）

【課題】ソフトウェア製品を操作したユーザが意識していない問題点に対しても評価コメントが得られ、かつ、短期間にソフトウェア製品のユーザ評価を行う。
【解決手段】Ｗｅｂアプリケーション７０の操作画面を表示する表示装置１４と、マウス１６を具備するクライアントＰＣ１０が行う製品評価支援方法であって、この操作画面がマウス１６によって操作されていない操作停滞時間、または、この操作画面に於けるカーソル移動距離により、Ｗｅｂアプリケーション７０の操作画面に対する操作上の問題点を検知する処理と、この操作上の問題点を検知したときに、表示装置１４に評価コメント収集ダイアログを表示して評価コメントを収集する処理と、この評価コメントを、製品評価支援サーバ５０の評価コメントＤＢ５３に保存する処理とを行う。 （もっと読む）

【課題】実行履歴情報上で変数の制約条件違反を発見しても、膨大な量の仕様書から、制約条件違反に関する情報を探索するために、工数と時間がかかる。
【解決手段】仕様書に基づいてコンピュータ上で実行されたプログラムの実行に係る実行履歴情報における変数とその変数に設定された値に対して、検査結果を出力する検査結果出力装置であって、前記実行履歴情報から前記変数と該変数の値を抽出する抽出手段１０１と、前記抽出手段により抽出された前記変数と該変数の値について、前記変数についての前記仕様書に規定された制約条件に違反するかどうかを判定する判定手段１０２と、前記判定手段により制約条件違反と判定された場合に、制約違反とされた制約条件に関する情報を、前記実行結果の所定の位置へ追記する追記手段１０３とを備え、前記制約条件に関する情報は、制約条件違反とされた変数に関する仕様書に対応付けられていることを特徴とする。 （もっと読む）

【課題】大量のコンピュータリソースを必要とする車両制御シミュレーションを、シミュレーション工程毎に柔軟に実行することのできるシミュレーションシステムを得る。
【解決手段】本発明に係る車両制御シミュレーションシステムは、車両制御ソフトウェアおよび車両の論理モデルの種類毎に仮想サーバを備えており、シミュレーションの各工程において必要になる仮想サーバを起動して対応するシミュレーションを実行させる。 （もっと読む）

【課題】高速に信頼性の高いハードマクロの特性値を抽出することが可能なキャラクタライズ装置を提供すること。
【解決手段】特性値抽出部３２は、ハードマクロに入力する信号波形にスルーを与えて静的な経路探索を行なうことにより、ハードマクロ内の測定点における遅延時間を算出して特性値を抽出する。動的検証部３４は、特性値抽出部３２によって抽出された特性値を用いてハードマクロの動的検証を行なうことにより、特性値が適切か否かを検証する。したがって、動的検証に要する時間を短くすることができ、高速に信頼性の高いハードマクロの特性値を抽出することが可能となる。 （もっと読む）