Daikon生成表明改善のためのテストケース自動生成手法とその評価実験

宮本, 敬三; 堀, 直哉; 岡野, 浩三 他

コンピュータ ソフトウェア, 2011, 28(4), 306-317

Number of Access:682（2025-12-09 11:09 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/51343

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
Computer Software_28_4_306 pdf None 298 KB 81 2015.04.07 出版社版/publisher  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Daikon生成表明改善のためのテストケース自動生成手法とその評価実験
Evaluation Experiments on Automated Generation of Test Suites for Improvement of Assertions Generated by Daikon
Daikon　セイセイ　ヒョウメイ　カイゼン　ノ　タメ　ノ　テスト　ケース　ジドウ　セイセイ　シュホウ　ト　ソノ　ヒョウカ　ジッケン
Creator
CreatorName
宮本, 敬三 ; ミヤモト, ケイゾウ ; Miyamoto, Keizo
CreatorName
堀, 直哉 ; ホリ, ナオヤ ; Hori, Naoya
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Description
宮本 敬三, 堀 直哉, 岡野 浩三, 他. Daikon生成表明改善のためのテストケース自動生成手法とその評価実験. コンピュータソフトウェア 28, 306 (2011); https://doi.org/10.11309/jssst.28.4_306.
Abstract
プログラム中に表明を記述することで，プログラムの保守性，信頼性を高めることができる．そのため，表明の自動生成手法が注目されている．表明の自動生成手法の1つに動的生成手法がある．動的生成手法は比較的少ないコストで表明を生成できる．しかし表明の妥当性がテストケースに依存するという問題がある．そこで著者らは，表明の妥当性向上のためにインバリアントカバレッジとモデル検査の技術を用いたテストケース自動生成手法を提案している．本論文では，提案手法および評価実験について報告する．提案手法を実装したツールは対象Javaプログラムに対しテストケース依存問題を改善したテストケースを自動生成する．評価実験の結果，生成されたテストケースによる表明の妥当性向上を確認した．
Publisher
日本ソフトウェア科学会
ニホン　ソフトウェア　カガクカイ
Japan Society for Software Science and Technology
Source Title
コンピュータ ソフトウェア
Volume (Issue)
28(4)
Page
306-317
Date of Issued
2011
Language
Japanese
Handle URL
https://hdl.handle.net/11094/51343
PISSN
02896540
Relation.isIdenticalTo
DOI (Publisher Version)
https://doi.org/10.11309/jssst.28.4_306
Access Rights
open access
CopyRight
ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします．
Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please be complied with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof.
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article