René's URL Explorer Experiment

Title: Fuzzer should generate tests for simple collection with generic types #875 by Markoutte · Pull Request #988 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Fuzzer should generate tests for simple collection with generic types #875 by Markoutte · Pull Request #988 · UnitTestBot/UTBotJava

X Title: Fuzzer should generate tests for simple collection with generic types #875 by Markoutte · Pull Request #988 · UnitTestBot/UTBotJava

Description: Description Introduces provider to generate collections with generic types. Now, fuzzer creates tests with values for such types as Collection, Map, and recursive types like: Collection>, Map>. Fixes #875 Type of Change Breaking change (fix or feature that would cause existing functionality to not work as expected) How Has This Been Tested? Automated Testing Run: org.utbot.framework.plugin.api.ModelProviderTest org.utbot.framework.plugin.api.CollectionModelProviderTest Manual Scenario Here several examples which can be tested: public class CollectionExample { /** * Should create unsorted list that will be sorted as a result. */ public static Collection sorted(Collection source) { return source.stream().sorted().collect(Collectors.toList()); } /** * Should create at least both answers: one that finds the key, and another returns null. */ public static String getKeyForValue(Map map, Number value) { for (Map.Entry entry : map.entrySet()) { if (Objects.equals(entry.getValue(), value)) { return entry.getKey(); } } return null; } /** * Should find a branch that returns true and size of array is greater than 1 (non-trivial). */ public static boolean isDiagonal(Collection> matrix) { int cols = matrix.size(); if (cols <= 1) { return false; } int i = 0; for (Collection col : matrix) { if (col.size() != cols) { return false; } int j = 0; for (Double value : col) { if (i == j && value == 0.0) return false; if (i != j && value != 0.0) return false; j++; } i++; } return true; } /** * Checks that different collections can be created. Part 1 */ public boolean allCollectionAreSameSize1( Collection c, List l, Set s, SortedSet ss, Deque d, Iterable i ) { if (c.size() != l.size()) { return false; } if (l.size() != s.size()) { return false; } if (s.size() != ss.size()) { return false; } if (ss.size() != d.size()) { return false; } if (d.size() != StreamSupport.stream(i.spliterator(), false).count()) { return false; } return true; } /** * Checks that different collections can be created. Part 2 */ public boolean allCollectionAreSameSize2( Iterable i, Stack st, NavigableSet ns, Map m, SortedMap sm, NavigableMap nm ) { if (StreamSupport.stream(i.spliterator(), false).count() != st.size()) { return false; } if (st.size() != ns.size()) { return false; } if (ns.size() != m.size()) { return false; } if (m.size() != sm.size()) { return false; } if (sm.size() != nm.size()) { return false; } return true; } /** * Should create TreeSet without any modifications as T extends Number is not Comparable */ public boolean testTreeSetWithoutComparable(NavigableSet set) { if (set.size() > 5) { return true; } return false; } /** * Should create TreeSet with modifications as Integer is Comparable */ public boolean testTreeSetWithComparable(NavigableSet set) { if (set.size() > 5) { return true; } return false; } static class ConcreteList extends LinkedList {} /** * Should create concrete class */ public boolean testConcreteCollectionIsCreated(ConcreteList list) { if (list.size() > 5) { return true; } return false; } static class ConcreteMap extends HashMap { } /** * Should create concrete class */ public boolean testConcreteMapIsCreated(ConcreteMap map) { if (map.size() > 5) { return true; } return false; } } Checklist: 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 Introduces provider to generate collections with generic types. Now, fuzzer creates tests with values for such types as Collection<Integer>, Map<MyClass, String>, and recurs...

X Description: Description Introduces provider to generate collections with generic types. Now, fuzzer creates tests with values for such types as Collection&lt;Integer&gt;, Map&lt;MyClass, String&...

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

X: @github

direct link

Domain: github.com

Links:

Viewport: width=device-width