魅力中国
魅力中國
매력중국
CHARMING CHINA
2013年
10期
99
,共1页
高可信软件工程%软件保证%分析研究
高可信軟件工程%軟件保證%分析研究
고가신연건공정%연건보증%분석연구
现阶段,随着软件在我国信息社会中发挥的作用越来越重要,软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高.文章研究分析高可信软件工程技术面临的主要挑战以及现状,提出了基于形式化方式中的高可信软件技术其突破点与发展趋势.
現階段,隨著軟件在我國信息社會中髮揮的作用越來越重要,軟件的使用者對軟件保密安全性、軟件可靠性以及可靠安全性等有關可信性質的要求越來越高.文章研究分析高可信軟件工程技術麵臨的主要挑戰以及現狀,提齣瞭基于形式化方式中的高可信軟件技術其突破點與髮展趨勢.
현계단,수착연건재아국신식사회중발휘적작용월래월중요,연건적사용자대연건보밀안전성、연건가고성이급가고안전성등유관가신성질적요구월래월고.문장연구분석고가신연건공정기술면림적주요도전이급현상,제출료기우형식화방식중적고가신연건기술기돌파점여발전추세.