Публикации по теме 'property-based-testing'


Ваша собственная среда тестирования на основе свойств — Часть 4. Бегуны с уменьшением
В Части 1 мы рассмотрели концепцию генераторов. Во Части 2 мы добавили бегун поверх них. В Части 3 мы добавили возможность сжатия всем нашим генераторам. На данный момент наш бегун не использует возможности сжатия, которые мы представили в предыдущей части. Та же статья на dev.to по адресу: https://dev.to/dubzzz/your-own-property-based-testing-framework-part-4-runners-with-shrink-53f7 Сжиматели были введены в попытке найти наименьший случай отказа. Они достигают одной..

Вопросы по теме 'property-based-testing'

Как я могу интерпретировать тестовый код на основе свойств?
Как я могу интерпретировать тестовый код на основе свойств? Я изо всех сил пытаюсь перевести инструкции в следующем фрагменте: let myProperty = Prop.forAll fiveAndThrees <| fun number -> let actual = transform number let...
73 просмотров
schedule 28.09.2021

Как создать содержательные примеры для проверки n-арных свойств с помощью тестирования на основе свойств?
Как вы генерируете тестовые данные для n-мерных свойств отношений, например, транзитивности или симметрии, в настройках тестирования на основе свойств, таких как quickcheck Haskell для пользовательских структур данных? Думаю, язык реализации значения...
63 просмотров

Шаблон для создания отрицательных сценариев Scalacheck: использование тестирования на основе свойств для проверки логики проверки в Scala
Мы ищем жизнеспособный шаблон проектирования для создания Scalacheck Gen (генераторов), который может создавать как положительные, так и отрицательные тестовые сценарии. Это позволит нам запустить forAll тестов для проверки функциональности...
348 просмотров

ScalaCheck не дает сбоев?
Я пытаюсь использовать ScalaTest со ScalaCheck для тестирования на основе свойств. У меня есть тесты, описанные ниже: import org.scalatest.prop.PropertyChecks import org.scalatest.{FlatSpec, Matchers} object Calc { def add(a:Int, b:Int) =...
129 просмотров

Объединение двух генераторов в один произвольный в FsCheck
У меня есть свойство, которое я хочу протестировать на наборе Stuff , где одно из Stuff удовлетворяет определенному свойству. У меня есть способ сгенерировать Stuff , удовлетворяющий свойству, и способ сгенерировать Stuff , который не...
367 просмотров
schedule 22.03.2023

Как генерировать кортежи с помощью FsCheck
Это поколение json: let strGen = Arb.Default.String() |> Arb.toGen strGen |> Gen.arrayOf |> Gen.map (String.concat "\", \"") |> Gen.map (fun strs -> "[\"" + strs + "\"]") Как я могу получить string...
221 просмотров
schedule 03.11.2022

Как зарегистрировать собственный генератор FsCheck на Expecto
Я построил свой тип генератора, который генерирует числа, кратные трем. Я хочу использовать его в тесте с Expecto. Как зарегистрировать этот генератор и указать моему тесту его использовать? let multipleOfThree n = n * 3 type ThreeGenerator =...
44 просмотров

Влияет ли недетерминированный характер тестирования на основе свойств на повторяемость сборки?
Я изучаю FP и познакомился с концепцией тестирования на основе свойств, и для кого-то из мира ООП PBT выглядит одновременно полезным и опасным. Он проверяет множество параметров, но что, если есть один (или несколько) вариантов, которые не...
45 просмотров