论文部分内容阅读
随着计算机技术的快速发展,软件已经应用到人们日常的学习、工作和生活的方方面面。随着软件应用规模的增大,人们对软件的依赖性越来越强,并且希望软件的功能更加强大,应用更加方便,这致使软件的复杂度增高,软件开发困难,软件的开发周期也相应变长。随之而来的其他负面效应也凸显出来,软件在投入应用前就存在了各种各样的漏洞和缺陷,使得软件不能按照人们预期正常运行。另外,随着新型计算服务模式的广泛应用,比如云计算、普适计算等,软件应用的环境从单一性发展到开放性、动态性及多变性,进一步提高了对软件可信性的要求。当今社会是高度信息化的社会,需要的是开发周期短、漏洞缺陷少、运行可信性高的软件。因此,如何在短时间内开发出适合当今软件环境的更安全、更可信的软件,是一个亟待解决的问题针对软件设计中存在的问题,本文分析和总结了可信软件设计的相关理论及相关评价方法的国内外研究现状。根据构件自身的独立性和封闭性的特点,提出了基于构件关系的可信软件设计与评价方法。该方法从构件关系的角度进行软件设计,将软件划分成若干个构件,根据构件关系将软件转化成具有层次的构件树,计算软件的可信性;另外,计算出对软件可信性变化影响最大的重要构件,通过提高重要构件的可信性达到快速提高软件可信性的目的。最后,通过实验验证了该方法的可行性及合理性。