没有合适的资源?快使用搜索试试~ 我知道了~
junit-quickcheck:基于属性的测试,JUnit风格
共552个文件
java:506个
md:23个
xml:9个
需积分: 48 2 下载量 43 浏览量
2021-02-03
20:24:21
上传
评论
收藏 837KB ZIP 举报
温馨提示
junit-quickcheck:基于属性的测试,JUnit风格 junit-quickcheck是一个库,它受QuickCheck for Haskell的启发,支持在JUnit中编写和运行基于属性的测试。 基于属性的测试将捕获代码输出的特征(即“属性”),这些特征在满足某些条件的任意输入下应为真。 例如,假设有一个函数产生一个大于1的正整数n的质数因子的列表。无论n的具体值如何,该函数都必须给出一个成员均为质数的列表,当所有元素相乘时必须等于n ,并且必须不同于大于1且不等于n的正整数m的因式分解。 junit-quickcheck和其他QuickCheck kin不会测试所有可能输入
资源推荐
资源详情
资源评论
收起资源包目录
junit-quickcheck:基于属性的测试,JUnit风格 (552个子文件)
.editorconfig 163B
infinitest.filters 7B
com.pholser.junit.quickcheck.generator.Generator 638B
com.pholser.junit.quickcheck.generator.Generator 154B
com.pholser.junit.quickcheck.generator.Generator 63B
.gitignore 78B
PrimitivePropertyParameterTypesTest.java 40KB
UsualJUnitMachineryOnTraitBasedPropertyTest.java 35KB
ExhaustingAGivenSetButIncludingAnotherTest.java 26KB
SamplingButAlsoIncludingAGivenSetTest.java 23KB
ExhaustingAGivenSetTest.java 23KB
BigNumberPropertyParameterTypesTest.java 20KB
SamplingOnlyFromAGivenSetTest.java 19KB
ReflectionTest.java 19KB
UsualJUnitMachineryOnSubclassPropertyTest.java 18KB
ParameterTypeContext.java 17KB
GeneratorRepository.java 15KB
Generator.java 14KB
ComposedObjectsTest.java 13KB
PropertiesWithExplicitGeneratorsTest.java 13KB
SourceOfRandomness.java 12KB
MapPropertyParameterTypesTest.java 12KB
Reflection.java 11KB
PropertyParameterGenerationByConstructorTest.java 10KB
Gen.java 9KB
ShrinkingTest.java 9KB
CartesianIteratorTest.java 9KB
MapGenerator.java 9KB
PropertyParameterGenerationByFieldsTest.java 8KB
MinimalCounterexampleHookTest.java 8KB
GeneratingRandomValuesTest.java 8KB
ListPropertyParameterTypesTest.java 8KB
PropertyParameterConfigurationIsolationTest.java 7KB
Generators.java 7KB
PropertyFalsifiedUtilityClassTest.java 7KB
PropertyStatement.java 7KB
RFC4122.java 7KB
ZonedDateTimePropertyParameterTypesTest.java 7KB
ArrayGenerator.java 7KB
ShrinkNode.java 7KB
CollectionGenerator.java 7KB
OffsetDateTimePropertyParameterTypesTest.java 7KB
ConstrainingWhatGeneratorsCanAcceptCertainComponentsTest.java 7KB
LocalDateTimePropertyParameterTypesTest.java 7KB
PrimitiveArrayPropertyParameterTypesTest.java 7KB
OffsetTimePropertyParameterTypesTest.java 6KB
Primitive2DArrayPropertyParameterTypesTest.java 6KB
CorePropertyParameterTest.java 6KB
Primitive3DArrayPropertyParameterTypesTest.java 6KB
Lambdas.java 6KB
BigDecimalGenerator.java 6KB
LocalTimePropertyParameterTypesTest.java 6KB
LocalDatePropertyParameterTypesTest.java 6KB
GenericArrayPropertyParameterTypesTest.java 6KB
CompositeGenerator.java 6KB
UsualJUnitMachineryOnPropertyBasedTest.java 6KB
DatePropertyParameterTypesTest.java 6KB
CodePoints.java 6KB
YearMonthPropertyParameterTypesTest.java 6KB
ExhaustiveParameterSampler.java 5KB
PropertyParameterGenerationContext.java 5KB
MonthDayPropertyParameterTypesTest.java 5KB
DurationPropertyParameterTypesTest.java 5KB
GenerationStatusOnPropertyParametersTest.java 5KB
ClockPropertyParameterTypesTest.java 5KB
YearPropertyParameterTypesTest.java 5KB
DecimalGenerator.java 5KB
SetPropertyParameterTypesTest.java 5KB
PeriodPropertyParameterTypesTest.java 5KB
MarkingTypeUsesOnPropertyParametersWithConfigurationTest.java 5KB
InstantPropertyParameterTypesTest.java 5KB
Generating.java 5KB
NullableParameterTest.java 5KB
RegisteringGeneratorsForHierarchyOfArrayListTest.java 5KB
UsualJUnitMachineryOnShrinkingPropertyBasedTest.java 5KB
BiFunctionPropertyParameterTest.java 5KB
Objects.java 5KB
DateGenerator.java 4KB
BigIntegerGenerator.java 4KB
ItemsTest.java 4KB
StringPropertyParameterTypesTest.java 4KB
ZoneOffsetPropertyParameterTypesTest.java 4KB
IntegralGenerator.java 4KB
JUnitQuickcheck.java 4KB
PropertyParameterMarkedWithSuperfluousConfigurationTest.java 4KB
Ranges.java 4KB
SizeConstrainedArrayPropertyParameterTypesTest.java 4KB
ComparablesTest.java 4KB
PropertyParameterGenerationContextTest.java 4KB
Sequences.java 4KB
PeriodGenerator.java 4KB
PropertyVerifier.java 4KB
AbstractStringGenerator.java 4KB
InRange.java 4KB
NullableGenerator.java 4KB
Ctor.java 4KB
GenerationStatus.java 4KB
JUnitQuickcheckTestClass.java 4KB
ListsTest.java 4KB
SequencesTest.java 4KB
共 552 条
- 1
- 2
- 3
- 4
- 5
- 6
资源评论
一起快走吧
- 粉丝: 31
- 资源: 4658
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功