在上一篇文章中&＃xff0c;我介绍了基于属性的测试背后的基本思想。 在这里&＃xff0c;我将使用该技术来TDD钻石kata。
这篇文章受到很大的启发&＃xff08;即公然复制&＃xff09;。 因此&＃xff0c;请务必对Nat Pryce和Mark Seemann做同样的练习[1] [2]&＃xff08;参考文献底部的链接&＃xff09;打个招呼。 幸运的是&＃xff0c;我将使用Javascript和JSVerify 。 这样&＃xff0c;我可以将自己隐藏在“但我使用其他堆栈”的背后。
另外&＃xff0c;我将代码片段降至最低。 如果您有兴趣了解更多详细信息&＃xff0c;请随时检查回购 。
正如Seb Rose所描述的那样 &＃xff0c;问题陈述如下&＃xff1a;
给定字母&＃xff0c;打印以&＃39;A&＃39;开头的菱形&＃xff0c;并在最宽处打印所提供的字母。
一些例子是
Input: A
Output: A
Input: B
Output: A
BB
A
Input: C
Output: A
BB
CC
BB
A 在init提交中&＃xff0c;我要检查接线。 这就是为什么我使用始终返回5的生成器来检查isFive属性的原因。
// index.test.js
const jsc &＃61; require(&＃39;jsverify&＃39;)
const mocha &＃61; require(&＃39;mocha&＃39;)
const isFive &＃61; require(&＃39;./index&＃39;)
describe(&＃39;TODO&＃39;, () &＃61;> {
jsc.property(&＃39;TODO&＃39;, jsc.constant(5), isFive)
})
// index.js
const isFive &＃61; number &＃61;> number &＃61;&＃61;&＃61; 5
module.exports &＃61; isFive
当然是绿色的
$ mocha index.test.js
TODO
✓ TODO
1 passing (12ms)
✨ Done in 0.52s.
一切正常&＃xff0c;因此我可以为菱形kata创建发生器。 特别是&＃xff0c;我需要生成A..Z范围内的字符。
由于我不确定使用什么&＃xff0c;因此决定检查jsc.asciichar生成器返回的内容
const debug &＃61; x &＃61;> {
console.log(x)
return true
}
describe(&＃39;diamond&＃39;, () &＃61;> {
jsc.property(&＃39;TODO&＃39;, jsc.asciichar, debug)
})
注意return true 。 这样&＃xff0c;“属性” debug永远不会失败&＃xff0c;我可以检查所有生成的asciichar。 由于默认情况下JSVerify通过从生成器中生成100个输入来检查属性100次&＃xff0c;因此我看到
$ mocha index.test.js
diamond
T
K
.
E
B
<
// ... up to 100 asciichars
✓ TODO
1 passing (16ms)
✨ Done in 0.52s.
不太正确&＃xff0c;实际上&＃xff0c;我只需要生成A..Z范围内的字符。 不幸的是&＃xff0c;JSVerify并没有提供任何符合该约束的生成器。 因此&＃xff0c;我创建了一个自定义的
const alphabet &＃61; &＃39;ABCDEFGHIJKLMNOPQRSTUVWXYZ&＃39;.split(&＃39;&＃39;)
const char &＃61; jsc.suchthat(jsc.asciichar, c &＃61;> alphabet.includes(c))
describe(&＃39;diamond&＃39;, () &＃61;> {
jsc.property(&＃39;TODO&＃39;, char, debug)
})
这次我们得到适当的值
$ mocha index.test.js
diamond
B
L
X
B
Q
V
X
B
J
S
C
P
I
// ... up to 100 chars in A..Z
✓ TODO
1 passing (19ms)
✨ Done in 0.52s.
注意&＃xff0c;我可以将支票移到属性内
const property &＃61; c &＃61;> {
if (!alphabet.includes(c)) return true
// ... test the property
}
describe(&＃39;diamond&＃39;, () &＃61;> {
jsc.property(&＃39;TODO&＃39;, jsc.asciichar, property)
})
但我会犯一个错误。 实际上&＃xff0c;在这种情况下&＃xff0c;JSVerify将使用随机的jsc.asciichar调用property 100次。 因此&＃xff0c;仅生成的输入的一部分会超过if 。 换句话说&＃xff0c;我会失去测试范围。
开始练习的属性只是检查钻石的长度是否大于0&＃xff08;对于任何字符&＃xff09;。
jsc.property(&＃39;is not empty&＃39;, char, c &＃61;> make(c).length !&＃61;&＃61; 0)
我用它使绿色
const make &＃61; char &＃61;> &＃39;whatever&＃39;
来自REPL
make(c) // for any c
// &＃61;> &＃39;whatever&＃39;
jsc.property(
&＃39;first row contains A&＃39;,
char,
c &＃61;> firstRow(make(c)).trim() &＃61;&＃61;&＃61; &＃39;A&＃39;
)
我用它使绿色
const make &＃61; char &＃61;> &＃39; A &＃39; // padding is asymmetric
来自REPL
make(c) // for any c
// &＃61;> &＃39; A &＃39;
jsc.property(
&＃39;last row contains A&＃39;,
char,
c &＃61;> lastRow(make(c)).trim() &＃61;&＃61;&＃61; &＃39;A&＃39;
)
这已经是绿色的。
const firstRowHasSymmetricalContour &＃61; diamond &＃61;> {
const leadingElements &＃61; leading(&＃39;A&＃39;, firstRow(diamond)).length
const trailingElements &＃61; trailing(&＃39;A&＃39;, firstRow(diamond)).length
return leadingElements &＃61;&＃61;&＃61; trailingElements
}
jsc.property(
‘first row has symmetrical contour’,
char,
c &＃61;> firstRowHasSymmetricalContour(make(c))
)
我用它使绿色
const make &＃61; char &＃61;> &＃39; A &＃39; // padding is symmetric
来自REPL
make(c) // for any c
// &＃61;> &＃39; A &＃39;
好吧&＃xff0c;不仅第一行具有对称轮廓。 让我们修改属性&＃xff0c;以便检查所有行
const rowsHaveSymmetricalContour &＃61; diamond &＃61;>
diamond
.split(&＃39;\n&＃39;)
.map(rowHasSymmetricalContour)
.reduce((acc, x) &＃61;> acc && x) // [].every would be better here
jsc.property(
&＃39;rows have symmetrical contour&＃39;,
char,
c &＃61;> rowsHaveSymmetricalContour(make(c))
)
这已经是绿色的。
const rowsContainsCorrectLetters &＃61; (char, diamond) &＃61;> {
const pre &＃61; alphabetUntilBefore(char)
const post &＃61; pre.slice().reverse()
const expected &＃61; pre.concat([char]).concat(post)
const actual &＃61; diamond.split(&＃39;\n&＃39;).map(row &＃61;> row.trim())
return expected.join() &＃61;&＃61;&＃61; actual.join()
}
jsc.property(
‘rows contains the correct letters’,
char,
c &＃61;> rowsContainsCorrectLetters(c, make(c))
)
我用它使绿色
const make &＃61; char &＃61;> {
const pre &＃61; alphabetUntilBefore(char)
const post &＃61; pre.slice().reverse()
const chars &＃61; pre.concat([char]).concat(post)
return chars.join(&＃39;\n&＃39;)
}
测试代码和生产代码之间的重复是难闻的气味。 但是我决定把它留在那里。
来自REPL
make(&＃39;C&＃39;)
// &＃61;> &＃39;A\nB\nC\nB\nA&＃39;
const rowsAreAsWideAsHigh &＃61; diamond &＃61;> {
const height &＃61; rows(diamond).length
return all(rows(diamond).map(hasLength(height)))
}
jsc.property(
&＃39;rows are as wide as high&＃39;,
char,
c &＃61;> rowsAreAsWideAsHigh(make(c))
)
我用它使绿色
const makeRow &＃61; width &＃61;> char &＃61;> {
if (char &＃61;&＃61;&＃61; &＃39;A&＃39;) {
const padding &＃61; &＃39; &＃39;.repeat(width / 2)
return &＃96;${padding}A${padding}&＃96;
} else {
return char.repeat(width)
}
}
const make &＃61; char &＃61;> {
const pre &＃61; alphabetUntilBefore(char)
const post &＃61; pre.slice().reverse()
const chars &＃61; pre.concat([char]).concat(post)
return chars.map(makeRow(chars.length)).join(&＃39;\n&＃39;)
}
和REPL
make(&＃39;C&＃39;)
// &＃61;> &＃39; A \nBBBBB\nCCCCC\nBBBBB\n A &＃39;
jsc.property(
&＃39;rows except top and bottom have two identical letters&＃39;,
char,
c &＃61;> internalRowsHaveTwoIdenticalLetters(make(c))
)
我用它使绿色
const makeRow &＃61; width &＃61;> char &＃61;> {
if (char &＃61;&＃61;&＃61; &＃39;A&＃39;) {
const padding &＃61; &＃39; &＃39;.repeat(width / 2)
return &＃96;${padding}A${padding}&＃96;
} else {
const padding &＃61; &＃39; &＃39;.repeat(width - 2)
return &＃96;${char}${padding}${char}&＃96;
}
}
const make &＃61; char &＃61;> {
const pre &＃61; alphabetUntilBefore(char)
const post &＃61; pre.slice().reverse()
const chars &＃61; pre.concat([char]).concat(post)
return chars.map(makeRow(chars.length)).join(&＃39;\n&＃39;)
}
和REPL
make(&＃39;C&＃39;)
// &＃61;> &＃39; A \nB B\nC C\nB B\n A &＃39;
jsc.property(
&＃39;rows have the correct amount of internal spaces&＃39;,
char,
c &＃61;> rowsHaveCorrectAmountOfInternalSpaces(make(c))
)
我用它使绿色
const internalPaddingFor &＃61; char &＃61;> {
const index &＃61; alphabet.indexOf(char)
return Math.max((index * 2) - 1, 0)
}
const makeRow &＃61; width &＃61;> char &＃61;> {
if (char &＃61;&＃61;&＃61; &＃39;A&＃39;) {
const padding &＃61; &＃39; &＃39;.repeat(width / 2)
return &＃96;${padding}A${padding}&＃96;
} else {
const internalSpaces &＃61; internalPaddingFor(char)
const internalPadding &＃61; &＃39; &＃39;.repeat(internalSpaces)
const externalSpaces &＃61; width - 2 - internalSpaces
const externalPadding &＃61; &＃39; &＃39;.repeat(externalSpaces / 2)
return &＃96;${externalPadding}${char}${internalPadding}${char}${externalPadding}&＃96;
}
}
const make &＃61; char &＃61;> {
const pre &＃61; alphabetUntilBefore(char)
const post &＃61; pre.slice().reverse()
const chars &＃61; pre.concat([char]).concat(post)
return chars.map(makeRow(chars.length)).join(&＃39;\n&＃39;)
}
和REPL
make(&＃39;C&＃39;)
&＃39; A \n B B \nC C\n B B \n A &＃39;
不幸的是&＃xff0c; rowsHaveCorrectAmountOfInternalSpaces中的rowsHaveCorrectAmountOfInternalSpaces使用以下内容
const index &＃61; alphabet.indexOf(char)
return Math.max((index * 2) - 1, 0)
我不喜欢这种重复。 因此&＃xff0c;我决定测试外部空间&＃xff08;而不是内部空间&＃xff09;。
jsc.property(
&＃39;rows have the correct amount of external spaces&＃39;,
char,
c &＃61;> rowsHaveCorrectAmountOfExternalSpaces(make(c))
)
这次&＃xff0c; rowsHaveCorrectAmountOfExternalSpaces内部使用了不同的计算方法&＃xff1a;
const index &＃61; alphabet.indexOf(char)
return ((width - 1) / 2 - index) * 2
这意味着我已经删除了重复项。 另外&＃xff0c;由于内部空间的生产代码也照顾外部环境&＃xff0c;因此测试已经是绿色的。
如上所示&＃xff0c;最后一次REPL测试给了我们
make(&＃39;C&＃39;)
// &＃61;> &＃39; A \n B B \nC C\n B B \n A &＃39;
意思是
A
B B
C C
B B
A
这些是我发现的所有属性&＃xff1a;
is not empty first row contains A last row contains A rows have symmetrical contour rows contain the correct letters rows are as wide as high rows except top and bottom have two identical letters rows have the correct amount of external spaces 我注意到的第一件事是基于属性的TDD如何使您思考。 实际上&＃xff0c;为这个kata举个例子真的很容易。 但是对于不变式不能说相同。
同时&＃xff0c;了解您的问题空间的性质意味着对它有深入的了解。 对于基于属性的TDD&＃xff0c;有必要在编写实际的生产代码之前发现它们。
不仅如此&＃xff0c;我发现自己编写的属性与以前的属性冲突。 实际上&＃xff0c;使它变成绿色的代码也使现有的一些变成红色。 菱形卡塔是一个简单的练习&＃xff0c;但是在我们日常工作中经常会出现这种情况。
另外&＃xff0c;我先从通用属性开始构建&＃xff0c;然后再从专用属性构建&＃xff08;即diamond is not empty &＃xff0c;而rows have the correct amount of external spaces &＃xff09;。 这与基于示例的TDD中发生的情况相反&＃xff1a;从特定到泛型[3]。
不幸的是&＃xff0c;因为我还没有尝试过这种方法&＃xff0c;所以我无法与基于示例的TDD进行比较。 如果您对此感兴趣&＃xff0c;请查阅参考资料。
如果你喜欢的职位&＃xff0c;并希望帮助流传着一句话&＃xff0c;请考虑啁啾 &＃xff0c;拍手或分享这些。 但前提是您真的很喜欢它。 否则&＃xff0c;请随时发表评论或向我发送任何建议或反馈。
From: https://hackernoon.com/diamond-kata-via-property-based-tdd-in-Javascript-5fa99acd3e62
京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有