公开(公告)号：CN101464832A

公开(公告)日：2009-06-24

申请号：CN200910071286.1

申请日：2009-01-16

Applicant: 哈尔滨工程大学

Inventor： 王慧强 ,  赵倩 ,  吕宏武 ,  易慧芳 ,  冯光升

IPC: G06F11/36 ,  G06F21/22

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

公开(公告)号：CN101464832B

公开(公告)日：2011-01-05

申请号：CN200910071286.1

申请日：2009-01-16

Applicant: 哈尔滨工程大学

Inventor： 王慧强 ,  赵倩 ,  吕宏武 ,  易慧芳 ,  冯光升

IPC: G06F11/36 ,  G06F21/22

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