指挥控制与仿真
指揮控製與倣真
지휘공제여방진
COMMAND CONTROL & SIMULATION
2013年
4期
8-11,31
,共5页
可信软件%可信度量与评估%可信构造与验证%可信演化与控制
可信軟件%可信度量與評估%可信構造與驗證%可信縯化與控製
가신연건%가신도량여평고%가신구조여험증%가신연화여공제
trusted software%measurement and evaluation of software creditability%construction and validation of trusted software%evolvement and control of trusted software
可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能.首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战.
可信軟件是近年來軟件工程領域研究的熱點,裝備軟件可信性的研究有助于提升我國國防武器裝備的作戰效能.首先分析瞭進行裝備軟件可信相關研究的必要性;然後闡述可信軟件技術的研究現狀,主要包括軟件可信度量和評估、可信軟件的構造與驗證、可信軟件的縯化與控製等三箇方麵;最後分析瞭研究可信裝備軟件麵臨的挑戰.
가신연건시근년래연건공정영역연구적열점,장비연건가신성적연구유조우제승아국국방무기장비적작전효능.수선분석료진행장비연건가신상관연구적필요성;연후천술가신연건기술적연구현상,주요포괄연건가신도량화평고、가신연건적구조여험증、가신연건적연화여공제등삼개방면;최후분석료연구가신장비연건면림적도전.