小林和貴, 宮本敬三, 岡野浩三, 楠本真二, "アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出," 高田 眞吾, 福田 浩章(編), ソフトウェア工学の基礎XVII, 36, pp. 35-44 2010年11月.
ID 139
分類 国内会議(査読付き)
タグ Formal java jml esc/java2
表題 (title) アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出
表題 (英文) {Derivation of Test Case Constraints for Program Assertion Using Esc/Java2}
著者名 (author) 小林和貴,宮本敬三,岡野浩三,楠本真二
英文著者名 (author) Kazuki Kobayashi,Keizo Miyamoto,Kozo Okano,Shinji Kusumoto
編者名 (editor) 高田 眞吾, 福田 浩章
編者名 (英文) Shingo Takada, Hiroaki Fukuda,
キー (key) Kazuki Kobayashi,Keizo Miyamoto,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) ソフトウェア工学の基礎XVII
書籍・会議録表題(英文)
巻数 (volume)
号数 (number) 36
ページ範囲 (pages) 35-44
組織名 (organization)
出版元 (publisher) 近代科学社
出版元 (英文)
出版社住所 (address) 東京都新宿区市谷田町2-7-15
刊行月 (month) 11
出版年 (year) 2010
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) Dynamic generation of assertions is important for software
maintainance. Dynamic generation methods usually execute the target
program and obtain its traces, which are used for inference of assertions.
Therefore, the quality of test cases used in obtaining the traces is impor-
tant. We have proposed a method to generate such test cases suitable for
generating assertions. This paper provides an improved version of ours,
which uses ESC/Java2 to construct relationship among variables and
types. The improvement enlarges the applicable classes. Experiments
also show positive results.
論文電子ファイル 投稿PDF (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id139,
         title = {アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出},
        author = {小林和貴 and 宮本敬三 and 岡野浩三 and 楠本真二},
        editor = {高田 眞吾, 福田 浩章},
     booktitle = {ソフトウェア工学の基礎XVII},
        number = {36},
         pages = {35-44},
     publisher = {近代科学社},
       address = {東京都新宿区市谷田町2-7-15},
         month = {11},
          year = {2010},
}