论文摘要：基于动力系统轨道分析的软件可信监测方法

软件是计算机系统的灵魂，是信息化系统的核心以及互联网应用的基石。现代信息化社会对于计算机系统的依赖主要体现在对软件的依赖。近年来，随着软件技术及产业的飞速发展，软件在信息社会中发挥着越来越重要的作用，软件可信性问题已经成为当前研究中的重点。 本文将动力系统理论的基本思想与软件可信性有机结合起来，探讨软件可信性的基本科学问题，为软件可信性评估与度量提供理论基础。首先，本文介绍了在可信计算以及软件可信领域，国内外不同的研究现状，接下来，本文详细阐述了不同的软件可信性的定义，建立了不同的软件可信性属性模型，给出了软件可信的基本要素，以及软件可信性的内涵，同时给出了软件可信等级划分、影响软件可信性的因素以及当前典型的软件可信度量方法。然后，本文利用动力系统理论的思想、方法，为软件可信性演化构建动力学模型并进行复杂性分析。并通过实例模型说明软件系统可信性的动力学特征，并通过实验验证病毒程序在运行过程当中，对内存的消耗过程与动力学方程Logistic映射的对应关系并给出结论。最后，本文结合给出的软件可信动力学模型，充分考虑软件可信性特征，设计并实现了一个软件可信评估系统，以此来评估软件是否可信，并在工业和信息化部软件与集成电路促进中心进行了部署与实施。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/201347.html