閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
Li Ji	pdf	814 KB	68

論文情報

ファイル出力

アイテムタイプ	紀要論文
タイトル	Supporting Tool for Automatic Specification-Based Test Result Analysis
著者	著者名 LI, Ji
言語	eng
ISSN	18810667
DOI	https://doi.org/10.15002/00009518
出版者	法政大学大学院情報科学研究科
雑誌名	法政大学大学院紀要. 情報科学研究科編
	法政大学大学院紀要. 情報科学研究科編
巻	8
開始ページ	23
終了ページ	28
発行年	2013-03
著者版フラグ	Version of Record
キーワード	specification-based
	result analysis
	tool
抄録	Automatic Specification-Based test result analysis tool support is crucial for applying specification-based test in practice. It fills in the blank of lacking in supporting tool for formal specification test. In this paper, we present a supporting tool, which enables us to detect errors from various predicate expressions. The target objective of the testing supported by our tool is the formal specification written in the Structured Object-oriented Formal Language (SOFL). The experiment result indicates that the tool can handle most of types in specification, besides some rarely used types.
資源タイプ	Article
書誌レコードID	AA12222297
インデックス	資料タイプ別 ＞ 学内論文 ＞ 法政大学大学院紀要. 情報科学研究科編
	501 学内論文 ＞ 紀要 ＞ 法政大学大学院紀要. 情報科学研究科編 ＞ 8

ホームへ戻る