《安全测试.pptVIP

形式化测试 来源 实际测试过程中，测试和证明是互补的，测试要揭示系统中错误，但不能保证系统是正确的，证明受限于在假设环境中关于行为的结论，不是完全可靠的，即使得到形式化证明的系统或不见，也不能说明系统没有错误，所以，形式化测试技术可以为安全保密设备提供高安全性保证。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 形式化测试 形式化方法 形式化方法能精确的、无二义的描述对象， 形式化规格说明语言的分类 1.基于模型的，有Z、VDM和B等 2.基于有限状态的，有有限状态机和SDL等。 3.代数语言，有OBJ等 4.混合语言，有离散和连续数学的规格说明语言等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 软件安全测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011