可信软件研究

Study on Trusted Software

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。

Trusted software has become a hotspot of the software engineering area in recent years, and it helps to enhance our weapon efficiency to study the trusted arming software. Firstly this paper analyzes the necessity of trusted arming software ; and then it summarizes the research state of trusted software technique, which include the following aspects ： measure- ment and evaluation of software creditability, construction and validation of trusted software, evolvement and control of trus ted software; lastly analyzes the challenges facing in the trusted arming software.