航天软件审查的实施方法及应用经验
外文标题 | Aerospace Software Inspection: Practice and Experience |
文献类型 | 期刊 |
作者 | 石柱[1];周新蕾[2];缪峥红[3] |
机构 | [1]北京航空航天大学计算机系!100083,北京计算机应用与仿真技术研究所!100854,北京计算机应用与仿真技术研究所!100854 [2]北京航空航天大学计算机系!100083,北京计算机应用与仿真技术研究所!100854,北京计算机应用与仿真技术研究所!100854 [3]北京航空航天大学计算机系!100083,北京计算机应用与仿真技术研究所!100854,北京计算机应用与仿真技术研究所!100854 ↓ |
来源信息 | 年:2000卷:22期:10页码范围:71-74 |
期刊信息 | 系统工程与电子技术ISSN:1001-506X |
关键词 | 软件工程;软件安全;软件评估;审查程序 |
摘要 | 软件审查是一种在软件生存周期内尽早发现和消除软件缺陷的有效方法.该方法包括三大要素:审查员、审查对象和审查过程.结合我们在航天型号软件开发过程中的软件审查实践,分别介绍了软件审查人员的分工和职责、审查的对象和目的,以及审查的过程,并阐述了我们在航天型号软件审查实践中的结果和体会. |
收录情况 | CSCD |
所属部门 | 计算机学院 |
链接地址 | http://d.g.wanfangdata.com.cn/Periodical_xtgcydzjs200010022.aspx |
DOI | 10.3321/j.issn:1001-506X.2000.10.022 |
全文
影响因子:
dc:title:航天软件审查的实施方法及应用经验
dc:creator:石柱;周新蕾;缪峥红
dc:date: publishDate:2000-10-20
dc:type:期刊
dc:format: Media:系统工程与电子技术
dc:identifier: LnterrelatedLiterature:系统工程与电子技术.2000,22(10),71-74.
dc:identifier:DOI:10.3321/j.issn:1001-506X.2000.10.022
dc: identifier:ISBN:1001-506X