论文部分内容阅读
软件是计算机系统的灵魂,是信息化系统的核心以及互联网应用的基石。现代信息化社会对于计算机系统的依赖主要体现在对软件的依赖。近年来,随着软件技术及产业的飞速发展,软件在信息社会中发挥着越来越重要的作用,软件可信性问题已经成为当前研究中的重点。
本文将动力系统理论的基本思想与软件可信性有机结合起来,探讨软件可信性的基本科学问题。
首先,本文详细阐述了不同的软件可信性的定义,建立了不同的软件可信性属性模型深入理解软件可信性的内涵,并给出了软件可信等级划分、影响软件可信性的因素以及软件可信性当前的研究重点。
其次,本文概述了软件可信性评估尤其是软件可靠性度量的研究成果,给出了软件可信性评估的方法及其软件可信性评估指标体系。
再次,本文利用动力系统理论的思想、方法为软件可信性演化构建动力学模型并进行复杂性分析,将软件系统的可信性对应为软件系统在动态开放环境下其行为的统计特性。
最后,本文通过实例模型分析说明软件系统可信性的动力学特征,并通过Lyapunov指数方法给出了软件可信的必要条件。