概要: Daikon dynamically detects program invariants. Considering its effectiveness and outputs’ qualities, Daikon is a useful tool. It, however, has a problem that its outputs depend on the test suites used for the dynamic analysis. This paper proposes an automated generation method of the test suites based on invariant coverage and model checking techniques. Applying the method to an example shows that the proposed method improves quality of the test suites as well as Daikon’s generating invariants. タグ: improving, daikons, output, automated, generation, test, suites, invariant, coverage, model, checking, techniques

@inproceedings{堀直哉2008,
  author = {堀 直哉 and 岡野 浩三 and 楠本 真二},
  title = {モデル検査技術を用いたインバリアント被覆テストケースの自動生成によるDaikon出力の改善},
  booktitle = {ソフトウェア工学の基礎XV 日本ソフトウェア科学会FOSE2008},
  pages = {41--50},
  year = {2008},
  month = {nov}
}