论文部分内容阅读
代码测试是目前软件测试研究的一个焦点,程序代码中隐含的错误对软件安全造成了潜在威胁,降低了软件质量及可靠性。传统的代码审查方法是通过代码走查和代码走读,既费时又费力.本文介绍了代码审查的相关知识,对代码审查范围、模式匹配问题进行讨论.
基于匹配技术的代码审查方法研究
【摘 要】
：
代码测试是目前软件测试研究的一个焦点,程序代码中隐含的错误对软件安全造成了潜在威胁,降低了软件质量及可靠性。传统的代码审查方法是通过代码走查和代码走读,既费时又费
【机 构】
：
合肥电子工程学院
【出 处】
：
中国电子学会电子系统工程分会第十五届信息化理论学术研讨会
【发表日期】
：
2008年期
其他文献
BOM是表示独立仿真互作用模式的可重用信息包,其目的是成为可重用仿真组件.为保证其可重用性的实现,BOM开发小组从BOM模板设计开始就注意构建可重用性机制.本文首先详细分析
本文提出了基于HLA的复杂电磁环境仿真系统体系结构,设计了电磁环境仿真系统的软件结构,把电磁环境可视化过程分为数学模型计算、几何模型构建和表现模型获取三个部分,完成了
兵棋推演是作战计划制定过程中评估作战行动方案(COA)的重要手段.兵棋推演中敌方建模的质量以及动态反应生成技术一直是难于突破的关键点,直接影响COA的评估质量.本文通过对
软件可靠性是软件质量的一个重要因素.如何提高软件可靠性已成为一个迫切的问题。本文综述了通过可靠性建模的途径来计算及评估软件可靠性的方法和理念,并在项目中使用所提出
计划过程建模是军事计划研究领域的一个研究热点,协同作战计划过程模型的建立需要考虑诸多因素,建模方法必须能够表达协同计划过程中涉及到的可用信息,能够动态地描述计划过
会议
本文首先对现有模型和所涉及的几个方面的进行简单的叙述,分析了现有模型的优点和不足.之后对建立模型的方法和原则做出分析,阐述了在软件质量评价领域的研究意义和方向.
软件的可靠性作为衡量软件质量的重要特性,其定量评估和预测是人们所关注和研究的重点.而作为定量评测软件可靠性的软件可靠性模型则是研究的核心和关键.对已有经典软件可靠
面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先
随着军队信息化建设的不断加快,软件可靠性已经成为了影响武器装备系统可靠性的重要因素.然而,利用标准的UML方式并不能满足对系统详细需求的描述.为了提高系统软件的可靠性,
会议
在对软件缺陷进行数据采集和定量分析的基础上,建立了基于缺陷分类的度量方式,提出了几种对软件缺陷进行统计分类的分析方法;通过基于分类的度量与分析,可充分利用缺陷数据信
会议