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

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

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

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

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2011, 111(168), 81-86

アクセス数:396件（2025-07-16 07:52 集計）

固定URL: https://hdl.handle.net/11094/27449

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
itr111_168_81	pdf	なし	774 KB	57	2014.04.11

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
	Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
	モデル　ケンサキ　ト　Daikon　ヲ　モチイタ　ヒョウメイ　ドウテキ　セイセイ　カイゼン　シュホウ　ノ　システム　カイハツ　ジツプロジェクト　キョウザイ　ヘノ　テキヨウ　ト　ヒョウカ
著者	NRID 1000050332317 1000050332317 著者名小林, 和貴 ; コバヤシ, カズキ ; Kobayashi, Kazuki
	NRID 1000070252632 1000070252632 著者名岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
	NRID 1000030234438 1000030234438 researchmap permalink read0013799 read0013799 Scopus Author ID 7102741360 7102741360 著者名楠本, 真二 ; クスモト, シンジ ; 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
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/27449
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2011 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2011, 111(168), p. 81-86
DC.title	モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価
	Automatic Assertion Generation using Model Checking and Daikon and its Application to a Real Example
	モデル　ケンサキ　ト　Daikon　ヲ　モチイタ　ヒョウメイ　ドウテキ　セイセイ　カイゼン　シュホウ　ノ　システム　カイハツ　ジツプロジェクト　キョウザイ　ヘノ　テキヨウ　ト　ヒョウカ
DC.creator	小林, 和貴
	コバヤシ, カズキ
	Kobayashi, Kazuki
	岡野, 浩三
	オカノ, コウゾウ
	Okano, Kozo
	楠本, 真二
	クスモト, シンジ
	Kusumoto, Shinji
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2011-07-22
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から複製したものである
DC.format	27449
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_public_url	https://hdl.handle.net/11094/27449

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

閲覧可能ファイル

論文情報

論文詳細を表示