Junit-程序验证与白盒模糊？
我知道程序验证是计算机工程的一个分支，但它在现实世界代码库中的实际应用受到组合爆炸的限制 我还了解到，作为软件变更设计的一部分，对于现有Java框架的修改，提前考虑算法的白盒、边界和黑盒测试是很有帮助的。（有些人称之为吊床驱动的开发——先思考再编码。） 假设您采用这种思想并将其嵌入junit风格的测试中，我假设内容的计算机科学名称严格地称为“白盒测试/模糊化”，不足以包含“程序验证”Junit-程序验证与白盒模糊？,junit,tdd,verification,fuzzing,Junit,Tdd,Verification,Fuzzing,我知道程序验证是计算机工程的一个分支，但它在现实世界代码库中的实际应用受到组合爆炸的限制 我还了解到，作为软件变更设计的一部分，对于现有Java框架的修改，提前考虑算法的白盒、边界和黑盒测试是很有帮助的。（有些人称之为吊床驱动的开发——先思考再编码。） 假设您采用这种思想并将其嵌入junit风格的测试中，我假设内容的计算机科学名称严格地称为“白盒测试/模糊化”，不足以包含“程序验证” 因此，我的问题是-junit测试-白盒模糊化或程序验证？程序验证是在与应用程序相关的数学模型上证明数学属性而完成
因此，我的问题是-junit测试-白盒模糊化或程序验证？程序验证是在与应用程序相关的数学模型上证明数学属性而完成的（它可以从编程语言的形式语义派生，也可以手工编写，比如编写为web服务建模的行为类型） 看一看，明白我的意思 当然，junit与正式的程序验证无关