【課題】設計書の複雑さに応じた品質目標値を算出する。
【解決手段】設計書の品質目標値を算出する品質目標値算出装置であって、設計書を解析し、当該設計書に関する基本データを抽出する基本データ抽出手段３０と、基本データに基づいて設計書の複雑さを示す指標値である複雑度の複数の要素を算出する要素算出手段４０と、複数の要素を用いて設計書の複雑度を算出する複雑度算出手段５０と、複雑度算出手段が算出した複雑度を用いて、設計書の品質目標値を算出する目標値算出手段６０と、を有する。 （もっと読む）

【課題】本発明は、ソフトウェア設計書間の整合性検証を自動的に行い、手戻りによる修正コストを低減することが可能なソフトウェア設計検証装置ならびにそれに用いる検証プログラムおよび検証対象プログラムを提供することを目的とする。
【解決手段】本発明によるソフトウェア設計検証装置は、シーケンス図１０８のデータに基づいて、当該シーケンス図１０８に含まれる検証対象オブジェクト以外の非検証対象オブジェクトの動作を実現する検証ソフトウェアを生成する検証ソフトウェア生成手段１０３と、状態遷移表１０９のデータに基づいて、検証対象オブジェクトの動作を実現する検証対象ソフトウェアを生成する検証対象ソフトウェア生成手段１０４と、実行モジュール生成手段１０５にて生成された実行モジュールを実行し、シーケンス図１０８の内容と状態遷移表１０９の内容との整合性の検証を行う検証実行手段１０６とを備える。 （もっと読む）

【課題】プロセス中断の潜在性を低減させることができる、バッチ構成を試験するための例示的方法、装置、および製品を提供する。
【解決手段】バッチ構成を試験するための例示的方法、装置、および物品を開示する。開示される例示的方法は、プロセッサを使用して、プロセス制御システムのバッチ構成を通して、実行経路を識別することと、実行経路のための試験計画を生成することと、試験計画を実行するようにプロセス制御システムを促進することと、試験計画の結果を記録することと、を含む。 （もっと読む）

【課題】 本発明は、ウェブ・アプリケーションのブラウザに依存しない自動互換性チェックのためのウェブ・サービスを提供する。
【解決手段】一実施形態は、第１のユーザにユーザ・インタフェースを提示し、該ユーザ・インタフェースは該第１のユーザにユーザ入力を提供させるよう構成され、該ユーザ入力は、第１のウェブ・アプリケーション、該第１のウェブ・アプリケーションの行動探索仕様、複数のウェブ・ブラウザ及び比較規則セットを指定し、該行動探索仕様に基づき前記第１のウェブ・アプリケーションのためのウェブ・ブラウザに関し複数のモデルが構築されることを要求し、前記比較規則セットに基づき前記第１のウェブ・アプリケーションのモデルが互いに比較されることを要求し、前記第１のウェブ・アプリケーションのモデルに対して実行された比較の１又は複数の結果が提示されることを要求し、前記第１のユーザから受けた各ユーザ入力に応答して前記第１のユーザのための１又は複数の動作を実行する。 （もっと読む）

【課題】効率的に、移動端末に搭載されたソフトウェアの機能を評価すること。
【解決手段】移動端末に搭載されたソフトウェアの動作を評価する試験装置は、移動端末に動作させるべき機能を実行させるための情報を含むシナリオを選択するシナリオ選択部と、該シナリオ選択部により選択されたシナリオが実行できるかどうかを判定するシナリオ実行判定部と、該シナリオ実行判定部により実行できると判定されたシナリオを実行するシナリオ実行部と、該シナリオ実行部により実行されたシナリオの実行結果が予め想定された結果と同じかどうかを判定するシナリオ実行結果判定部とを有する。シナリオ実行判定部は、過去に、前記実行結果判定部により実行されたシナリオの実行結果に基づいて、前記シナリオ選択部により選択されたシナリオが実行できるかどうかを判定する。 （もっと読む）

【課題】ＵＩ設計段階で、ＧＵＩ部品のパラメータ値の不整合を容易に発見することのできるユーザインタフェース設計装置を得る。
【解決手段】パラメータ値設定数収集部２１は、装置毎の機器の設定数を収集したリストを出力する。機器種別設定部２２は、機器毎に設定されている装置を示すリストを出力する。パラメータ整合性チェック部２３は、機器種別設定部２２が出力する機器毎の装置の設定の有無と、パラメータ値設定数収集部２１が出力する装置毎の機器の設定数とを照合し、パラメータの整合性をチェックする。 （もっと読む）

【課題】状態爆発の問題を回避しつつ、モデル検査の検査対象を拡大すること。
【解決手段】イベントに応じて変化する状態の遷移条件を表形式であらわした状態遷移表に対応する状態遷移情報を取得する取得部と、とりうる状態を各ノードとする木構造の階層ごとに遷移条件を一階論理式化した論理式を状態遷移情報から生成する論理式生成部とを備えるようにモデル検査装置を構成する。また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 （もっと読む）

【課題】
リファレンスとなる装置Ａで動作するプログラムのメモリアクセスが開発の初期段階にある装置Ｂの仕様に違反していないかについて、簡便かつ短時間に確認することを課題とする。
【解決手段】
装置Ａで動作するプログラムがアクセスしたアクセス先のアドレス及びリード・ライト等のアクセス種類の情報を有するアクセス先アドレスリストを生成する。アクセス先アドレスリストから、アクセス種類が連続する所定のアドレス範囲であるページごとに、ページＩＤ及びアクセス種類の情報を有するアクセスアドレス情報ファイルを生成する。また、装置Ｂのメモリマップ仕様に基づいて、ページごとのアクセス属性制約を有する構成マップ制約ファイルを生成する。そして、アクセスアドレス情報ファイルのアクセス種類が構成マップ制約ファイルのアクセス属性制約に違反しないか否かをページごとに検証する。 （もっと読む）

【課題】
記号的実行を用いてＣ＋＋プログラムを検証するためにライブラリを最適化する方法及びシステムを提供する。
【解決手段】
特定の実施形態は、１つ以上のループを有するＣ＋＋関数を記号的実行用に最適化する。この最適化は、各ループに対し、該ループ内に分岐条件が存在する場合に、該分岐条件を該ループの外側に移動させるように該ループを書き換えることを有する。特定の実施形態は更に、単純化された記号表現と、記号的実行中に記号表現の解釈を遅延させる構成の付加とによって、Ｃ＋＋関数を最適化してもよい。 （もっと読む）

【課題】仮想システムの性能を容易に見積もることができる性能評価システムを提供する。
【解決手段】システムモデル記憶手段８０は、プロセスデータフローモデル８１の要素と仮想サーバモデル８２のオブジェクトとの対応関係を示す情報である仮想実現関係情報８４と、仮想サーバモデル８２のオブジェクトと物理サーバモデル８３のオブジェクトとの対応関係を示す情報である物理実現関係情報８５とを記憶する。性能評価モデル生成手段９０は、物理的なシステムの性能を算出する規則に基づいて、仮想実現関係情報８４および物理実現関係情報８５により特定されるプロセスフローデータモデル８１の要素に設定された属性から、仮想化されたシステムの性能を評価する性能評価モデルを生成する。性能評価手段９１は、性能評価モデルに基づいて仮想化されたシステムの性能評価を行う。 （もっと読む）