课程信息

课程信息：南京大学 程序猿与攻城狮

软件测试的两个基础问题

• 充分性准则：如何判断测试已经足够了
• 测试预言：我们如何判断这样的测试是成功了还是失败了

研究示例

多项式可以用因式分解和系数展开两种方式表示。

比如：

• F ( x ) = ( x − 1 ) ( x − 2 )