论文部分内容阅读
随着商品级软件在数字化仪控系统中逐步得到应用,为确保核安全,需对商品级软件执行适用性评价和验收(CGD),其中,关键特性的识别是执行CGD活动一个重要的步骤。本文提出从系统的角度识别商品级软件的功能性能特性;依据IEC 60880和IEC 62138,参考软件质量模型,从软件设计特性、软件设计过程体系和使用经验3个维度识别可信性特性。该方法已在实践中得到应用,可供同行借鉴。