摘要：如今是计算机网络发展较快的时代，逐渐在人们生活和工作中得到广泛使用，那么计算机软件的安全性的问题，全面提高软件的可信度就是目前社会经济发展关键的问题。该文章对计算机可信软件进行了详细的分析，简单阐述了可信软件的特点，并对软件进行相关的测试工作，从而提高软件使用的可信度。
关键词：可信软件；测试；问题；发展
前言
在这个二十一世纪发展过程中，随着时代的发展计算机技术和网络技术也有突飞猛进的发展，在各个行业的大小企业都会应用到计算机软件，已经占有很大的经济市场，同时如今信息基础设施建设的关键因素就是计算机软件的应用。不过目前计算机软件的可信度就成为一个大家值得关注的问题，软件的可信度不仅对人们的工作有很大的影响，而且还会直接影响到人们日常生活，另外还会影响到市场经济效益。所以在软件的正式面向市场使用之前要对软件的可信度进行仔细的测试，其测试结构满足相关的要求之后才能正式展开使用，从而确保社会经济秩序的稳定性。
1 详细分析计算机可信软件的特点
1.1 可信软件的可用性
在限定的时间内可信软件运行的概率就是可信软件的可用性，可以短暂停止或延迟都不会使系统出现崩溃现象，目前软件的可用性逐渐成为IT行业发展的一个趋势，因此工程师要注重软件开发的可用性。
1.2 可信软件的可靠性
可信软件的可靠性是指软件在系统运行过程中整个系统运行的正常性和连续性，另外还要保障系统运行的稳定性，其中包含软件的运行的环境、可操作性和维护方面。让整个程序不会产生其他异常问题，而且还能在有效期内完成制定的目标，像具备可靠性的可信软件有效的促进了我国IT行业的可持续发展。
1.3 可信软件的安全性
在对可信软件测试过程中，可信软件的安全性也是非常重要的环节，有效的预防了系统中的数据信息被泄露，其中软件的安全性不仅指的是系统信息的机密性，而且还指系统信息的完整性，也就是说既不能被未授权的人所读取，而且还要确保整个系统信息数据的不会被丢失。
1.4 可信软件的维护性
可信软件的维护性也就是在系统运行过程中不定时对软件系统进行有效的维护，避免系统因为长时间的应用或者是外界因素的影响而出现缺陷，所以相关的工程师要及时更新和完善运用可信软件的系统。维护人员要定期对可信软件进行有效的分析，并对其中存在的问题给于维护措施，从而确保可信软件在系统中的正常使用。
2 可信软件测试的方式
可信软件在开展使用过程中要对其进行各种各样的测试，确保在后期生活和工作中能够正常运行，下面就详细分析了可信软件测试的几种方式。
2.1测试可信软件的可靠性
在可信软件测试过程中测试的重要环节之一就是可靠性测试，查看测试结果是否达到正式应用的相关标准和设计的要求。就如今科技发展状况来看，测试方法包括黑盒测试、白盒测试以及灰盒测试，其中应用最广的逻辑测试方法是白盒测试，利用测试的原理对程序编程的逻辑进行有效的分析。测试效果最好的是灰盒测试，它是把白盒测试和黑盒测试进行了有效的结合，并且使用的范围也是相当广泛的。然而对可信软件进行功能性的测试需要使用黑盒测试方法，主要对软件应用的功能性能进行详细的分析。
期刊文章分类查询,尽在期刊图书馆
2.2 测试可信软件的安全性
可信软件的安全性测试主要是测试软件的安全性是否达到相关标准，它不仅要评估系统中重要软件的安全性，而且还要评估系统中网络软件的安全性能，避免在应用过程中出现安全性的问题。就如今软件发展的状况来看，不仅要保障系统程序资料信息不被泄露，而且还要保障资料信息的完整性，从而使整个系统能够正常有序的运行。
2.3 可信软件容错性的测试
可信软件容错性的测试主要测试系统软件的对抗性，在系统出现故障时进行故障转移功能测试，故障的转移有效的保障了软件出现问题的时候保护数据信息，在一定程度上避免数据信息丢失后对整个系统产生的影响，所以测试人员要加强测试故障转移功能。在可信软件测试的时候，利用图像结构把测试软件系统的所有对象都回展现出来，在对其中预估可能会出现故障的环节进行详细的测试。在一般情况下测试可信软件的容错性主要包含以下两各方面：第一，如果在数据信息操作过程中发生了故障，那么就要对软件的自我保护性能进行测试，避免系统出现整体性的崩溃，如果要是没有发生异常就说明软件系统的容错性比较好，那么也就不会影响到人们的正常生活和工作。第二，测试软件灾难恢复性，通过利用不同的方法，让软件出现不同的故障，在发生故障之后测试数据信息是否能不受外界因素的影响而得到有效的保存，或者是否能在软件程序的变化下得到有效的恢复。
2.4 可信软件的动态测试
要对可信软件进行动态性的测试，而动态性的测试又分为两种，一种是随机测试，一种的选择性测试。一般情况下随机测试是以数据理论为基础，并且详细分布数据信息的概率，然而对于可信软件不能更全面的测试软件的质量。对软件的设计结构和功能模块的测试就需要用到选择性测试，对数据信息进行选择之后才能进行有效的测试，其中不仅包含了数据信息的测试，而且还包含了功能性的测试，除此之外还有软件错误的测试。不足之处在于测试伸缩性不好，资源的浪费，尤其是就一些简单软件测试，将会造成大量资源的浪费。可信软件和传统软件差异性通常较大，所以其测试的方法也就不同，但是需要对测试进行选择。在进行可信软件测试时需要进行实时性测试，但实时性测试的生成具有非常大的难度，它已经成为目前可信软件测试工程中面临的首要问题。
2.5可性软件验证
软件的可信性是指软件系统在限定的时间与特点的条件下提供可信服务的能力，它包括多个方面的属性。目前在对一个软件的可信性的评价通常是以某个单一的标准来进行衡量，而不是进行全方位的评价，这就导致了软件可信性的评测结果与实际的可信性不符。怎样对软件系统的真实可信进行判断，或者是哪一方面达到可以信赖程度，就需要对软件系统可信性进行验证。软件可信性的验证目的在于检验软件可信性验证技术主要包含模型、定理的证明。模型的检查在检测出系统问题的时候，可以给出反例，其自动化程度通常较高。但是，在实际检查过程中可能会存在状态爆炸问题。定理就证明了可以基于无穷状态空间的系统分析，其自动化的程度较低，应该进行人工的证明，在证明失败之后不能给予明确例子。
3 可信软件测试分析
在日后研究过程中，我们需要就可信软件可信性的度量、软件系统可信性分级制定出详细量化的指标。可信软件测试的技术随着软件技术不断发展而发展。可信软件测试的方法的完善措施：第一，把新的数字思想、方法、新的理论应用至可信软件测试中。第二，利用了形式化的描述软件性质提升了可信软件的测试自动化程度。第三，引入多核技术、同步分析的技术至可信软件测试中，使得软件可以跨平台的运行。
结束语：
总而言之，科学技术的发展带动了社会经济的发展，因此也提高了人们对可信软件的测试要求，从而促进了我国计算机网络时代的发展。测试可信软件的方式有很多种，我们要根据软件使用的需求进行有针对性的测试，为了测试结果的准确性最好展开全面性的测试，从而使可信软件在使用过程中充分发挥自身的价值。通常在测试之前，测试人员要对系统程序进行详细的了解，方便在测试中及时发现有误的地方，并进行有效的调整，从而软件质量有所提升，促使我国社会经济稳定发展。
参考文献：
[1]覃志东，雷航，桑楠，熊光泽，古幼鹏.安全关键软件可靠性验证测试方法研究[J].航空学报，2005，26（3）：334-339.
[2]梅宏，王千祥，张路.软件分析技术进展[J].计算机科学，2009，32（9）：1697-1710.
论文作者:吴琦,董天宇
论文发表刊物:《电力设备》2018年第13期
论文发表时间:2018/8/21
标签：测试论文; 软件论文; 可信论文; 系统论文; 可信性论文; 信息论文; 安全性论文; 《电力设备》2018年第13期论文;