Я пытаюсь заменить некоторые старые модульные тесты тестированием на основе свойств (PBT), в частности, scala и scalatest - scalacheck , но я думаю, что проблема более общая. Упрощенная ситуация такова, если у меня есть метод, который я хочу...

Я пытаюсь изменить парадигму на FsCheck и тестирование на основе случайных свойств. У меня есть сложные бизнес-процессы, в которых больше тестовых случаев, чем я могу перечислить, а бизнес-логика — это движущаяся цель с добавлением новых функций....

В качестве учебного проекта я перевожу некоторый код Haskell (с которым я незнаком) на Python (который я хорошо знаю) ... В библиотеке Haskell, которую я перевожу, есть тесты, в которых используется тестирование на основе свойств QuickCheck. Со...

Я хочу запустить scalacheck для примера набора данных, который у меня есть в файле. Как мне создать генератор, который считывает данные из этого файла и позволяет мне проверять его свойство?

Я пытаюсь создать генератор для рекурсивного типа данных с именем Row . Строка представляет собой список именованных Val , где Val является либо атомарным Bin , либо вложенным Row . Это мой код: package com.dtci.data.anonymize.parquet...

Я работаю с тестированием свойств kotlin + Kotest и пытаюсь проверить все перестановки двух параметров с помощью таких генераторов списков: "Some test"{ forAll(4 , Exhaustive.collection(listOf(...

В настоящее время я использую: @Provide Arbitrary<List<Tuple.Tuple3<Integer,Integer,Integer>>> edgeLists ( TypeUsage type, ArbitraryProvider.SubtypeProvider subtype) { int vertices = 10; int...