【摘 要】
：
代码审查是发现缺陷最重要的方法之一,在软件的第三方测试中广泛应用。代码审查是由人对照检查单发现缺陷的过程,因此检查单的好坏影响代码审查的质量。本文在分析传统检查单
【机 构】
：
北京航空航天大学工程系统工程系北京100083
【出 处】
：
第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on
论文部分内容阅读
代码审查是发现缺陷最重要的方法之一,在软件的第三方测试中广泛应用。代码审查是由人对照检查单发现缺陷的过程,因此检查单的好坏影响代码审查的质量。本文在分析传统检查单不足的基础上,提出了一种新的软件代码审查方法。该方法把传统检查单和代码文件结构结合起来,首先从代码文件结构入手,归纳出代码文件的一般组成结构,之后针对每种组成结构分析归纳了可能存在的代码缺陷。该方法便于在代码审查的过程中更有目的更有针对性地审查代码,从而使代码审查更有效。
其他文献
传输项目的某块单板在防尘网堵塞情况下,工作不到20 分钟即因温度过高工作不正常甚至导致业务瘫痪,散热问题极其严重,这里利用有限资源采用现成面板作为冷却端散热器的方法进
Mitsui 等[1]与 Chambers 等[2]于 2003 年将在胚胎干细胞中新发现的重要基因 Ecat4 命名为 Nanog 基因,它是原始生殖细胞及胚胎干细胞表达的新转录因子,是维持干细胞自我亚
本文利用故障树的方法对铰链梁系统的故障进行了故障树的定性和定量的分析,找出了最可能出现故障的部位,并对易发生故障部位进行改进后又进行了计算和分析。通过对计算结果的
研究了随机载荷多次作用时零件的失效过程,应用顺序统计量建立了随机载荷多次作用时等效载荷的累积分布函数和概率密度函数。用时齐泊松随机过程描述载荷的作用过程,运用载荷
本文提出了一新的研究领域,供软件工作者探讨。本文从软件技术人员的性格缺点入手,分析软件技术人员的性格缺点与软件缺陷之间存在的关系,为软件管理者不断提高软件质量提供
随着空间碎片数量的迅速增加,航天器遭受空间碎片的碰撞安全性问题已经引起航天器设计人员的高度重视。本文采用LS_DYNA 软件对单层板、双层板和蜂窝夹层板等典型航天器防护
软件失效模式与影响分析(SFMEA)是一种从硬件FMEA 衍生而来的可靠性与安全性分析方法,其应用价值正逐渐受到重视。本文在研究SFMEA 原理的基础上,结合航天器控制软件的特点,
甲状腺作为人体最大的内分泌腺,在维持激素平衡,调节机体各组织器官正常运作过程中发挥着重要作用.细胞凋亡在维持多细胞生物健康生存中扮演着极其重要的角色,在正常和病理甲
在计算机控制系统可靠性与安全性设计领域,建立故障检测与诊断技术具有重要的理论意义和实用价值. 本文已中值最稳健估计为基础,建立了一组新的检测突发性故障和辨识突发性故
软件安全性分析是保证型号系统安全性的重要手段。本文简述了软件安全性分析的目的、特点和分析程序,并以载人运载火箭故障检测处理软件安全性分析为切入点,阐述了软件安全性