T/ZASDI 0001-2023 军工软件Java语言编程指南

范围:本文件规定了使用Java编程语言进行安全、规范编码的规则。 本文件适用于Java语言编写的军用基础软件，特别是军用安全关键系统基础软件，其它军用软件也可参照执行。 每条规则都包含标识、标题、规则说明、违规的代码示例和合规的代码示例。标识是规则的唯一助记符，标题是对规则的简明但有时不精确的描述。规则说明指定了规则的规范性要求。违规的代码示例是构成违反规则的代码示例。随附的合规的代码示例展示了遵循此编码标准中的规则或任何其他规则的等效代码; 主要技术内容:该编码标准由强制规则（requried rule）和建议规则（advisory rule）组成。强制规则旨在为代码提供规范性要求，违反强制规则通常表明代码中存在缺陷；建议规则旨在提供指导，当遵循这些指导时，应该可以提高软件系统的安全性、可靠性和代码的可读性、可维护性。但是，违反建议规则并不一定表明代码中存在缺陷。强制规则和建议规则统称为指南（Guidelines）。强制规则必须满足以下条件：1违反该准则可能会导致缺陷，从而对系统的安全性、可靠性或安全性产生不利影响，例如，引入可能导致可利用漏洞的安全缺陷。2该指南不依赖于源代码注释或假设。3可以通过自动分析（静态或动态）、形式方法或人工审查技术来确定是否符合指南。建议规则是提高代码质量的建议。当满足以下所有条件时，指南被定义为建议：1指南的应用可能会提高软件系统的安全性、可靠性或安全性。2无法满足将指南视为规则所必需的一项或多项要求