【課題】実環境でのオペレーションログからテストデータを自動的に作成し、新旧バージョンのプログラムの出力結果の差分を容易に比較する手段を提供する。
【解決手段】プログラムの旧バージョンが稼動する実環境におけるオペレーションログを記録し、新旧バージョンのプログラムの操作画面を介した入出力項目をそれぞれ定義した新旧バージョン入出力項目テーブルを用いて、オペレーションログからテストデータを生成する。生成したテストデータを、新旧バージョンのプログラムを適用したテスト環境それぞれに対して投入しテストを自動実行させ、新旧テスト環境それぞれからテスト結果を取得する。そして、そのテスト結果から新旧バージョン入出力項目テーブルを再び用いて比較項目を取り出し、旧バージョンのテスト結果と新バージョンのテスト結果の差分を抽出して差分比較結果テーブルに出力する。 （もっと読む）

【課題】簡便に正確に制御装置等の動作を解析可能とする。
【解決手段】動的解析装置６は、解析対象のＣＰＵ３が接続される、アドレスバス１１、データバス１２、制御信号線１３に接続される。動的解析装置６は、アドレスバス１１上のアドレスの値から処理内容、例えば、実行中の関数や変数を特定し、データバス１２上のデータから処理データ、例えば、変数の値を特定するデータ解析部と、データ解析部により解析された処理内容と処理データの履歴を含む履歴情報を記憶する記憶部と、動的解析ツール７からのアクセスに応答して、記憶部に記憶した履歴情報を提供する履歴情報提供手段と、を備える。 （もっと読む）

【課題】ＧＵＩにおける処理に関する試験項目を効率的に抽出することが可能なソフトウェア試験支援装置等を提供する。
【解決手段】ソフトウェア試験支援装置１は、試験対象ソフトウェア７１０を実行することにより表示装置３に表示される画面を構成する画面部品毎に、画面部品の種別を記憶する画面構成ＤＢ７１２と、画面部品の種別毎に、その種別に係る画面部品が操作された際に試験対象ソフトウェア７１０により実行される処理を試験するための試験項目を記憶する試験項目ＤＢ７２０とを記憶する記憶部７００を備える。制御部４００は、画面構成ＤＢ７１２に記憶された画面部品の種別に対応する試験項目を試験項目ＤＢ７２０から取得する。そして、取得した試験項目に基づいて、試験対象ソフトウェア７１０の試験仕様情報を生成する。 （もっと読む）

【課題】ハードウェアの動作実行中におけるレジスタ値の変更を容易且つ迅速に認識可能とすること。
【解決手段】専用ＨＷ４０をレジスタ４１によって制御するプログラムのエラー検知方法であって、予め定められた処理の実行中であるか否かを示す信号を出力し、レジスタ４１に対して予め定められた処理の制御に関するレジスタ値の変更が加えられたことを検知して検知信号を出力し、予め定められた処理の実行中であるか否かを示す信号及び検知信号に基づき、予め定められた処理の実行中においてレジスタ値の変更が加えられたことが検知された場合にエラーを検知することを特徴とする。 （もっと読む）

【課題】信頼できないコード範囲についてのみデバッグを実行することにより、デバッグの信頼性を高めつつ、プログラム全体のデバッグ時間を短縮する。
【解決手段】（ａ）プログラムの分類項目の指標毎の信頼度を含む信頼度情報を記憶部に格納するステップＳ１１と、（ｂ）演算処理部が、記憶部からデバッグ対象のプログラムについての信頼度情報を読み出して、当該信頼度情報中の指標毎の信頼度を用いて、信頼できるコード範囲と信頼できないコード範囲とを決定するステップＳ１２と、（ｃ）演算処理部が、信頼できないコード範囲についてのみデバッグ対象のプログラムのデバッグを実行するステップＳ１３と、を含む。 （もっと読む）

【課題】モデル検査システムでは、検査対象のモデルが大きくなり状態数が増大すると、コンピュータで扱える範囲を超えて処理しきれなくなる「状態爆発」と呼ばれる現象が発生する。そこで、非機能要求に関する性能の検査に時間を状態として含める必要のあるリアルタイム性を要する組み込み機器の開発でも状態爆発に陥らないモデル検査支援装置を提供する。
【解決手段】コンピュータによって、開発対象システムのモデル検査を支援するモデル検査支援方法であって、検査モデル７を複数のクラスタに分割し、前記複数のクラスタの一部のクラスタを統計モデル８に置き換え、前記検査モデル７と置き換えをしたモデルに対して実行時間分布を求めるシミュレーションを実行して実行時間の分布間距離を算出し、分布間距離が最小となるクラスタを前記統計モデル８への置き換えが妥当なクラスタと判定し、前記統計モデル８へ置き換えたモデルの検査プログラムを出力する。 （もっと読む）

【課題】多重の割込みイベントが発生する情報システムの画面遷移ソフトウェアの設計や検証工程を支援する装置、プログラムを提供する。
【解決手段】多重の割込みイベントが発生した場合の画面遷移系列からなる個々のテストケースの複雑度を、画面退避領域の情報をもとに算出し、その複雑度順にテストケースを表示することで、複雑なテストケースの実施漏れを防止する画面遷移ソフトウェア設計検証支援装置、及び、プログラム。 （もっと読む）

【課題】画面遷移の制御と表示位置の制御とを含む画面制御の制御内容を示す情報の冗長化を抑制すること。
【解決手段】設定情報生成プログラム３２０ａは、コンピュータ３００に、あるプログラムに関する画面遷移処理を示す第１の遷移情報を生成する処理を実行させる。また、設定情報生成プログラム３２０ａは、コンピュータに、あるプログラムの画面表示位置を示す位置情報について、位置情報の遷移処理を示す第２の遷移情報を生成する処理を実行させる。また、設定情報生成プログラム３２０ａは、第１の遷移情報に基づいて遷移するあるプログラムの画面を、第２の遷移情報に応じて遷移する位置情報に応じた位置に表示させることを示す設定情報を生成する処理を実行させる。 （もっと読む）

【課題】協調シミュレーションにおいて、プラントモデルの更新タイミングと マイコンモデルの処理の開始タイミングのズレが安定せず、次のプラントモデルの更新タイミングまでにマイコンモデルの処理が完了しない現象が発生する。
【解決手段】プラントモデルのシステムシミュレータと制御を行うマイコンのCPUシミュレータから構成され、一定間隔毎に両シミュレータ間でタイムスタンプ付きデータが交換され、システムシミュレータのデータ更新タイミングでCPUシミュレータのCPUに割り込みを発生させる機構を備えたシミュレーション装置。 （もっと読む）

【課題】必要なトレースデータを確実に転送することができるエミュレーション装置、エミュレーション方法、及びエミュレーションシステムを提供すること
【解決手段】ＣＰＵシミュレーション部１１０は、ＣＰＵの処理をシミュレーションする。フィルタ部１４０は、ＣＰＵシミュレーション部１１０が出力するトレースデータをフィルタリング条件に基づいてフィルタリングする。転送部１５２は、フィルタリング結果を転送する。フィルタ部１５２は、フィルタリング結果の転送量と、転送部１５２の最大転送容量から定まる比較基準と、の比較を行う。フィルタ部１４０は、転送部１５２の比較に応じて前記フィルタリング条件を変更する。 （もっと読む）