プログラム検査用ソフトウェアの英語

ソフトウェアプログラムのソースコードの検査において、検査に要する計算時間と計算機が利用する記憶領域の量を削減する。例文帳に追加

To reduce a calculation time required for an inspection and the amount of storage region used by a computer in the inspection of a source code of a software program. - 特許庁

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

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. - 特許庁

本発明は、ＭＤＡを適用したオブジェクト指向によるソフトウェア開発の分析で作成されるアクションの品質を検査してプログラム作成の支援を行うオブジェクト指向プログラム作成支援システムに関する。例文帳に追加

To provide an object-oriented program creation support system capable of supporting creation of a program by inspecting quality of actions prepared with analysis of object-oriented software development applying a model-driven architecture (MDA). - 特許庁

オブジェクト指向プログラム作成支援システム１は、ＭＤＡを適用したオブジェクト指向の動的分析のアクション記述でアクションを作成するソフトウェアの開発を支援するに際して、作成されるアクションの品質を検査する品質チェック部５を設けている。例文帳に追加

The object-oriented program creation support system 1 provides a quality checking section 5 for inspecting quality of actions prepared when software development for creating actions by action statements of object-oriented dynamic analysis applying the MDA is supported. - 特許庁