ソフトウエアの検証にモデルを使う,テスト・ケース設計を支援
スポンサーリンク
概要
- 論文の詳細を見る
図1 ツールの画面例左はカナダUniversity of Ottawaの「TConfig」，右は米T-VEC Technologies， Inc.の「T-VEC Rave」の画面例である。 組み込みソフトウエアの検証（テスト）において，今まで以上にモデルを活用しようとする動きが広がってきた。それが「モデル・ベース・テスト（MBT：model based testing）」である。
- 2008-04-21
論文 | ランダム
- ヨ-ロッパ史における自由人と奴隷 (歴史科学協議会第十六回大会・総会報告--歴史における身分と社会 3) -- (報告 歴史における身分と社会)
- 報告 ヨ-ロッパ史における自由人と奴隷 (歴史科学協議会第十六回大会準備号--歴史における身分と社会 3) -- (大会報告のために--シンポジウム・歴史における身分と社会)
- 資本制蓄積様式の形成と展開についての経済史研究方法論--芝原拓自著「所有と生産様式の歴史理論」について
- 「60年代末期」のアメリカにおける日本・近現代史研究の構想--E・O・ライシャワー著「日本国民史」Japan・The story of a Nation,1970 (歴史科学への招待(特集))
- 西ヨーロッパ史研究における「封建制」論 (封建制研究特集(〔歴科協〕五周年記念))