概要: 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. タグ: Formal, java, jml, esc/java2

@inproceedings{小林和貴2010a,
  author = {小林 和貴 and 宮本 敬三 and 岡野 浩三 and 楠本 真二},
  title = {アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出},
  booktitle = {ソフトウェア工学の基礎XVII},
  number = {36},
  pages = {35--44},
  year = {2010},
  month = {nov}
}