文献

J-GLOBAL ID：201702255787374783   整理番号：17A0627474

モデル検査を用いたOTS/CafeOBJ仕様からのテストケース自動生成手法

著者 (2件)： 森隆晴 (富山県大 大学院) ,  中村正樹 (富山県大 大学院)
資料名： 電子情報通信学会大会講演論文集(CD-ROM)  (電子情報通信学会ソサイエティ大会講演論文集(CD-ROM))
巻： 2017  号： 総合大会  ページ： ROMBUNNO.D-3-1  発行年： 2017年03月07日 
JST資料番号： G0508B  ISSN： 1349-144X  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *モデル検査 ,  *ソフトウェア開発 ,  モデリング ,  製造 ,  *生産
準シソーラス用語： テストケース生成 ,  モデル化 ,  *自動生成

分類 (2件)： 計算機システム開発  (JD02010R) ,  計算機ソフトウエア一般  (JD01010K)

タイトルに関連する用語 (6件)： モデル検査 ,  OTS ,  仕様 ,  テストケース ,  自動生成 ,  手法