我正在用C做一个简单的国际象棋游戏,我想知道我可以对它做什么优化。目前,我有一个结构化游戏,它具有游戏的当前状态(主菜单、暂停菜单、播放等)、转弯、3个作为布尔值的整数、指向一个棋盘的指针和指向所选片段的指针: ChessBoard *board; State state;
int inGame; int check;董事会有一个指
我使用的是TDD方法,所以我编写了很多单元测试。然而,我仍然在研究如何证明我的单元测试的正确性public class SimpleGraph(){所以我想知道有没有一种方法可以从数学上证明我的单元测试的正确性?那么有没有一个很好的做法呢?因此,我们正在测试单元的正确性,而不是针对某个特定的结果进行测试。