【課題】制御プログラムの動作検証を行い、リソースへの不適切なアクセスを検出する情報処理装置を提供する。
【解決手段】情報処理装置は、制御プログラム実行するＣＰＵシミュレータ３０１がリソースにアクセスする場合、当該リソースを特定する情報及び当該アクセス種別がデータの読み込みであるか書き込みであるかを示す情報を含むアクセス情報を出力するシミュレータ部１０１と、アクセス情報を受け取り、各リソースに対するアクセス種別の履歴を示す履歴パターン情報を保存する履歴情報保存部１０６と、履歴情報保存部１０６がアクセス情報を受け取ることにより、当該アクセス情報のリソースを特定する情報が示すリソースの履歴パターン情報を更新すると、当該リソースの履歴パターン情報と、検出パターン情報を比較することで、検出パターン情報が示すアクセス種別の時間順序でのリソースへのアクセスを検出する検出部１０８と、を備えている。 （もっと読む）

【課題】サーバのテストのためにトランザクションを再生する際に、トランザクションの再生による不正の発生を抑制し、かつ、トランザクションの再生に要する時間を短縮する。
【解決手段】再生シナリオ生成装置４０では、ＳＩ画面決定部４６が、どの画面からでも遷移可能なＳＩ画面をトレースの統計処理結果から決定し、シナリオ取得部４７が開始点でアクティブなセッションのシナリオをトレースから取得すると、ショートカット処理部４８が、そのシナリオを、認証画面から開始点までの同じＳＩ画面の間の画面遷移をカットすることで短縮し、接木処理部４９が、そのシナリオを、認証画面から開始点以前のＳＩ画面までの画面遷移に代えて、トレースの統計処理結果から得られた最短画面遷移を接木することで短縮し、再生速度調整部５１が、シナリオの再生速度を調整し、シナリオ出力部５３が、これらの処理の結果を出力する。 （もっと読む）

【課題】ネットワークシステムの検証環境を自動的に生成する。
【解決手段】計算機システムは、メモリを備え、設計書情報と、機能情報と、構成情報とを取得し、構成情報に基づいて、トポロジ毎に、当該トポロジによって接続される装置と他の装置とを、複数の装置群に分類し、各装置群に階層を割り当て、設計書情報、機能情報及び構成情報に基づいて、ネットワーク構成情報を生成し、同一のトポロジ毎かつ同一の階層毎に、各装置群のネットワーク構成情報を比較することによって、ネットワーク構成情報が一致する第１の装置群及び第２の装置群のネットワーク構成情報がメモリに保持されているか否かを判定し、第１の装置群及び第２の装置群のネットワーク構成情報がメモリに保持されている場合、第２の装置群のネットワーク構成情報をメモリから削除し、メモリに保持された装置群のネットワーク構成情報によって、検証環境を構築するための情報を生成する。 （もっと読む）

【課題】シミュレーションの精度の向上を図ること。
【解決手段】シミュレーション装置１００は、先行するブロック１０２の末尾命令で指定される第１の資源群とブロック１０３の先頭命令で指定される第２の資源群とを検出し、第１および第２の資源群に共通して含まれる資源ｒ１を特定する。次に、シミュレーション装置１００は、ブロック１０３でｒ１を使用する時刻ｔ＋１と、先行するブロック１０２で資源の使用が終了し、後続のブロックで資源が使用可能となる時刻ｔ＋２とから求めた遅延時間１サイクルを算出する。続けて、シミュレーション装置１００は、遅延時間を用いてＡＤＤ命令の実行時刻を補正する。 （もっと読む）

【課題】アプリケーションの動的な修正において静的変数の値を継承する。
【解決手段】ビルダ・コンパイラ４４０は、デバッグ対象であるアプリケーション１００の修正されたソースコード５００について、局所的な静的変数を大域変数に置き換えたダイナミックリンクライブラリ６００を生成する。デバッガ制御装置４３０及び外部デバッガ４２０は、生成されたダイナミックリンクライブラリ４４０を、アプリケーション１００と一体化された内部デバッガ４１０に引き渡す。内部デバッガ４１０は、静的変数の実アドレスと大域変数とを関連付けつつダイナミックリンカ４５０を起動し、アプリケーション１００のロードモジュール１１０に対してダイナミックリンクライブラリ６００をダイナミックリンクする。また、内部デバッガ４１０は、アプリケーションプログラム１００を、ダイナミックリンクライブラリ６００の手続きが実行されるように変更する。 （もっと読む）

【課題】実動系のアドレスを検証用のアドレスに変換する。
【解決手段】初めに、試験装置１００は、実動系アドレス空間１０１内のアドレスブロックＡｂ２７−０〜アドレスブロックＡｂ２７−７を取得する。次に、試験装置１００は、取得したアドレスブロックの個数８個と、ネットマスク長２７ビットから、３ビット減じた２４ビットを算出する。続けて、試験装置１００は、検証系アドレス空間１０２において、２４ビット以下のアドレスブロックを事前検証試験のアドレスブロックとして、アドレスブロックＢｂ２４を選択する。選択後、試験装置１００は、実動系の全てのアドレスを検証系のアドレスに変換したパケットを検証用サーバＢに送信する。 （もっと読む）

【課題】シート材搬送装置の動作を模擬し、搬送されるシート材の設計値との差を容易に視認できる情報処理装置を提供する。
【解決手段】情報処理装置は、シート材搬送装置の模擬動作における基準トリガを定義する基準トリガ情報、シート材搬送装置の搬送路上の複数の位置を定義する位置情報、及び、基準トリガの発生を基準とした、位置情報が定義する各位置にシート材が到達する模擬動作における時刻の設計値を定義する時刻情報を格納する定義情報格部５５０と、基準トリガの発生を検知する検知部５３０と、基準トリガの発生時刻及び時刻情報に基づき、模擬動作における時刻と位置情報が定義する各位置との設計値の関係である第１の関係を求め、模擬動作の結果から、模擬動作における時刻とシート材の搬送路上の位置との第２の関係を求め、第１の関係と第２の関係の差分を示すグラフを作成して表示するグラフ作成部５６０と、を備えている。 （もっと読む）

【課題】集積回路をデバッグするための技術を提供する。
【解決手段】集積回路２は、相互接続回路２０を介してデータトランザクションを発行するための、１つ以上のトランザクションマスター８、１０、１２、４を含む。デバッグアクセスポート回路は、デバッグコントローラ６から受信されるデバッグコマンドに応答して、相互接続回路に発行されるバリアトランザクションを発生させるように構成される。相互接続回路は、データトランザクションの少なくともいくつかの相対的順序付けを、それらが相互接続回路を通過する時に抑制することによって、受信したバリアトランザクションに応答する。 （もっと読む）

【課題】評価対象プログラムの品質を評価者に目視認識容易にすること。
【解決手段】品質評価システムのコンピュータである編集処理部が、プログラムソースを構成するモジュールであるＭａｉｎ・Ｍｅｎｕ・Ｈｅｌｐ・Ｐｒｏｃ・Ｓｕｂ間の階層構造を円形図形要素の相対的位置により、前記モジュールのステップ数を円形サイズにより、各モジュール内のステップ数当たりの処理時間及び単位時間当たりの処理回数を図形要素の表示回転動作により、各モジュール内のバグ数を表示色によって表示するように図形表示データを作成し、レタリング部が表示処理を行うことによって、評価者に評価対象プログラム全体の評価結果の全体像を視覚的に表示するプログラム品質評価システム。 （もっと読む）

【課題】構造化文書の自動テストの効率化を支援する。
【解決手段】動作検証装置１００は、画面の表示内容を定めた構造化文書を取得し（Ｓ３０２）、その構造化文書に記述された要素のうち、画面の表示内容を変化させる処理の契機となる要素を抽出し（Ｓ３０４）、抽出した要素への操作をユーザに記述させるための操作記述文書を出力する（Ｓ３０６）。画面の表示内容を確認するためのテスト・プログラムを実行させる検証装置において定められた関数と、操作記述文書に記述される要素への操作との対応関係にしたがって、操作記述文書に記述された要素への操作に対応した関数を呼び出すプログラムコードを設定したテスト・プログラムを生成する（Ｓ３１２）。 （もっと読む）