モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価

小林, 和貴; 岡野, 浩三; 楠本, 真二

このアイテムのアクセス数:41件（2018-10-21 14:42 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27449

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr111_168_81	pdf	774 KB	29

論文情報

タイトル	モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
別タイトル	Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
タイトル (ヨミ)	モデル　ケンサキ　ト　Daikon　ヲ　モチイタ　ヒョウメイ　ドウテキ　セイセイ　カイゼン　シュホウ　ノ　システム　カイハツ　ジツプロジェクト　キョウザイ　ヘノ　テキヨウ　ト　ヒョウカ
著者	小林, 和貴小林, 和貴
	岡野, 浩三岡野, 浩三
	楠本, 真二楠本, 真二
著者の別表記	Kobayashi, Kazuki
	Okano, Kozo
	Kusumoto, Shinji
著者 (ヨミ)	コバヤシ, カズキ
	オカノ, コウゾウ
	クスモト, シンジ
キーワード等	アサーション
	テスト
	自動生成
	Daikon
	インバリアントカバレッジ
	実プロジェクト
	Assertion
	testing
	automated generation
	Daikon
	invariant-coverage
	real-example
抄録	Daikonなどを用いた表明動的生成において,対象プログラムの実行に必要なテストケースは生成する表明の品質に影響を及ぼす重要な要素である.品質のよいテストケースを自動生成することは表明動的生成において重要である.われわれはこれまでに表明生成に必要なテストケースを静的解析に基づいて生成する手法について提案してきた.提案する手法が実際のシステムに対する適用可能性や,得られる表明の精度や有効性について調査するため,提案する手法をITSpiralで開発されたシステム開発実プロジェクト教材へ適用した.その結果,適用可能性について,36メソッドに対し合計331の表明を生成させることができた.
抄録	Test suits are important when we generate assertions by dynamic assertion generator like Daikon because their quality affects that of assertions. We have proposed a method which generates test suits for assertions with better quality utilizing static analysis. This report provides those usefulness by applying our method to a real example (a project of a syllabus management system developed for education in IT Spiral). Our method generates 331 assertions for 36 methods.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	111
号	168
開始ページ	81
終了ページ	86
刊行年月	2011-07-22
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27449
権利情報	Copyright © 2011 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.111(168) P.81-P.86
DC.title	モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
DCTERMS.alternative	Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
DC.creator	小林, 和貴
	岡野, 浩三
	楠本, 真二
DC.creator	Kobayashi, Kazuki
	Okano, Kozo
	Kusumoto, Shinji
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2011-07-22
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27449
DC.subject	アサーション
	テスト
	自動生成
	Daikon
	インバリアントカバレッジ
	実プロジェクト
	Assertion
	testing
	automated generation
	Daikon
	invariant-coverage
	real-example
DCTERMS.abstract	Daikonなどを用いた表明動的生成において,対象プログラムの実行に必要なテストケースは生成する表明の品質に影響を及ぼす重要な要素である.品質のよいテストケースを自動生成することは表明動的生成において重要である.われわれはこれまでに表明生成に必要なテストケースを静的解析に基づいて生成する手法について提案してきた.提案する手法が実際のシステムに対する適用可能性や,得られる表明の精度や有効性について調査するため,提案する手法をITSpiralで開発されたシステム開発実プロジェクト教材へ適用した.その結果,適用可能性について,36メソッドに対し合計331の表明を生成させることができた.
DCTERMS.abstract	Test suits are important when we generate assertions by dynamic assertion generator like Daikon because their quality affects that of assertions. We have proposed a method which generates test suits for assertions with better quality utilizing static analysis. This report provides those usefulness by applying our method to a real example (a project of a syllabus management system developed for education in IT Spiral). Our method generates 331 assertions for 36 methods.
DC.rights	Copyright © 2011 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
citation_author	小林, 和貴
	岡野, 浩三
	楠本, 真二
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2011-07-22
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	111
citation_issue	168
citation_firstpage	81
citation_lastpage	86
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27449
citation_keywords	アサーション
	テスト
	自動生成
	Daikon
	インバリアントカバレッジ
	実プロジェクト
	Assertion
	testing
	automated generation
	Daikon
	invariant-coverage
	real-example

閲覧可能ファイル

論文情報

論文詳細を表示