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

摘要

本发明提供的是一种基于PI演算和拟合度分析的自律软件可信性度量方法。步骤1)根据软件用途和用户需求构造软件可信行为路径图；步骤2)根据软件实际运行的过程和结果构造软件实际行为路径图；步骤3)使用Pi演算工具分别对行为路径上的动作进行描述；步骤4)将实际运行的软件行为与软件可信行为进行拟合度分析；步骤5)根据自律软件可信性度量算法对软件可信性进行度量。本发明的效果体现在：1.该方法适用于多种通用软件。2.该方法原理深刻实现简单。3.该方法采用Pi演算描述软件动作。4.该方法实现过程容易验证。

主权项

1、一种基于PI演算和拟合度分析的自律软件可信性度量方法，其特征是：步骤1)根据软件用途和用户需求构造软件可信行为路径图；步骤2)根据软件实际运行的过程和结果构造软件实际行为路径图；步骤3)使用Pi演算工具分别对行为路径上的动作进行描述；步骤4)将实际运行的软件行为与软件可信行为进行拟合度分析；步骤5)根据自律软件可信性度量算法对软件可信性进行度量。