ソフトウェアモデルの英語

モデルにより表現された当初のソースコードからの要素がメタモデル中に配置され、ソフトウェアモデルの同様のメタモデルと比較される。例文帳に追加

Thus, a new source code 8 is generated and then replaced with the code 4. - 特許庁

予備ソフトウェアモデル230及びインタフェイスソフトウェア370の両者から構築されたソフトウェアモデル360はモデリング環境外からの内部変数へのプラグラム上のアクセスを可能とし、モデリング環境が提供する能力を超えたシステムモデルの詳細なシミュレーションが可能となる。例文帳に追加

A software model 360 constructed of both the software model 230 and the interface software 370 allows an access onto a program from the modeling environment to the internal variable to allow detail simulation for the system model over ability provided by the modeling environment. - 特許庁

ソフトウェアモデルからソースコードをラウンドトリップエンジニアリングする方法、特に、以前にソフトウェアモデルにリバースエンジニアリングされたコードをフォワードエンジニアリングし、これにより、モデル中で変化しなかったコードを何ら変化させることなく、また、ソースコード中で障害となるコードマーカを使用せず、最新とされたソースコードを発生させる方法である。例文帳に追加

An existing source code 4 is united with the data which are received from a software model 2 during the forward engineering 12. - 特許庁

論理回路モデルとソフトウェアモデルを協調させて実行する論理シミュレーションでの論理解析や検証等の工数および所要時間の削減を実現する。例文帳に追加

To reduce the man-hours and required time of logic analysis, verification, etc., in logic simulation to be executed by cooperating a logic circuit model and a software model with each other. - 特許庁

アプリケーションとそのアプリケーションモデルの同時作成、アプリケーションモデル調整の自動化、調整結果の共有や再利用が可能なソフトウェアモデル作成方法を提供する。例文帳に追加

To provide a software model preparing method capable of simultaneously preparing an application and its application model, automating application model adjustment and sharing and reusing adjustment results. - 特許庁

予備ソフトウェアモデル230はモデリング環境外からシステムモデルの内部変数へのアクセスを許可しないが該モデリング環境が存在しない場合にコンピュータプラットフォーム上で実行可能なものである。例文帳に追加

The software model 230 is executable on a computer platform when not allowing an access from an outside of the modeling environment to an internal variable of the system model, or when no modeling environment exists. - 特許庁

ソフトウェアモデル検査を用いたプログラム検証において、判定不能と判断した場合や過大近似、過小近似である場合にも、表明に照らしてプログラムを検証することができるプログラム検証装置を提供する。例文帳に追加

To provide a program verification device for verifying a program under the consideration of manifestation even when it is determined that determination is impossible or when upper approximation or lower approximation is detected in case of program verification using software model inspection. - 特許庁

検証対象プログラムをカバレッジ基準に応じて整形しトラップを挿入するトラップ挿入手段と、前記トラップ挿入手段によってトラップを挿入されたトラップ入りプログラムについてソフトウェアモデル検査を行い、前記カバレッジ基準を満たすパス情報を出力するソフトウェアモデル検査手段と、前記パス情報から前記カバレッジ基準を満たす事前条件を生成する事前条件生成手段と、を備えたことを特徴とする。例文帳に追加

An information processing device comprises: trap insertion means that shapes a verification target program according to a coverage criterion and inserts a trap; software model inspection means that performs software model inspection on the trap-inserted program to which the trap is inserted by the trap insertion means, and outputs path information satisfying the coverage criterion; and precondition generation means that generates a precondition satisfying the coverage criterion from the path information. - 特許庁