北京广利核系统工程有限公司

北京广利核系统工程有限公司 申高军 张亚栋 梁中起 刘春明

摘要：软件V&V是核安全级软件开发过程中评估软件产品的一种系统性方法，与软件开发同步开展。通过软件V&V活动，辨识和解决异常，对软件开发中出现的偏离进行控制。本文结合安全级软件开发生命周期的特点，优化异常处理流程，软件V&V对每一阶段发现的异常问题进行影响评估，按后果严重性进行分级，确定异常关键等级。上一阶段关键异常的解决作为下一阶段软件开发结束的必要条件，前一设计阶段的关键异常全部解决后，下一阶段的设计活动才能结束。该异常处理流程可推进关键异常及时解决，防止向后续开发过程传递，有效减少开发后期的异常数量及修复成本。该流程已在某核电项目中得以实施，并取得良好效果。

关键词：安全级软件；验证与确认；异常处理流程

在线预览：软件V&V基于严重性分级的异常处理流程研究

摘自《自动化博览》2017年5月刊