【摘 要】
：
软件代码走查是一种经济、高效的静态测试方法,对提高软件产品的质量和可靠性发挥了重要作用.但对于走查过程中代码浏览、缺陷检查以及缺陷信息的管理等仍普遍采用人工手段,
【机 构】
：
北京航空航天大学工程系统工程系,北京,100083
【出 处】
：
中国航空学会可靠性工程专业委员会第十届学术年会
论文部分内容阅读
软件代码走查是一种经济、高效的静态测试方法,对提高软件产品的质量和可靠性发挥了重要作用.但对于走查过程中代码浏览、缺陷检查以及缺陷信息的管理等仍普遍采用人工手段,影响走查效率,而且容易产生人为错误,成为制约代码走查工作顺利开展的一个关键因素.本文对软件代码走查过程的计算机辅助方法进行了研究,并开发相应的辅助工具SWAT,为代码走查人员提供帮助.
其他文献
"三圈理论"是将医疗行为模拟分类并逐一对应由此产生相应费用的一种行为经济学模型构建.行为经济学是研究个人或群体经济行为规律的一门学科,是在经济学和心理学两门学科融合
对于解决农民看病贵问题,党中央、国务院十分重视.农民看病难、看病贵,以至于因病致贫、因病返贫的问题是我国全面建设小康社会必须关注和解决的一个重大社会问题.农民看病贵
本文首先介绍了软件质量编程技术的概念和起源,又结合软件开发过程介绍了质量编程生命周期过程,重点介绍了质量编程的输入域、产品单元定义和产品单元缺陷定义和软件验收准则
仿真测试方法是解决嵌入式软件可靠性测试的一种有效手段,根据仿真方法所依赖的测试系统可以将其分为全数字仿真、半实物仿真和全实物仿真三种类型,本文从分析可靠性测试系统
详细、准确的软件使用模型是软件可靠性测试的基础和保证.当前各种软件可靠性测试方法普遍存在对软件实际使用情况描述不全,不清、不便的问题,文章提出了一种基于三层结构的
文章分析了软件可靠性测试中确定最小测试集的重要意义,阐述了非实时软件的可靠性测试数据的生成方法和可靠性测试数据的统计特征,提出了一种确定最小测试集的理论依据,并给
虽然软件工程的重要性在国内软件领域已被认可,但实施的情况并不令人满意.软件的文档问题仍然非常突出,这对开展第三方软件系统测试是一个严重的障碍.本文利用卡耐基.梅隆大
针对嵌入式软件中随机出现的一些关键疑难故障,提出一套新颖的自动化故障诊断方法,综合应用SFTA和SFMEA技术,对软件进行故障建模以及故障分析,将软件的故障分析定位到相应的
模型驱动架构(MDA:ModelDrivenArchitecture)是OMG提出的新的软件开发方法,被面向对象技术专家预言为未来两年里最重要的方法学.PIM模型是MDA方法中的高层抽象模型,是MDA方法
试验设计在软件测试领域的应用已进入组合测试阶段,组合测试的一个关键问题是确定测试数据需要覆盖的因素组合数目.文中提出了一套完整的软件失效因素分析方法,从相似软件或