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

Вопросы с тегом
Вместо этого используйте `property-based-testing`.
1 ответ

Тестирование свойств Python с тайм-аутом

У меня есть определенное количество времени для тестирования системы. Могу ли я написать тест свойств Python, который запускает тесты свойств до истечения одного часа? Я искал решение в hypothesis но я не мог найти один. Я полагаю, что библиотеки те…
19 ноя '18 в 20:14
0 ответов

Как я могу форсировать оценку свойства тестера вручную в Eclipse 4?

Приложение было обновлено с затмения 3 до затмения 4. Оценка некоторых тестов свойств вынуждает вручную вызывать следующие строки: IEvaluationService service = (IEvaluationService) PlatformUI.getWorkbench().getService(IEvaluationService.class); serv…
27 апр '17 в 11:17
1 ответ

Должны ли тесты свойств выполняться с модульными тестами при использовании методологии RGR?

Должны ли тесты свойств выполняться с модульными тестами при использовании методологии RGR? RGR: Красный -> Зеленый -> Рефакторинг Я заметил, что модульный тест, который у меня есть, выполняется за 18 мс. Однако мой тест свойства для того же метода …
29 ноя '15 в 13:35
1 ответ

Создание кортежей, содержащих Long для проверки свойств Vavr

Мне нужна пара случайных длин для проверки свойств с помощью Vavr. Моя реализация выглядит так: Gen<Long> longs = Gen.choose(Long.MIN_VALUE, Long.MAX_VALUE); Arbitrary<Tuple2<Long, Long>> pairOfLongs = longs .flatMap(value -> ra…
02 окт '17 в 17:29
1 ответ

Гипотеза Python - создание стратегии один раз для многих тестов?

У меня есть сложная, дорогая в построении, но дешевая в тестировании стратегия. Я обязан сделать: @given(expensive_strategy()) def test_all(x): assert... assert... ... Создание примеров занимает ~4 секунды, а запуск утверждений незначителен. Передов…
05 май '17 в 07:30
1 ответ

Как бы я провел тестирование на основе свойств в функции сделки карточной игры?

Я изучаю тестирование, основанное на свойствах, и мне интересно, как бы я применил этот тип тестирования к функции Deal в игре BlackJack. Вот модульный тест (он же: Тест на основе примеров): [<Test>] let ``deal two cards`` () = let hand = 2 le…
30 ноя '15 в 21:43
1 ответ

scalacheck: определить генератор для бесконечного потока с некоторой зависимостью от предыдущих элементов

Я пытаюсь определить Gen[Stream[A]] для бесконечного (лениво оцененного) потока Aгде каждый элемент A может зависеть от предыдущих элементов. В качестве минимального случая мы можем взять Gen[Stream[Int]] где следующий элемент либо +1 или же +2 пред…
25 мар '18 в 01:23
1 ответ

Как разделить тестовые интерфейсы между пакетами Go?

Go не делит код между тестовыми файлами разных пакетов, поэтому определения тестовых интерфейсов не используются автоматически. Как мы можем обойти это на практике? Пример использования testing/quick: foo/foo.go: package foo type Thing int const ( X…
26 май '17 в 02:31
1 ответ

Как использовать QuickCheck в тестах Hspec?

Я строю исходную кодовую базу для моего проекта на Haskell с cabal initУ меня есть несколько тестов, написанных с помощью Hspec. На cabal test он компилирует и запускает эти тесты, как ожидалось, и выдает сообщение об ошибке / прохождении. Теперь я …
30 июл '18 в 11:45
1 ответ

Как написать тест свойства для определенного содержимого списка

У меня есть следующая функция, которую я хочу протестировать с помощью ScalaCheck: object Windows { val Directory = "^[a-zA-Z]:\\\\(((?![<>:\"/\\\\|?*]).)+((?<![ .])\\\\)?)*$".r def arePathsValid(paths: List[String]): Eval[List[String]] = {…
08 ноя '17 в 09:54
1 ответ

Как оцениваются свойства в затмении?

Пожалуйста, прочитайте с терпением, я старался изо всех сил, чтобы объяснить ситуацию, если нет, пожалуйста, прокомментируйте - У меня два плагина говорят A, B, В обоих плагинах я определил выражение "и" для команды. Одним из условий в выражении "и"…
29 сен '16 в 18:54
1 ответ

Чистое использование E4 activeWhen Expression

Я перевожу свой E3 в чистое приложение E4. Приложение E3 использовало выражение activeWhen-Core в сочетании с propertyTesters для включения / выключения ToolItems в реальном времени. Теперь в E4 поддерживается только выражение VisibleWhen Core Expre…
02 янв '16 в 23:32
1 ответ

Как сообщить обо всех входных данных тестового набора для проверки свойства scalacheck.Prop.forAll?

При использовании scalacheck, если мы тестируем какое-либо свойство с помощью forAll, мы получаем только те сообщения о неудачных тестовых входах, которые не были пройдены, и ни один из них не прошел тестовые входные данные. scala> import org.sca…
02 авг '18 в 06:58
1 ответ

Создать произвольный экземпляр для класса case, который содержит `Numeric` в ScalaCheck?

Я специально пытаюсь определить Полугруппу и тип Суммы, который является Полугруппой, и проверять свойство Ассоциативной Полугруппы в общем, используя ScalaCheck. Сначала я написал об этом в Haskell, потому что мне проще думать об этих вещах сначала…
19 апр '16 в 17:01
1 ответ

Как вы пишете новый модификатор в QuickCheck

Я сталкивался с несколькими случаями в моем тестировании с QuickCheck, когда в некоторых случаях было бы проще написать свои собственные модификаторы, но я не совсем уверен, как это можно сделать. В частности, было бы полезно узнать, как написать мо…
04 июн '19 в 07:42
1 ответ

Безопасны ли тесты свойств Gopter для параллельного использования?

Я использую gopter для тестирования свойств, и я заинтересован в ускорении моих тестовых прогонов путем параллельного запуска независимых тестов. Я не могу найти никаких ссылок в документации относительно того, безопасно ли звонить на мой тест или н…
17 авг '21 в 08:11
1 ответ

FsCheck: переопределить генератор для типа, но только в контексте одного родительского генератора.

Кажется, я часто сталкиваюсь со случаями, когда я хочу сгенерировать какую-то сложную структуру, но специальный вариант с типом члена генерируется по-другому. Например, рассмотрим это дерево type Tree<'LeafData,'INodeData> = | LeafNode of 'Lea…
09 июн '22 в 22:02