宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲, "アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価," ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009, pp. 183-190 2009年11月.
ID 73
分類 国内会議(査読付き)
タグ adeqacy evaluation assertions generated dynamic generation automated generation test suites
表題 (title) アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価
表題 (英文) Adeqacy Evaluation of Assertions Generated by Dynamic Generation with Automated Generation of Test Suites
著者名 (author) 宮本敬三,堀直哉,岡野浩三,楠本真二,西本哲
英文著者名 (author) Keizo Miyamoto,Naoya Hori,Kozo Okano,Shinji Kusumoto,Satoru Nishimoto
編者名 (editor)
編者名 (英文)
キー (key) Keizo Miyamoto,Naoya Hori,Kozo Okano,Shinji Kusumoto,Satoru Nishimoto
書籍・会議録表題 (booktitle) ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 183-190
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 11
出版年 (year) 2009
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) Program assertion increases correctness, usability, and reusability of the software.Manual annotation of the assertions is, however, incredible due to the size of recent software; thus, recently dynamic generation of such assertions attracts attention.The dynamic generation of assertions uses test-cases to executethe target program, and generates assertions by observing the traces of values of program variables. Therefore, the quality of generated asserions depends on the quality of the test-cases.We have proposed a method to generate test-cases for the dynamic generation of assertions,which uses notion of invariant coverage and model checking techniques. This paper reports experimental results of the quality of generated assertions based on our technique. The resultsshow improvement of the quality of the assertions.
論文電子ファイル fose2009.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id73,
         title = {アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価},
        author = {宮本敬三 and 堀直哉 and 岡野浩三 and 楠本真二 and 西本哲},
     booktitle = {ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009},
         pages = {183-190},
         month = {11},
          year = {2009},
}