3 ms·
> AutoCodeRover does not require or assume a unit test to generate patches. You have this backwards : it's traditional (at least in the past 15 years or so) to
by dboreham 3y ago
> AutoCodeRover does not require or assume a unit test to generate patches.
You have this backwards : it's traditional (at least in the past 15 years or so) to have a test to go along with every code change. The idea is that the test proves a) the bug existed prior to the fix and b) the bug is not there after the fix is applied. Commenters here are noting that ACR generates fixes but not tests.
- yuntong 3y agoThe previous comment was to describe the experiment settings. AutoCodeRover currently generates patches. Auto-generating high quality tests can be a parallel effort and another direction to explore. These efforts can eventually be used together.
- dboreham 3y agoThe point is that a patch without a test is not generally a useful thing. How do we know the AI generated patches are valid?
- nfm 3y agoI agree in principle, but if it also generated a test, how would you know that was valid? The value I get from copilot is the ability to code faster, not the ability to code.
- abhikrc 3y agoWe know that by testing the patches. Automated Program Repair is an area of research which has done this. The patches are tested against a test-suite. So, if there are tests, we welcome them, we definitely use them to validate the patches.