Generation of assertions fails inside a loop

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

Open danglotb opened 6 years ago

danglotb commented 6 years ago

When DSpot generates values inside a loop, it considers only the first iteration to collect values.

danglotb commented 6 years ago

Actions to generate assertions on values that use the iterable in the loop, e.g. the i in a fori loop:

[ ] Improve the creation of test with log: create of a log point on the iterable of the loop, or any variable that use it.
[ ] Fix the creation of test with log: for now java.util.List#get(int) matches the filter.
[ ] Observes values according to an iteration of the loop.
[ ] Generate assertions according to an iteration of the loop.

danglotb commented 6 years ago

For now, we discard this case #383 in order to have functional A-amplification.