René's URL Explorer Experiment

Title: Enhance fuzzing for arrays #738 by volivan239 · Pull Request #755 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Enhance fuzzing for arrays #738 by volivan239 · Pull Request #755 · UnitTestBot/UTBotJava

X Title: Enhance fuzzing for arrays #738 by volivan239 · Pull Request #755 · UnitTestBot/UTBotJava

Description: Description Now, ArrayModelProvider generates more interesting tests: each element of array is generated recursively by fuzzing synthetic method. arrays with "interesting" small sizes are added ("interesting" means that this number is obtained from source code) Fixes #738 Type of Change New feature (non-breaking change which adds functionality) How Has This Been Tested? Manual Scenario Generate tests for methods from ArrayExample class (using only fuzzer): class Point { int x, y; public Point(int x, int y) { this.x = x; this.y = y; } boolean equals(Point other) { return (other.x == this.x && other.y == this.y); } } public class ArrayExample { boolean checkAllSame(Integer[] a) { // Fuzzer should find parameters giving true as well as parameters giving false Set s = new HashSet<>(Arrays.asList(a)); return (s.size() <= 1); } public boolean checkAllSamePoints(Point[] a) { // Also works for classes if (a.length == 4) { return false; // Test with array of size 4 should be generated by fuzzer } for (int i = 1; i < a.length; i++) { if (!a[i].equals(a[i - 1])) return false; } return true; } public boolean checkRowsWithAllSame2D(int[][] a, int y) { int cntSame = 0; for (int i = 0; i < a.length; i++) { boolean same = true; for (int j = 1; j < a[i].length; j++) { if (a[i][j] != a[i][j - 1]) { same = false; break; } } if (same) cntSame++; } return (cntSame == y && y > 0 && y < a.length); } } For each of them, meaningful tests are generated that cover both true/false outputs. Checklist (remove irrelevant options): This is the author self-check list The change followed the style guidelines of the UTBot project Self-review of the code is passed The change contains enough commentaries, particularly in hard-to-understand areas New documentation is provided or existed one is altered No new warnings New tests have been added All tests pass locally with my changes

Open Graph Description: Description Now, ArrayModelProvider generates more interesting tests: each element of array is generated recursively by fuzzing synthetic method. arrays with "interesting" small sizes ar...

X Description: Description Now, ArrayModelProvider generates more interesting tests: each element of array is generated recursively by fuzzing synthetic method. arrays with &quot;interesting&quot; small ...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/755

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width