java - Java中自定义有序列表的基于属性的测试
问题描述
鉴于以下订购要求:
所有以“foo”开头的字符串都应该是第一个。
所有以“bar”开头的字符串都应该是最后一个。
不以“foo”或“bar”开头的字符串也可以出现在列表中。
如何使用基于属性的测试来测试上述需求的实现而不感到头疼?
有没有比以下更优雅的东西:
List<String> strings = Arrays.asList("foo", "bar", "bar1", "jar");
Collections.shuffle(strings);
assertListStartWith(strings, "foo");
assertListEndsWith(strings, "bar", "bar1");
assertThat(strings, hasItem( "jar"));
解决方案
我假设你有一些带有签名的排序功能
List<String> sortFooBar(List<String> list)
我看到至少五个sortFooBar(list)
应该满足的属性:
- 保留所有项目 - 并且只有那些 - 在列表中
- 第一个“foo”之前没有项目
- 第一个和最后一个“foo”之间没有其他项目
- 最后一个“栏”后没有项目
- 第一个和最后一个“栏”之间没有其他项目
在真正的函数式语言中,这些属性在 Java 中都相当容易表述,它需要一些代码。所以这是我对使用jqwik作为 PBT 框架和 AssertJ 进行断言的问题的看法:
import java.util.*;
import java.util.function.*;
import org.assertj.core.api.*;
import net.jqwik.api.*;
class MySorterProperties {
@Property
void allItemsAreKept(@ForAll List<@From("withFooBars") String> list) {
List<String> sorted = MySorter.sortFooBar(list);
Assertions.assertThat(sorted).containsExactlyInAnyOrderElementsOf(list);
}
@Property
void noItemBeforeFoo(@ForAll List<@From("withFooBars") String> list) {
List<String> sorted = MySorter.sortFooBar(list);
int firstFoo = findFirst(sorted, item -> item.startsWith("foo"));
if (firstFoo < 0) return;
Assertions.assertThat(sorted.stream().limit(firstFoo)).isEmpty();
}
@Property
void noItemBetweenFoos(@ForAll List<@From("withFooBars") String> list) {
List<String> sorted = MySorter.sortFooBar(list);
int firstFoo = findFirst(sorted, item -> item.startsWith("foo"));
int lastFoo = findLast(sorted, item -> item.startsWith("foo"));
if (firstFoo < 0 && lastFoo < 0) return;
List<String> allFoos = sorted.subList(
Math.max(firstFoo, 0),
lastFoo >= 0 ? lastFoo + 1 : sorted.size()
);
Assertions.assertThat(allFoos).allMatch(item -> item.startsWith("foo"));
}
@Property
void noItemAfterBar(@ForAll List<@From("withFooBars") String> list) {
List<String> sorted = MySorter.sortFooBar(list);
int lastBar = findLast(sorted, item -> item.startsWith("bar"));
if (lastBar < 0) return;
Assertions.assertThat(sorted.stream().skip(lastBar + 1)).isEmpty();
}
@Property
void noItemBetweenBars(@ForAll List<@From("withFooBars") String> list) {
List<String> sorted = MySorter.sortFooBar(list);
int firstBar = findFirst(sorted, item -> item.startsWith("bar"));
int lastBar = findLast(sorted, item -> item.startsWith("bar"));
if (firstBar < 0 && lastBar < 0) return;
List<String> allFoos = sorted.subList(
Math.max(firstBar, 0),
lastBar >= 0 ? lastBar + 1 : sorted.size()
);
Assertions.assertThat(allFoos).allMatch(item -> item.startsWith("bar"));
}
@Provide
Arbitrary<String> withFooBars() {
Arbitrary<String> postFix = Arbitraries.strings().alpha().ofMaxLength(10);
return Arbitraries.oneOf(
postFix, postFix.map(post -> "foo" + post), postFix.map(post -> "bar" + post)
);
}
int findFirst(List<String> list, Predicate<String> condition) {
for (int i = 0; i < list.size(); i++) {
String item = list.get(i);
if (condition.test(item)) {
return i;
}
}
return -1;
}
int findLast(List<String> list, Predicate<String> condition) {
for (int i = list.size() - 1; i >= 0; i--) {
String item = list.get(i);
if (condition.test(item)) {
return i;
}
}
return -1;
}
}
这是一个与规范一致的幼稚实现:
class MySorter {
static List<String> sortFooBar(List<String> in) {
ArrayList<String> result = new ArrayList<>();
int countFoos = 0;
for (String item : in) {
if (item.startsWith("foo")) {
result.add(0, item);
countFoos++;
} else if (item.startsWith("bar")) {
result.add(result.size(), item);
} else {
result.add(countFoos, item);
}
}
return result;
}
}
在这个例子中,属性的代码超过了实现的代码量。这可能是好是坏,取决于所需行为的复杂程度。
推荐阅读
- javascript - Javascript 无法在 woocommerce 中编写 woocommerce_new_order 钩子在 function.php 中
- bash - jq:在 json 中创建对象数组并在每次 bash 脚本执行时插入新对象
- c - Debian linux mingw 编译 Windows dll 包括 openssl 库
- flutter - 如何在颤动中使用 LinearGradient 和变换?
- jboss - 在同一个 jar 模块中将一个 ejb bean 注入另一个 ejb bean 不起作用
- python - 在 Scrapy 中抓取用户评论 - 网站从哪里获取数据?
- c++ - 可以在运行时更改 argv(而不是由应用程序本身)
- javascript - Draft.js 最佳实践
- flutter - Flutter:关闭警报对话框后未返回未来
- linux - 递归生成 md5 校验和并将其打印到带有 md5 、路径和文件大小的文本文件中