ようこそ ゲスト さん
ログイン
入力補助
English
カテゴリ
インデックスツリー
ランキング
アクセスランキング
ダウンロードランキング
その他
法政大学
法政大学図書館
インデックスツリー
資料タイプ別
学内論文
大学院紀要=Bulletin of graduate studies
法政大学大学院紀要. 理工学・工学研究科編
法政大学大学院紀要. 理工学研究科編
法政大学大学院紀要. デザイン工学研究科編
法政大学大学院紀要. 情報科学研究科編
法政大学懸賞論文優秀論文集
法政大学国際文化学部国際社会演習トランスナショナル・ヒストリー研究卒業論文集
このアイテムのアクセス数:
130
件
(
2024-10-06
19:02 集計
)
Permalink : https://doi.org/10.15002/00009541
Permalink : https://hdl.handle.net/10114/8766
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
Weihang Zhang
pdf
971 KB
171
論文情報
ファイル出力
アイテムタイプ
紀要論文
タイトル
Supporting Tool for Automatic Specification-Based Test Case Generation
著者
著者名
ZHANG, Weihang
言語
eng
ISSN
18810667
DOI
https://doi.org/10.15002/00009541
出版者
法政大学大学院情報科学研究科
雑誌名
法政大学大学院紀要. 情報科学研究科編
法政大学大学院紀要. 情報科学研究科編
巻
8
開始ページ
37
終了ページ
42
発行年
2013-03
著者版フラグ
Version of Record
キーワード
automatic test case generation
specification
SOFL
decompositional method
functional scenario
抄録
Automatic test case generations in a potentially effective technique for program testing, but it still suffers from the lack of appropriate tool support. Our research presented in this paper mainly focuses on the developing of a tool for automatic test case generation based on formal specifications. We take advantage of the Liu’s decompositional test case generation method and put forward a set of algorithms for automatically generating test cases based on various data types. A supporting tool on the application of the approaches is presented. The tool can generate test cases according to the user’s given test conditions, and the result shows that our tool can produce test cases that satisfy most kinds of test conditions.
資源タイプ
Article
書誌レコードID
AA12222297
インデックス
資料タイプ別
 > 
学内論文
 > 
法政大学大学院紀要. 情報科学研究科編
501 学内論文
 > 
紀要
 > 
法政大学大学院紀要. 情報科学研究科編
 > 
8
ホームへ戻る