基于ＰＩ演算和拟合度分析的自律软件可信性度量方法技术

本发明专利技术提供的是一种基于ＰＩ演算和拟合度分析的自律软件可信性度量方法。步骤１）根据软件用途和用户需求构造软件可信行为路径图；步骤２）根据软件实际运行的过程和结果构造软件实际行为路径图；步骤３）使用Ｐｉ演算工具分别对行为路径上的动作进行描述；步骤４）将实际运行的软件行为与软件可信行为进行拟合度分析；步骤５）根据自律软件可信性度量算法对软件可信性进行度量。本发明专利技术的效果体现在：１．该方法适用于多种通用软件。２．该方法原理深刻实现简单。３．该方法采用Ｐｉ演算描述软件动作。４．该方法实现过程容易验证。

【技术实现步骤摘要】
(一)
本专利技术涉及计算机软件可信性测评方法，特别是指一种基于PI演算和拟合度分析的自律软件可信性度量方法。(二)
技术介绍
随着计算机在各个领域的应用，软件的使用已渗透到经济民生和国防军事等重要部门，在信息社会中发挥着至关重要的作用，人们对软件安全的依赖程度越来越高，因而对于其可信性的要求也越来越高。目前，相关研究更多地偏重于软件可信性的定义、属性、体系结构、形式化等方面。但是对于“软件是否具有可信性？”、“软件可信度有多少？”等度量、评价工作还处于滞后状态，要对软件可信性进行深入研究，软件可信性的度量是十分必要的基础性工作。最早的软件可信性研究的是操作软件的可信性分析，研究已超过20年。随着系统可信性研究的发展和软件应用的广泛性，软件可信性研究在理论和技术上都有了一定的发展，软件可信性的度量也随之提到研究日程中。国外对软件可信性方面的研究大多数包含于(高)可信软件的研究中，更多的是研究软件可信性的属性、内涵和分类，或从不同的角度如：软件失效、软件可靠性等方面对软件可信性进行一定的研究，而对软件可信性度量研究的人较少。国内对软件可信性研究也主要集中在软件可信属性，形式化等方面。作本文档来自技高网...

【技术保护点】
一种基于ＰＩ演算和拟合度分析的自律软件可信性度量方法，其特征是：　步骤１）根据软件用途和用户需求构造软件可信行为路径图；　步骤２）根据软件实际运行的过程和结果构造软件实际行为路径图；　步骤３）使用Ｐｉ演算工具分别对行为路径上的动作进行描述；　步骤４）将实际运行的软件行为与软件可信行为进行拟合度分析；　步骤５）根据自律软件可信性度量算法对软件可信性进行度量。

【技术特征摘要】
1、一种基于PI演算和拟合度分析的自律软件可信性度量方法，其特征是：步骤1)根据软件用途和用户需求构造软件可信行为路径图；步骤2)根据软件实际运行的过程和结果构造软件实际行为路径图；步骤3)使用Pi演算工具分别对行为路径上的动作进行描述；步骤4)将实际运行的软件行为与软件可信行为进行拟合度分析；步骤5)根据自律软件可信性度量算法对软件可信性进行度量。2、根据权利要求1所述的基于PI演算和拟合度分析的自律软件可信性度量方法，其特征是：所述的构造软件可信行为路径图的方法为：根据TCG的可信性定义和动作、行为定义，将软件用途中所规定的动作，即用户使用此软件的目的进行分解，得到由动作组成的软件可信行为路径图。3、根据权利要求2所述的基于PI演算和拟合度分析的自律软件可信性度量方法，其特征是：所述的软件实际行为路径图构件过程为：根据动作和行为的...

【专利技术属性】
技术研发人员：王慧强，赵倩，吕宏武，易慧芳，冯光升，
申请(专利权)人：哈尔滨工程大学，
类型：发明
国别省市：93[中国|哈尔滨]