公开(公告)号：CN105184170A

公开(公告)日：2015-12-23

申请号：CN201510599859.3

申请日：2015-09-21

Applicant: 吉林大学

Inventor： 包铁 ,  韩璐 ,  刘淑芬 ,  姚志林 ,  张欣佳 ,  李兵 ,  曲明

IPC: G06F21/57

CPC classification number: G06F21/577 ,  G06F2221/033

Abstract: 本发明公开了一种基于形式化程度的领域软件可信性评估方法，包含以下步骤：步骤(1)建立需要考察的领域软件特性的属性模型；步骤(2)选择与属性相关的证据，自定义运算逻辑，建立评估模型；步骤(3)根据评估需求，基于评估模型，自定义映射条件，建立可信等级模型；步骤(4)对选择的领域软件证据进行形式化分析，基于评估模型度量软件的形式化程度，通过与等级模型的匹配和映射，对领域软件的可信性进行评价。本发明充分考虑了领域软件的通用属性和领域特性，将形式化程度的分析引入到领域软件的可信性评估中，使评估结果具有更高的可信度，同时，通过建立属性模型、评估模型和等级模型，能够为领域软件可信性分析及后续研究提供更加有力的支持。

公开(公告)号：CN100488116C

公开(公告)日：2009-05-13

申请号：CN200610016764.5

申请日：2006-04-13

Applicant: 吉林大学

Inventor： 刘淑芬 ,  包铁 ,  姚志林 ,  李庆新 ,  孙凯

IPC: H04L12/24

Abstract: 本发明的基于规则的电信领域网络数据采集处理系统及实现方法属于电信网络管理领域。所说的网络数据采集处理系统，包括规则定制部件和规则验证部件和规则应用部件三部分。实现方法的步骤包括：建立采集规则；正确划分数据的结构；建立数据处理规则；建立数据转发规则；确定采集特定参数和过程模板定义一个具体的采集过程，系统开始对网络数据采集和处理的过程。基于规则的网络数据采集处理系统使用规则来封装网络数据的采集和处理逻辑，容易表达网络多种多样的数据采集方式和处理要求。同时系统也具有更大的灵活性和更高的效率，实现了业务逻辑和过程的分离，用户可以针对具体网络情况定制具有良好可读性的规则。