文献

J-GLOBAL ID：201902261358261982   整理番号：19A0112261

VDM++仕様を対象としたテストケース自動生成ツールBWDMにおける境界値分析結果へのペアワイズ法の適用

著者 (2件)： 平木場風太 (宮崎大 大学院工学研究科) ,  片山徹郎 (宮崎大 大学院工学研究科)
資料名： 電気・情報関係学会九州支部連合大会講演論文集(CD-ROM)  (Record of Joint Conference of Electrical, Electronics and Information Engineers in Kyushu (CD-ROM))
巻： 71st  ページ： ROMBUNNO.01-1P-01  発行年： 2018年09月19日 
JST資料番号： L2200B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： 製造 ,  生産 ,  *境界値問題 ,  *制約条件 ,  計算機プログラム ,  信号多重化 ,  構文分析 ,  データ解析 ,  支援プログラム ,  仕様記述 ,  *ソフトウェア設計 ,  VDM【ソフトウェア】 ,  ラッパー ,  自動生成
準シソーラス用語： ソフトウェアツール ,  *テストケース ,  テストケース生成 ,  *ペアワイズ制約

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (6件)： 仕様 ,  テストケース ,  自動生成 ,  ツール ,  境界 ,  分析結果