论文部分内容阅读
随着计算机技术在关键系统的广泛应用，人们对软件质量的要求也越来越高，如何提高关键系统软件可信性则是一个亟待解决的问题。文中对关键系统软件可信性的特征、方法和损害属性进行了研究，综述了关键系统可信性分析和评估的国内外发展现状。并在此基础上提出一种基于认识和理解途径的关键系统软件可信性分析和评估方法。