董晓刚,杨孟飞
(1.北京控制工程研究所,北京100190;2.中国空间技术研究院,北京100094)
航天嵌入式软件缺陷的分类方法
董晓刚1,杨孟飞2
(1.北京控制工程研究所,北京100190;2.中国空间技术研究院,北京100094)
软件缺陷分类是软件缺陷管理的基础.介绍了软件缺陷的概念,对几种软件缺陷分类方法进行了分析和比较.结合航天嵌入式软件研制流程和缺陷类型分析,提出了一种航天器嵌入式软件缺陷的分类方法,对于缺陷类型和实现与编码错误子类型给出了详细的分类方法.
软件缺陷;航天嵌入式软件;缺陷分类
软件缺陷(software defect)的一般定义指软件中存在的未满足与用户期望或者规定用途有关的要求[1].软件缺陷是软件本身存在的一种固有状态,不同的软件开发阶段可能引入各种类型的软件缺陷,在软件运行中遇到有缺陷的软件代码被执行,软件运行就会表现出和预期不一致的执行效果,导致系统或系统功能无法满足任务要求.软件缺陷是软件故障和失效的源头,不同的软件缺陷会产生不同的后果,对于航天嵌入式软件,如果不能在测试阶段充分发现和暴露软件中的缺陷,一旦软件交付在轨运行,可能导致严重的后果.
研究软件缺陷的分类方法,特别是航天嵌入式软件的缺陷分类方法,是为了形成一套对软件缺陷的引入、发现、定位、危害和根源进行分析的有效方法,之后在软件缺陷管理中有针对性的对问题最多、危害最大的几类缺陷进行……