| 可信软件研究 |
| |
| 引用本文： | 俞烈彬,王立杰.可信软件研究[J].指挥控制与仿真,2013,35(4):8-11,31. |
| |
| 作者姓名： | 俞烈彬 王立杰 |
| |
| 作者单位： | 江苏自动化研究所,江苏自动化研究所 |
| |
| 基金项目： | 某国防预研基金资助项目 |
| |
| 摘 要： | 可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。
|
| 关 键 词： | 可信软件 可信度量与评估 可信构造与验证 可信演化与控制 |
| 修稿时间： | 6/2/2013 12:00:00 AM |
Survey on trusted software |
| |
| yuliebin and wang li jie.Survey on trusted software[J].Command Control & Simulation,2013,35(4):8-11,31. |
| |
| Authors: | yuliebin and wang li jie |
| |
| Institution: | Jiangsu Automation Research Institute,Jiangsu Automation Research Institute |
| |
| Abstract: | 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 analyzed the necessity of trusted arming software; and then it summarized the research state of trusted software technique of which included the following aspects: measurement and evaluation of software creditability, construction and validation of trusted software, evolvement and control of trusted software; lastly analyzed the challenges facing in the trusted arming software. |
| |
| Keywords: | Trusted software measurement and evaluation of software creditability construction and validation of trusted software evolvement and control of trusted software |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《指挥控制与仿真》浏览原始摘要信息 |
| 点击此处可从《指挥控制与仿真》下载免费的PDF全文 |
