国际象棋游戏的基于属性的测试

Question

我正试图将注意力集中在基于属性的测试和国际象棋上。目前，我将我的国际象棋游戏表示为二维数组，我实现的唯一棋子是棋子和骑士来解决这个问题。

棋子和马将他们的动作表示为allMoves(x,y) \ invalidMoves(board,x,y) 的集合。所以我能想到的一个属性是测试allMoves(x,y) ∪ invalidMoves(board,x,y) === allMoves。但除此之外，我不确定还有什么要测试的。我假设我需要为棋盘设置一个简化的 Oracle 模型，但我不确定这样的模型是什么。

Answer 1

首先要说一些关于现实棋盘的明显事实，无论它们听起来多么愚蠢。其中许多将是要测试的合理属性。以下是一些想法：

• 当您移动一块时，它会从原来的位置移动到移动放置它的位置。
• 任何合法的马步都不是合法的棋步。
• 棋子一次移动的方格不会超过两个。
• 骑士永远不会靠近其起始位置移动。
• 移动应该只涉及实际在棋盘上的位置。
• 移到另一个棋子上会减少棋盘上的棋子数。

这样的想法还有很多。它们看起来很简单，但我保证你的早期实现会错过其中的一些。弄清楚如何将这些不变量编写为属性，并从那里扩展您的测试套件。