高可信软件工程技术的特点和现状

摘要

随着社会不断的发展,我国信息技术水平逐渐提高,软件成为了系信息技术中重要组成部分。现阶段,人们对软件的质量、安全性、稳定性、可靠性等有着较高的要求,高可信软件工程技术可以有效的满足人们的需求,保证软件在运行时的质量与效率。基于此,本文对高可信软件工程技术进行了简单的研究。