刘 晗， 陶红伟， 陈仪香*

1. 华东师范大学软件工程学院，教育部软硬件协同设计技术与应用工程研究中心，上海 200062 2. 郑州轻工业大学计算机与通信工程学院，郑州 450002

0 引 言

近年来，航天技术迅猛发展，软件作为航天技术中必不可少的部分，其功能越来越复杂，规模越来越大，航天软件已经成为人们关注和研究的重点之一.但是，作为安全攸关领域，航天软件日益复杂化带来很多潜在安全问题，一旦软件发生事故，其损失无法估计.因此，航天软件可信性研究不容忽视.

自1972年Anderson JP首次提出可信系统的概念[1]，人们便开始研究可信系统.早期，人们对可信系统的研究主要集中在硬件环境和操作系统，直到美国国防部首先在可信计算机系统测评标准中提出可信计算机系统的软件也要是可信的[2]，人们才更加关注软件可信性.此后，LAPRIE[3]给出软件可信性与可靠性的区别，认为软件可靠性是可信性的一个子集，可信性比可靠性复杂得多.美国科学与技术委员会 (national science and technology council, NSTC)也在之后提出高可信系统[4]，他们认为高可信系统主要关注功能正确性、防危性、容错性、实时性和安全性等性质，并且他们强调用户体验，认为高可信系统必须能在任何情况下都能按照用户预期的情况运行.美国国家研究委员会(national research council, NRC)也认为可信系统需要强调用户体验，可信系统必须在任何情况下都能按照用户预期的目标运行，但是他们提出的可信定义主要关注正确性、私密性、可靠性、防危性、可……