Описание тега property-based-testing

Вопросы с тегом
3 ответа

Генерация уникальных строк в FsCheck

Мне нужно генерировать уникальныеnull строки для использования в качестве Dictionary ключи. Я попробовал что-то вроде: public static Gen<NonNull<string>> UniqueStrings() { return from s in Arb.Default.NonNull<string>().Generator se…
15 янв '16 в 06:12
1 ответ

Запретить комбинации параметров

Я пытаюсь использовать FsCheck, чтобы написать базовый тест на основе свойств для класса, который генерирует случайный DateTimeOffset значения в данном интервале. [Property] public void ValueBetweenMinAndMax(DateTimeOffset min, DateTimeOffset max) {…
20 дек '18 в 14:11
1 ответ

В чем разница между тестированием на основе свойств и тестированием на мутации?

Мой контекст для этого вопроса в Python. Библиотека тестирования гипотез (т.е. тестирование на основе свойств): https://hypothesis.readthedocs.io/en/latest/ Библиотека тестирования мутаций: https://github.com/sixty-north/cosmic-ray
01 авг '16 в 16:45
1 ответ

ScalaTest: тесты для GeneratorDrivenPropertyChecks не выполняются

Я пытаюсь настроить тестирование на основе свойств с помощью ScalaTest и ScalaCheck ... и исходя из результатов, кажется, что у меня это получается, но это происходит слишком быстро и из того, что я обычно понимаю, ScalaCheck должен проинформировать…
12 янв '19 в 17:30
1 ответ

Чем спецификация Clojure отличается от библиотек тестирования на основе свойств, таких как Haskell QuickCheck?

Другие языки имеют библиотеки тестирования на основе свойств, например, Haskell QuickCheck. Чем спецификация Clojure отличается от таких библиотек? Или это просто среда тестирования на основе свойств для Clojure?
18 окт '17 в 21:36
1 ответ

В Proplan Erlang, как получить образец генератора?

Я использую PropEr, чтобы написать свой тест на основе свойств. Как я могу увидеть, какие данные генерирует мой генератор? Допустим, у меня есть следующий генератор: -module(my). -include_lib("proper/include/proper.hrl"). -export([valid_type_gen/0])…
07 апр '16 в 12:29
1 ответ

Разница между созданием экземпляра класса и объекта-компаньона

Я читаю и работаю над упражнениями по книге "Функциональное программирование в Scala". В главе о тестировании свойств одно упражнение попросить реализовать def listOf[A](g: Gen[A]): SGen[List[A]]вот соответствующий код: case class Gen[+A](sample: St…
20 дек '18 в 12:14
0 ответов

Как я могу проверить, что целочисленное вычитание не является коммутативным?

Я хочу написать основанный на свойствах модульный тест, который доказывает, что целочисленное вычитание не является коммутативным. У меня есть это с мокко и fast-check: const fc = require('fast-check') describe('The subtraction', () => { it('is n…
14 янв '19 в 22:32
1 ответ

Какова наилучшая практика для создания данных, которые удовлетворяют определенному свойству в QuickCheck?

Когда мы используем QuickCheck для проверки наших программ, нам нужно определить генераторы для наших данных, есть некоторый общий способ их определения, но общий способ обычно становится бесполезным, когда нам нужны сгенерированные данные для удовл…
10 янв '19 в 05:34
0 ответов

Создайте файл дампа на случай, если xunit assert произойдет в тесте со случайными данными

Я пишу xunit fact тест со случайными данными и проверки properties моей системы. Если произойдет какое-либо утверждение, я хочу создать аварийный дамп, чтобы проверить ситуацию, когда система достигла этой точки. Я не мог найти способ сделать это. Я…
31 янв '19 в 15:21
1 ответ

Как использовать FsCheck для генерации случайных чисел в качестве входных данных для тестирования на основе свойств

Я думал, что пришло время попробовать FsCheck, но это оказалось сложнее, чем я думал. Там много документации по Arb, генераторы и так далее, но, похоже, нет никаких указаний о том, как применять эти знания. Или я просто не понимаю. Что может усложни…
02 дек '16 в 02:48
2 ответа

Зачем мне действительно использовать тестирование на основе свойств, если я уже практикую тестирование на основе примеров?

Одно предостережение, которое некоторые разработчики утверждают о TDD с помощью тестов на основе примеров, - это возможное отсутствие каждой действительной обработки ввода. Давайте рассмотрим простой пример, в котором эти разработчики могут поспорит…
22 июн '15 в 18:51
3 ответа

Сложность мышления свойств для FsCheck

Мне удалось заставить xUnit работать над моим небольшим примером сборки. Теперь я хочу посмотреть, смогу ли я пойти на FsCheck. Моя проблема в том, что я озадачен, когда дело доходит до определения свойств теста для моих функций. Может быть, у меня …
15 мар '10 в 09:59
1 ответ

Отрицательные тесты на основе свойств

Тестирование на основе свойств хорошо, когда вы можете выразить простые и четко определенные свойства. Мне также повезло с "отрицательными свойствами" в случае тестирования парсеров, например, путем генерации неверных идентификаторов или несовпадени…
27 ноя '15 в 10:00
2 ответа

Собственное тестирование в PHP?

В различных, более функциональных языках есть инструменты (например, Quickcheck), которые позволяют проводить тестирование на основе свойств. Как мне провести тестирование свойств в PHP? Я хотел бы иметь возможность указывать входные и выходные свой…
17 май '11 в 08:35
1 ответ

Генерация корректного бинарного дерева поиска с гипотезой Python путем параметризации рекурсивных вызовов

Как вы параметризуете рекурсивные стратегии в библиотеке гипотез Python? Я хотел бы проверить, что is_valid_bst Функция работает, генерируя действительные BST с рекурсивной стратегией. import hypothesis as hp from hypothesis import strategies as hps…
14 окт '18 в 16:37
1 ответ

Почему мое предварительное условие игнорируется в моем тесте на основе свойств?

Почему мое предварительное условие игнорируется в моем тесте на основе свойств? Предварительным условием для моего теста является следующее: fun rowCount -> rowCount >= 0 Таким образом, мой настоящий тест: [<Fact>] let ``number of cells …
22 мар '16 в 02:07
2 ответа

Игнорировать "требуют" и утверждения во время тестов с ScalaCheck?

Наши тематические классы имеют несколько require операторы для выдачи исключений, когда они получают некорректный ввод. Это обычно довольно полезно, но может затруднить написание тестов на основе свойств, поскольку нам нужно писать генераторы, котор…
02 ноя '16 в 01:01
1 ответ

Проверка допустимых переходов состояний с помощью scalacheck

Предположим, у меня есть этот класс: case class Receipt(id: Long, state: String) { def transitionTo(newState: String) = { if (!canTransitionTo(newState)) { throw new IllegalStateExcetion(s"cant transition from $state to $newState") } this.copy(state…
01 июн '16 в 02:29
1 ответ

Как правильно использовать Prop.delay в ScalaCheck?

Задержанные генераторы могут иметь смысл для рекурсивных структур данных. Мне интересно, в какой ситуации это Prop.delay может быть полезным Не могли бы вы продемонстрировать пример из реальной жизни.
27 янв '17 в 01:32