高可信软件工程技术

摘要

随着科技时代的不断推进,我国软件行业的发展起到了更加的作用。人们对于软件的要求在不断的提升,比如软件的可靠性、安全性和保密性等可信性质都是人们关注的重点。本文主要对高可信软件工程技术的发展现状以及发展过程中所要面对的困难进行了讨论,同时提出了高可信软件的发展趋势。