Описание тега jqwik
1
ответ
Запускать тесты jqwik с помощью консоли запуска Юпитера
В целях тестирования (без каламбура) я запускаю некоторые тесты вне IDE или MAven, используя Console Launcher, который поставляется с JUnit Jupiter. Он находит все тесты JUnit 4 (он же Vintage) и JUnit 5 (он же Jupiter). Тем не менее, он не обнаружи…
24 июл '18 в 16:40
1
ответ
jqwik - Как выбираются значения для тестов?
В первом примере на сайте jkwik есть генератор, который потенциально генерирует большое количество значений для "делится на 3": @Property boolean every_third_element_starts_with_Fizz(@ForAll("divisibleBy3") int i) { return fizzBuzz().get(i - 1).star…
25 окт '19 в 12:13
2
ответа
Как написать метод генератора jqwik с вложенными генераторами
Используя jqwik.net, пытаемся сгенерировать класс Rule с вложенным классом RuleConfig внутри него. Класс RuleConfig имеет вложенный ruleProps, который является картой Метод statusReturnedFromApplyingRule всегда возвращает инициализированное правило …
23 окт '19 в 00:55
1
ответ
Как сгенерировать отсортированный массив чисел с помощью jqwik
Я использую java jqwik для тестирования на основе свойств, я хочу сгенерировать отсортированный массив, пока мой код: @Provide Integer[] arrProvider() { Arbitrary<Integer> integerArbitrary = Arbitraries.integers().between(0, 100); Arbitrary<…
02 фев '20 в 02:03
1
ответ
jqwik пары отсортированного массива с некоторым его элементом
Следующий код направлен на создание случайного отсортированного массива и ключа как одного элемента этого массива. Но я не знаю, в чем проблема, ключей нет в массиве? @Provide Arbitrary<Map<Integer, Integer[]>> llstPairs() { // sortedArr…
02 фев '20 в 20:16
1
ответ
Тестирование на основе свойств для настраиваемого упорядоченного списка в Java
Учитывая следующие требования к заказу: Все строки, начинающиеся с "foo", должны быть первыми. Вся строка, начинающаяся с "такта", должна быть последней. Строки, которые не начинаются с "foo" или "bar", также могут присутствовать в списке. Как можно…
29 июн '20 в 08:30
1
ответ
jqwik - Произвольная карта - генерирует случайное количество записей на карте
Этот код работает для создания записи Single Map для элементов. Но я хочу сгенерировать случайное количество записей из карты с помощью generateInputMapElements и перейти к statusReturnedFromApplyingRule() @Property //@Report(Reporting.GENERATED) bo…
24 окт '19 в 23:31
1
ответ
Воспроизводимо ли использовать Arbitrary.sample из Action?
У нас есть проверка состояния системы заказов. Существует Arbitrary что создаст Order объект, который имеет ряд LineItemс. Есть действия, чтобы: Создать Order Отменить LineItem Действие по созданию заказа принимает сам заказ, например: Arbitraries.d…
02 дек '20 в 19:59
1
ответ
Произвольный, созданный с помощью flatMap, не учитывает фильтр
Я пытаюсь использовать jqwik (версия 1.5.1), и я прочитал из документации, что могу создать сгенерированное значение, значение которого зависит от значения, предоставленного другим, в частности, используя flatMap функция. Моя настоящая цель другая, …
05 апр '21 в 19:30
1
ответ
Ищете лучшие способы сгенерировать список ребер для графа в среде тестирования свойств jqwik
В настоящее время я использую: @Provide Arbitrary<List<Tuple.Tuple3<Integer,Integer,Integer>>> edgeLists ( TypeUsage type, ArbitraryProvider.SubtypeProvider subtype) { int vertices = 10; int degree_min = 1; int degree_max = 4; int …
16 июн '21 в 03:42
1
ответ
Как передать параметры в @Provide?
Есть ли способ передать параметры в @Provide? Я хочу что-то эквивалентное следующему: @Property void test(@ForAll("charSequence", 2, 5) CharSequence cs) { // test property on cs, which is an arbitrary CharSequence of length minimum 2 and maximum len…
26 авг '21 в 21:53
2
ответа
Как указать @ForAll ненулевые целые числа?
Как я могу указать @ForAll ненулевые целые числа (т.е. либо включать как положительные, так и отрицательные целые числа, либо исключать 0из целочисленного диапазона)? Я ничего не нашел в https://jqwik.net/docs/current/user-guide.html#integer-constra…
29 авг '21 в 01:53
1
ответ
OutsideJqwikException в простом тестовом примере после обновления 1.5.0+
Проблема тестирования Я написал следующий пример кода, запустил его на intelliJ и продолжал получать то же исключение на v1.5.0 +. Тот же код отлично работает на 1.4.0 и ниже ... Это образец кода, который я сократил до своего фактического тестового …
05 дек '21 в 03:29
1
ответ
Как использовать jqwik @Provider, указанный в другом классе, как часть параметра @ForAll?
У нас есть набор генераторов, указанных в классе. class MyUsefulGenerators { @Provide public Arbitrary<String> someDomainSpecificThing() { ... } } Они широко полезны, поэтому я хотел бы иметь возможность использовать их в разных тестовых класс…
29 ноя '21 в 23:34
1
ответ
Можно ли смешивать методы jqwik @Property и методы junit5 @Test в одном тестовом файле?
Импорт некоторого кода Python с использованием гипотезы и попытка сохранить источники как можно ближе. В тестовом файле python есть как параметризованные, так и непараметризованные методы. Если я отмечу их все как @Property, непараметризованные (и п…
19 дек '20 в 18:46
1
ответ
Есть ли аннотация для аннотации @NegativeOrZero / @PositiveOrZero?
Согласно документации jqwik здесь: https://jqwik.net/docs/current/user-guide.html#integer-constraints , в ней указаны аннотации целочисленных ограничений как: @Positive: Числа больше 0. Для всех целочисленных типов. @Negative: Числа меньше 0. Для вс…
03 янв '21 в 19:38
2
ответа
Jqwik: Как проверить, покрыты ли все возможности?
Как проверить, покрываются ли в сумме все возможности (декартово произведение аргументов) N свойствами? Некоторые из них можно тестировать несколько раз по разным свойствам.
17 мар '22 в 09:37
1
ответ
Когда выбирать тестирование на основе примеров и свойство на основе тестирования с отслеживанием состояния
В настоящее время я провожу модульное тестирование в основном для Android SDK в Android Studio и использую Jqwik , инструмент тестирования на основе свойств на платформе JUnit. Изучая различные подходы к тестированию со своими старшими, я узнал о те…
24 май '22 в 07:53
1
ответ
Как сгенерировать положительный список целых чисел в jqwik и Kotlin?
Я пробовал что-то вроде этого, но похоже, что это не работает, так как я вижу негативы в сгенерированном списке: @Property fun <testMethodName>( @ForAll @Size(min = 0, max = 1_500) @Positive @UniqueElements partials: List<@IntRange(min = 1,…
06 фев '23 в 19:25
1
ответ
jqwik, использующий @ForAll с коллекцией в методе с аннотациями @Provide
Трудно понять, как использовать@ForAllв jqwik на@Provideфункция, принимающая коллекцию. Учитывать: // domain model public class Name { public final String first; public final String last; public Name(String f, String l) { this.first = f; this.last =…
18 ноя '22 в 17:01