T_ZASDI 0001—2023 军工软件Java语言编程指南-团体标准
目录
| 标准详细信息 | |
|---|---|
| 标准状态 | 现行 |
| 标准编号 | T/ZASDI 0001—2023 |
| 中文标题 | 军工软件Java语言编程指南 |
| 英文标题 | |
| 国际标准分类号 | 35.020 |
| 中国标准分类号 | |
| 国民经济分类 | I651 软件开发 |
| 发布日期 | 2024年09月18日 |
| 实施日期 | 2024年10月01日 |
| 起草人 | 吴一帆、江云松、赵越、陈睿、高栋栋、王铮、冯大成、赵甫、何昀锋、王宇龙、毛喜道、刘昌阳、余晓江、吴伟杰、荆巍巍、赵永宣、郝文建 |
| 起草单位 | 中关村科创智慧军工产业技术创新战略联盟、北京工程控制研究所、北京轩宇信息技术有限公司、北京计算机技术及应用研究所、中国兵器工业信息中心、中国核电工程公司、北京星航机电装备有限公司、中国船舶集团第七一六研究所、武汉第二船舶设计研究所、中国电子科技集团第十四研究所、中国航空发动机研究院信息中心、北京赛西科技有限责任公司 |
| 范围 | 本文件规定了使用Java编程语言进行安全、规范编码的规则。 本文件适用于Java语言编写的军用基础软件，特别是军用安全关键系统基础软件，其它军用软件也可参照执行。 每条规则都包含标识、标题、规则说明、违规的代码示例和合规的代码示例。标识是规则的唯一助记符，标题是对规则的简明但有时不精确的描述。规则说明指定了规则的规范性要求。违规的代码示例是构成违反规则的代码示例。随附的合规的代码示例展示了遵循此编码标准中的规则或任何其他规则的等效代码。 |
| 主要技术内容 | 该编码标准由强制规则（requried rule）和建议规则（advisory rule）组成。强制规则旨在为代码提供规范性要求，违反强制规则通常表明代码中存在缺陷；建议规则旨在提供指导，当遵循这些指导时，应该可以提高软件系统的安全性、可靠性和代码的可读性、可维护性。但是，违反建议规则并不一定表明代码中存在缺陷。强制规则和建议规则统称为指南（Guidelines）。 强制规则必须满足以下条件： 1违反该准则可能会导致缺陷，从而对系统的安全性、可靠性或安全性产生不利影响，例如，引入可能导致可利用漏洞的安全缺陷。 2该指南不依赖于源代码注释或假设。 3可以通过自动分析（静态或动态）、形式方法或人工审查技术来确定是否符合指南。 建议规则是提高代码质量的建议。当满足以下所有条件时，指南被定义为建议： 1指南的应用可能会提高软件系统的安全性、可靠性或安全性。 2无法满足将指南视为规则所必需的一项或多项要求。 |
| 是否包含专利信息 | 否 |
| 标准文本 | 不公开 |
| 团体详细信息 | |||
|---|---|---|---|
| 团体名称 | 中关村科创智慧军工产业技术创新战略联盟 | ||
| 登记证号 | 51110000MJ0120837E | 发证机关 | 北京市民政局 |
| 业务范围 | 开展智慧军工领域的，学术研究、学术交流、技术研发、咨询培训、会议会展、承接委托国际交流 | ||
| 法定代表人/负责人 | 李力勤 | ||
| 依托单位名称 | |||
| 通讯地址 | 北京市海淀区金沟河路88号大楼 | 邮编 : 100039 | |