软件审查方法及应用

介绍了软件审查及其相关概念,阐述了软件审查的组织、类型和方法,最后介绍了软件审查在型号中的应用实例。

软件审查对提高软件能力成熟度的探讨

探讨软件审查在CMM各级别的几个关键过程域中的作用 ,论述了软件审查在进行CMM评估和通过CMM来改进软件过程的重要性。

基于量化控制的软件审查过程模型

在软件生命周期早期,软件审查被证明是一种有效的缺陷发现的方法,软件审查也越来越受到人们的关注。传统的软件审查过程模型虽然给出了严格执行的步骤,但是在审查过程中存在很多主观的因素,如果不对过程进行控制,审查的效率会很低。本文提出了一种基于量化控制的软件审查过程模型,在模型中,利用量化的方法来控制过程的执行并支持过程的持续改进。

浅谈软件静态测试中的代码审查

本文描述了软件代码审查的作用、代码审查内容、代码审查过程,并列举一些常见代码审查问题。

特型软件代码审查方法在军用嵌入式软件领域应用研究

通过分析军用嵌入式软件测试代码审查的现状,针对目前军用嵌入式软件代码审查的不足,提出一种基于通用代码审查标准与应用领域的知识相结合的代码审查方法,该方法在军用嵌入式软件应用领域根据软件的需求、功能进行分类优化,订制个性代码审查标准。通过此方法能够高效地发现特定领域代码的缺陷问题,提升军用嵌入式软件代码审查的效率和质量。该方法的引入对军用嵌入式软件的代码审查水平的提高有一定的应用价值。

全国《机械CAD软件标准化审查》试点工作简介

一、提出背景计算机辅助设计(CAD)做为一项新兴的高新技术在我国的机械行业中已得到日益广泛的应用。经过'六五'～'八五'的研究、推广、普及,我国机械行业的多数大中型企业已程度不同地应用了机械CAD技术,并初见效益,应用范围已从初期简单的计算机绘图向CAD/CAM一体化拓展,国内相应的软件产业也已初步形成,并开始走向成熟。

动物实验伦理审查后监管的规范与建议

阐述了动物实验伦理审查后监管的必要性,由谁监管,如何监管,监管什么等问题。并提出以下建议:制订详细的规章制度与SOP,加强动物实验伦理审查后监管小组成员与动物实验人员的培训,用动物实验伦理学审查软件对动物实验的伦理学审查进行全程监控。

软件缺陷的因果分析

因果分析和缺陷预防是对软件审查过程的扩展。本文介绍了因果分析以及如何进行因果分析,并举例说明如何通过使用因果分析确定对缺陷预防采取什么行动,并在此基础上进一步阐述了缺陷预防,指出把审查和因果分析、缺陷预防整合成一个过程,能够增强软件审查的效果,控制和减少质量成本。

简讯

由国家教委电教办组织召开的"中小学计算机多媒体辅助教学软件审查展示会"最近在广东举行。展示会聘请了30多名专家、教授对涉及14个学科共240多盘磁盘、光盘进行了审查。会议由全国中小学电教教材审查委员会副主任何克抗教授主持。国家教委电教办主任宋成栋同志出席了会议。

目前我国会计电算化系统审计的主要内容和方法

目前我国会计电算化系统审计的主要内容和方法张金城随着计算机在会计领域的逐渐普及与深入，对会计电算化系统的审计已变得越来越迫切。我国从１９８８年起，一些审计机关开展了会计电算化系统审计，但大多数还处于试审和探索阶段，审计的方法还是以绕过计算机审计为主。...