摘要：随着社会不断的发展，我国信息技术水平逐渐提高，软件成为了系信息技术中重要组成部分。现阶段，人们对软件的质量、安全性、稳定性、可靠性等有着较高的要求，高可信软件工程技术可以有效的满足人们的需求，保证软件在运行时的质量与效率。基于此，本文对高可信软件工程技术进行了简单的研究。
【关键词】高可软件；工程技术
行业中得到了广泛的应用，其中的软件系统也成为了国民经济发展的重要组成部分。软件的出现改变了人们传统的生活方式，将人们日常创新，使软件成为人们日常生活不可缺少的一部分。另外，软件的出现也成为一个全新的信息设施，在网上银行、电子商务等领域中得到了广泛的应用，如果没有软件那么这些领域就不会再出现，由此可见，软件对于社会发展的重要性。但是一些软件在实际运行过程中，其质量、安全性、可靠性等方面还存在着一定不足，如何保证软件在设计过程中具有较高的可信性质已经成为了软件在发展过程中所研究的重要话题之一。
1高可信软件概述
传统的技术所生产出来的软件主要通过模型的建立、演算、测试、验证形成，从而保证所生产出来的产品具有一定的期望性质。随着社会不断的发展，传统生产技术已经跟不上社会发展的脚步，只有将其不断的创新、完善才能保证所生产出来的产品可以在这个竞争激烈的社会中站稳脚步。而高可信软件在生产过程中主要通过后置断言的顺序形将软件的整体理论进行推理，并将其以顺序计算的形式展现出来，只有这样才能将现有的程序模型以输出对形式映射出来，从而形成一个全新相应模式，并保证软件具有较高的可信性、安全性、稳定性。
2高可信软件特点
要想保证软件系统在设计过程中具有较高的可信形式就需要满足一些关键性质的需求，只有这样才能保证所设计出来的软件系统具有较高的可信形式。如果在设计过程中没有满足关键性质的需求就会降低整个软件系统的安全性与可靠性，从而导致软件系统不能正常使用。要想保证软件系统在设计过程中具有较高的可信性质就需要满足以下几点关键性质特点，如图1所示。2.1可靠性在对软件系统设计过程中要为其制定一项科学合理的设计方案，只有这样才能保证信息系统可以指定的时间内完成，保证软件系统的可靠性。2.2安全性在软件系统设计过程中将考虑到软件在运行过程中所发生的安全故障，不能够为其制定有效的防护措施，只有这样才能保证软件在运行时候不会发生安全故障。2.3保密性保密性的高可信软件系统中重要组成部分，做好软件的保密工作可以有效的保证数据在传输、存储过程中的安全。2.4生存性如果软件在运行过程中受到外界攻击，没有完整的生存性就会导致软件不能正常使用。因此在对软件系统设计过程中要做好生存性对设计工作，就算出现问题时软件也可以自行修复，保证软件可以正常运行。2.5实时性实时性主要指软件在运行过程中具有良的反应、输出、提交能力，从而保证软件在运行过程中的稳定性。
3高可信软件工程技术现状
3.1软件形式化法
形式化法是软件系统设计中重要组成部分，同时也是一种严格的软件开发系统。因此，在软件系统开发过程中要保证其具有先进的思想、方法、技术只有这样才能促进软件系统快速发展。形式化方法可以有效的对整个计算机系统进行推理测试，并对一些形式化的规约技术进行验证，找出其中的不足，并为其制定有效的解决对策。合理应用形式化方法可以有效的提高软件的质量与效率，这对于提高可信软件的安全性来说也有着非常大的帮助。
3.2软件测试、设计技术
软件的可信性对于软件系来说有着非常重要的关系，因此，在软件系统实际测试过程中要做好软件系统的测试与设计工作，只有这样才能保证软件系统具有较高的安全性。而软件系统的测试工作主要通过对软件的判断形式的，可以将软件中的性质展现出来，对于软件系统的开发工作来说也是非常重要的一部分。对于软件系统的工程设计来说，我国所使用的设计工作主要通过软件高可信手段进行处理，从而满足软件系统在发展时的需求，保证软件系统具有较高的安全性、可靠性、随着社会不断的发展，软件系统的设计工作应取得了较大的成效。而形式化方法对于软件系统的设计工作来说有着至关重要的关系。要想保证软件系统的质量就需要对软件系统的程序理论进行深入研究，并在其中制定出全新的可信性质的设计方法与技术。而软件开发工作是一项极为复杂的过程，因此，在对软件时要从根本上提高软件的质量与效率，只有这样才能保证软件系统在运行时的安全性。
4总结
高可信软件技术对于社会的发展有着非常重要的关系，只有人们认识到高可信软工程技术的价值才能做好其设计工作，并其中的真正价值发挥出来，从而保证软件在运行时的安全经济类期刊发表性、稳定性、可靠性。本文对高可信软件工程技术进行了简单的分析，文中还存在着一定的不足，希望我国专业技术人员加强对其的研究。
作者：龚业 杨菡
