文献

J-GLOBAL ID：200902122346102918   整理番号：93A0448429

モデルベース仕様記述からのテストケースの生成および順序づけの自動化

Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.

著者 (2件)： DICK J (Bull Information Systems, Hemel Hempstead, GBR) ,  FAIVRE A (Bull Corporate Research Centre, Les Clayes-sous-Bois, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 670  ページ： 268-284  発行年： 1993年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： VDMのような状態ベースの仕様記述において,分割解析技法の自...

シソーラス用語： 形式記述 ,...
準シソーラス用語： VDM【ソフトウェア】 ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0448429&from=J-GLOBAL&jstjournalNo=H0078D") }}

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

タイトルに関連する用語 (5件)： モデルベース ,  仕様記述 ,  テストケース ,  順序づけ ,  自動化