注册 | 个人登录 | 团体登录

中关村科创智慧军工产业技术创新战略联盟自我承诺

  中关村科创智慧军工产业技术创新战略联盟发布的T/ZASDI 0002—2023《军工软件Python语言编程指南》团体标准遵循开放、公平、透明、协商一致和促进贸易和交流的原则,按照在本平台公布的《标准制定程序文件_ZASDI》制定。T/ZASDI 0002—2023《军工软件Python语言编程指南》团体标准规定的内容符合国家有关法律法规和强制性标准的要求,没有侵犯他人合法权益。
  中关村科创智慧军工产业技术创新战略联盟在自愿基础上作出本承诺,并对以上承诺内容的真实性负责。

中关村科创智慧军工产业技术创新战略联盟
2024年09月19日

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

*由中关村科创智慧军工产业技术创新战略联盟于2024/9/19 10:11:29在团体标准信息平台公布,最后修改时间:2024/9/19 10:11:29

评论