「TargetLink」を解説文に含む見出し語の検索結果(1~5/5件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/13 09:11 UTC 版)「ユニットテスト・フレームワーク一覧」の記事における「TargetLink」の解説記事参...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/01/13 15:15 UTC 版)「モデル検査」の記事における「モデル検査ツール」の解説EmbeddedValidator...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
以下は様々なプログラミング言語のためのコード駆動型のユニット・テスト・フレームワークの一覧である。全てではないが、これらの幾つかはxUnitに基づいている。表の各列の説明 (分類)名前: この列はフレ...
< 前の結果 | 次の結果 >