受约束的随即测试法(CRT)解决定向测试覆盖率不足的问题。它能够自己预测测试结果,通过使用计算机处理器的计算能力换取人工检查的时间。
CRT = 随机数据流产生的测试代码(数据) + 伪随机数发生器的种子(行为) ?? 改变种子的值即可改变CRT的行为!!
挑战性的BUG主要在控制路径里,随机化使控制路径里的每一个分支都有可能被测试。
考虑设计输入的各个方面有很多,例如:1,2,3,。。。