search

STAMP-project / dspot

Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)
https://dspot-demo.stamp-project.eu/
GNU Lesser General Public License v3.0
114 stars 28 forks source link

methods used in the generated assertions can come from other assertions #649

Open monperrus opened 5 years ago

monperrus commented 5 years ago

Today, the methods to be put in assertions are those that "look like" getters, according to fixed criteria.

An alternative approach is to have a data-driven approach:

  1. we first collect all methods present in existing assertions in the project under consideration
  2. we use those methods in the new assertions in addition to the fixed method set.

(discussion with @bbaudry at Odengatan)

monperrus commented 5 years ago

Related paper about the selection of interesting methods to be called in the assertions: "Automated Oracle Data Selection Support" (TSE15)