ソフトウエアの検証にモデルを使う,テスト・ケース設計を支援
スポンサーリンク
概要
- 論文の詳細を見る
図1 ツールの画面例左はカナダUniversity of Ottawaの「TConfig」，右は米T-VEC Technologies， Inc.の「T-VEC Rave」の画面例である。 組み込みソフトウエアの検証（テスト）において，今まで以上にモデルを活用しようとする動きが広がってきた。それが「モデル・ベース・テスト（MBT：model based testing）」である。
- 2008-04-21
論文 | ランダム
- 日本語文字刺激による視覚誘発電位--Vertex potentialとP300の比較
- 眼底白点症と白点状網膜炎 (小児先天異常)
- パタ-ン刺激によるOccipital VERとVertex Potentialの比較検討
- 未熟児出生児の視機能について-1- (第31回日本臨床眼科学会講演集-4-)
- 所謂"肺結核腫"の臨床とその病理学的研究 : 特にその手術適応について