概要: 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. タグ: adeqacy, evaluation, assertions, generated, dynamic, generation, automated, generation, test, suites

@inproceedings{宮本敬三2009,
  author = {宮本 敬三 and 堀 直哉 and 岡野 浩三 and 楠本 真二 and 西本 哲},
  title = {アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価},
  booktitle = {ソフトウェア工学の基礎XVI 日本ソフトウェア科学会FOSE2009},
  pages = {183--190},
  year = {2009},
  month = {nov}
}