软件工程中显示方法的概念

Question

显示方法基本上是软件检查过程中用来确保和确认代码正确性以及验证形式模型的主要方法和重要方法。

在这种方法中，显示是一个精确的文档，即准确而正确的文档，在其中仅以可以确定和识别其正确性的方式简单显示程序，而无需检查任何其他显示。显示屏通常由三部分组成，如下所示：

• P1：表示此显示中显示的程序的规范。
• P2：表示程序本身。程序名称可能会出现在此文本中，因此可以说所有这些程序都在此显示中被调用。
• P3：表示在 P2 中调用但现在已知的所有程序的规范。已知程序是甚至不需要任何规范的程序。已知程序的语义仅被认为易于理解。因此，每个项目都应包含假定已知的程序列表。

显示方法的概念

1. 词汇–词典基本上是一本字典，其中包含多个显示器中所需并使用的任何数学函数，类型，程序常数等的多个定义。
2. 指数 –索引基本上是一个包含所有变量和程序的列表，这些变量和程序指示所有这些项在显示屏上的显示位置。如果某些名称使用的含义不止一种，那么我们还将说明每个名称的类别。
3. 完整性和正确性–每个显示都可以在不参考其他显示的情况下进行查看。甚至无需查看该显示中调用的程序的实现或它描述的程序调用的程序，也可以验证其正确性。
4. 正确性–如果 P2 中的程序完全满足 P1 中给出的规范，则只要 P2 中调用的程序完全满足 P3 中给出的规范，就可以认为显示是正确的。
5. 完整性–如果对于在显示器的 P3 中存在并找到的程序的每个规范，退出存在在 P1 中找到该规范的另一个显示器，则认为一组显示器是完整的。仅当一组显示完整且所有显示正确时，一组显示才是正确的。

数学符号和数学方法在显示方法中的作用

显示方法通常基于程序的数学模型。它仅使用一些数学符号来提供程序的准确和正确的描述。在软件工程中，数学方法的使用更多地集中在程序开发或程序验证上。

在文档中，符号非常重要且很重要。文件通常应由不同领域的专家阅读，并且必须以简单的方式进行理解。因此，在设计符号时，应采用 分而治之 的原则。

表的作用和表格符号

表格符号通常会降低表达的复杂性。它通过以下三种方式降低了复杂性：

• 表通常解析表达式，即分解表达式，以使读者易于理解。
• 表格还消除了列标题中可能出现的许多子表达式重复。
• 表中的每个条目仅适用于函数域的一小部分，因此可以简化该条目中的表达式。

好处

• 当程序非常冗长时，使程序文档更加有用
• 将程序简单地表示为一组显示以及不检查任何其他显示就可以检查和验证每个显示的属性。
• 用于确保代码的正确性。