1.形式化方法是指利用严格的数学符号和逻辑思维方法来描述和推理计算机程序或系统的方法。在软件工程中,形式化方法可以用来证明程序的正确性、模型的一致性以及软件系统的可靠性等方面。
形式化方法包括数学方法、公理化方法、自动推理方法、定理证明方法等,可以将系统建模为形式化的数学模型,通过对这些模型进行严格的分析和推理来验证系统的正确性。
形式化方法在软件开发的各个阶段都有应用,例如需求分析、设计、实现、测试等。常用的形式化方法包括Z语言、VDM语言、Zelkova语言、SPIN模型检测工具等。
通过使用形式化方法来进行软件开发,可以提高软件的质量和可靠性,减少系统出错和漏洞的风险,从而增强软件的安全性和稳定性。
2.假如我们有一个类,长方形;
我们需要一个新的类,正方形;
问:可否直接继承长方形?
答:没问题,因为数学上正方形就是长方形的子类!