【課題】 ユースケース記述の欠落部分を検出し、網羅的なシナリオテストを実行する。
【解決手段】 本発明は、入力されたユーザとシステム間のインタラクションの流れを示すユースケース記述に基づいて実行経路を抽出し、実行経路記憶手段に格納し、ユースケース記述と、画面間の遷移を示す画面遷移図のマッチングを行い、該画面遷移図には存在するが該ユースケース記述には存在しない遷移がある場合は、該ユースケース記述が不完全であると判断し、ユースケース記述が不完全であると判断された場合に、欠落している遷移について新たな実行経路を生成し、実行経路記憶手段に格納し、実行経路記憶手段から実行経路を読み出して、該実行経路に対するテスト項目を生成する。 （もっと読む）

【課題】 複数種類の異常系シナリオの実行順序に依存しない組合せにより発生するエラーを検出するための最小限のテスト経路(テスト項目)生成する。
【解決手段】 本発明は、入力された設計モデルからユーザとシステムの間のインタラクションの流れを示すユースケース記述を取得し、ループ無し経路を抽出し、テスト経路集合に加え、ユースケース記述からループ有り経路を抽出し、ループ無し経路と該ループ有り経路をつなぎ合わせた新たなテスト経路を、新規追加分テスト経路集合に加え、新規追加分テスト経路集合からユースケース記述の基本フローである正常系シナリオを除外した集合をテスト経路集合に加え、該テスト経路集合を実行経路記憶手段に格納し、実行経路記憶手段からテスト経路を読み出して、該テスト経路に対するテスト項目を生成する。 （もっと読む）

【課題】ソフトウェアデバッグに必要となるソースコードに関する情報を自動的に提供すること。
【解決手段】ソフトウェアデバッグ支援装置１００は、ハードウェアモデル１１２によって検証対象のソフトウェアが実行されると、ソフトウェアのソースコードごとの実行結果に当該ソースコードのアドレスを関連付つけたログデータ１０５を生成すると、生成されたログデータ１０５を記録領域に蓄積する。ソフトウェアデバッグプログラム１２０は、蓄積されたログデータ１０５の中の任意のログデータの選択を受け付けると、任意のログデータの実行結果に関連付けられているソースコードのアドレスを参照して検証対象のソフトウェアから任意のログデータ１０５に対応するソースコード１３２を検索してＧＵＩ１３０に出力する。 （もっと読む）

【課題】リグレッションテストにおいて期待値として使用されるデータの中から編集対象とするデータを見付け易くすること。
【解決手段】リグレッションテスト支援プログラムは、ディプレイ上に表示されている一以上のブラウザ画面のいずれかの表示内容の更新を検知し、前記更新が検知されるたびに、表示されている全ての前記ブラウザ画面の表示内容を示す情報と、当該更新に係る前記ブラウザ画面の識別情報とを含むデータを第一の記憶部に記録し、前記データの編集指示に応じ、前記第一の記憶部を参照し、前記識別情報に係る前記ブラウザ画面の表示内容を示す画像の一覧を表示させる処理をコンピュータに実行させる。 （もっと読む）

【課題】プログラムの問題箇所を容易に発見できる妥当性検査を行うことができ、システムプログラマのデバック効率を向上する。
【解決手段】IEC 61131-3に準拠した命令語を用いるプログラムのオブジェクトファイルを取得し、ステップ順に機械語のスタック操作をシミュレーションして得られた変数、あるいは定数を用いて、プログラムの動作不備を引き起こす可能性のある箇所および要因を検出する検出部１２Ｃと、検出部１２Ｃで検出された箇所および要因を表示する表示処理部１２Ｄと、を備え、検出部１２Ｃは、シミュレーションの過程で得られる変数、あるいは、定数を用いて、変数の領域外アクセスの箇所を検出する機能１２Ｃ１と、無限ループの可能性がある箇所を検出する機能１２Ｃ２と、データの精度が欠落する可能性がある箇所を検出する機能１２Ｃ３と、条件が成立しない可能性のある箇所を検出する機能１２Ｃ４と、の少なくとも１つを含む。 （もっと読む）

【課題】デジタル信号プロセッサ電力遷移中におけるデバッギング動作を制御する。
【解決手段】ウォームブートパワーダウンシーケンス２２０が開始されると、ポイント２２８において、電力崩壊割り込みが生じ、カーネル遮断ハンドラーが動作し、電力崩壊割り込みが無効にされる（２３０）。ポイント２３２において、ＩＳＤＢ＿ＣＯＲＥ＿ＲＥＡＤＹレジスタが０を読み取り、ＪＴＡＧｒｅａｄ／ｗｒｉｔｅが無効状態を戻す。コアプロセッサは、ＩＳＤＢコンフィギュレーションの変更が進行中である場合は、パワーダウンシーケンスの取り消しを行わせる。コンフィギュレーションが進行中でない場合は、パワーダウンシーケンス２２０は、ＩＳＤＢコンフィギュレーションレジスタの内容をメモリにセーブする。ウォームブートフラグマーカーがセットされる。次に、パワーダウンシーケンスが全スレッドを停止させ、ＤＳＰがパワーダウンされる。 （もっと読む）

【課題】ＩＯレジスタを用いた周辺機器の呼び出しに対応し、シミュレーション速度を向上させたシミュレーション装置、シミュレーション方法、及びプログラムを提供すること
【解決手段】ＣＰＵシミュレーション部２０は、ＣＰＵを模擬してシミュレーションを実行する。周辺機器シミュレーション部５０は、ＩＯレジスタへのアクセスにより動作させる周辺機器を模擬してシミュレーションを実行する１つ以上のコンポーネント（タイマシミュレーション部５１等）を備える。検出部６０は、シミュレーション実行時に前記周辺機器に対応するＩＯレジスタへのアクセスを検出する。接続管理部７０は、検出部６０の検出結果に応じてシミュレーション実行時に動作させるコンポーネントを設定する。 （もっと読む）

【課題】所定のデータフローについてシミュレーションを実施したかどうかを自動的に確認する。
【解決手段】プログラミング言語やハードウェア記述言語等により記述されたシステムの動作検証を支援する装置であって、前記システムの構造を表現するためのブロック図を作成してブロック図情報を生成するブロック図作成手段と、前記ブロック図に対して前記システムにおけるデータの流れる経路を示すデータフローの表記を受け付け、データフロー情報を生成するデータフロー表記手段と、入力パターンに基づいて前記システムの動作をシミュレーションしてシミュレーション結果情報を生成するシミュレーション手段と、前記データフロー情報のデータフローの示す経路が前記シミュレーション結果情報の示す経路と同じであるかをチェックするデータフローチェック手段とを備える。 （もっと読む）

【課題】電力崩壊の後にプロセッサ上でデバッグ動作を実行する。
【解決手段】プロセッサの状態レジスタが、デバッガを使用してスキャンされる。基準クロックのクロックエッジが、ある期間内にＪＴＡＧインターフェースの再同期されたタイミングクロックＲＴＣＫのピン上に現れないとき、タイムアウトの条件が検出される。デバッガは、デバッグ論理リセット状態に入る。デバッガは、プロセッサが再びアクティブになったことを示す次のＲＴＣＫ信号のエッジを検出する。デバッガは、状態レジスタをスキャンしてプロセッサの現在の状態を決定する。デバッガが、プロセッサが電力崩壊が原因で停止されたと決定すると、デバッガは、通常は４ミリ秒以内に、デバッグレジスタ、ＥＴＭレジスタ、ＥＴＢレジスタ、またはそれらの任意の組合せを復元する。デバッガは、レジスタが復元されるとプロセッサを再始動する。 （もっと読む）

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