方向明

摘 要：现在有很多电力生产的管理系统存在着不能如期完成实施、隐形不稳定和功能可用性不强等可信问题、那么如何让电力生产管理系统达到，可信、分级、可信证据度量和获取证明等，如何在规则指导下进行可信构造的方法，如何在电力生产管理系统的发展中加大系统可信性研究的重要性，本文将以上全部讲解另外支出可信构造方法对于提高电力生产管理系统的效率与可信分析及升级演化建立坚实的基础。

关键词：系统管理的分析；可信构造分析

一、可信构造的工作方法

首先我们先建立可信分析的逻辑性框架，可信分析主要包括可信评估和可信证明这两个部分，可根据可心评估和可信证明的结果生成的最终报告对系统给出相应的可信分析结论。在我们对系统进行可信分析之前，应该先根据系统的应用需求确定可信的属性模型，也就是实际应用中关注的系统的可信属性的集合，然后我们才可以进行下一步可心分析。电力行业所关注的可信属性一般都是：可用、可靠、安全、可维护、可生存、使用性等等，特别针对系统不同的应用环境和应用需求，以及电力生产的不同时期，我们所关注的可信属性及关注程度也是各有不同的，因此我们首先要充分的去分析系统的应用环境和需求，然后在提取对各类可信属性的要求等，在定义可信属性的模型。

我们先说一下工作模式，电力生产管理系统的可信构造是源于可新技术的基础支持平台之上导致的，如今基础支持平台里还包括了支持可信构造的各种技术和已经通过研究的结果，比如说：数据的处理方法、流程的管理方法、模型驱动的方法。构件服务技术、过程管理的方法、可信保障、形式化等等。所谓着重平台也是为了我们构造可信的电力生产管理系统最基本的大力支持，而我们电力资源库里所包含的各类资源例如：电力资源的各种模型、与系统有关的各种文档、对于资源的维护和可信评估等等，还有一点就是如果我们的系统主要辅助领导进行数据的统计分析和趋势的预测，则易用性和稳定性更加重要一些，所以我们要首先充分的分析系统环境和需求，然后提取对各类可信属性的具体要求，在定义可信属性的模型，这可以导致我们对系统可信性的进一步分析。

二、可信分析

首先建立可信分析的逻辑架构，可信分析主要包括可信评估和可信证明两个部分，根据可信评估和可信证明的结果能够生成最终的可信分析报告，对系统可信性给出分析结论。

2.1 可信属性

对系统进行可信分析之前，需要根据系统的应用需求确定可信属性模型，即实际应用中关注的系统的可信属性的集合，然后才能进行进一步的可信分析.电力行业关注的可信属性一般包括：可用性、可靠性、安全性、可维护性、可生存性、实时性等等，针对系统不同的应用环境和应用需求，以及电力生产的不同时期，所关注的可信属性及关注程度也各不相同，因此，我们首先要充分分析系统的应用环境和需求，提取对各类可信属性的具体要求，定义可信属性模型。

2.2 可信分级

结合电力行业特点，将可信级别定义为从低到高的五个级别：不可信级、可用级、实用级、标准级、证明级.对于不能够进行可信分析或者未通过可信分析的资源，定义为不可信资源；通过基本的可信分析，软件基本达到预期的功能，定义为可用级；通过可信分析，并已经处于实际运行状态，有实际的应用示范工程，运行效果良好，定义为实用级；不仅通过可信分析并有成功的应用示范工程，而且通过权威的标准化组织的认证，成为一定范围（如行业、国家或者国际）内的规范标准，定义为标准级；资源不仅通过可信分析，而且能够使用形式化工具进行证明，定义为证明级。显然，证明级是可信分级中的最高级别，但是，实际应用中，资源可信性的完全证明一般是比较困难的。

2.3 可信证据度量和获取软件

可信性就是指软件对于各个可信属性的满足程度，下面结合电力行业的实际应用，按照四个层次举例说明如何对可信属性进行度量并获取相关的证据，可信证据的提取可能使用一些测试工具进行客观的评估，也可能需要使用调查表格来获取用户评价等一些主观的证据。

2.3.1实现层。

这里主要对实现层的证据进行度量和获取，实现层主要是指系统底层的实现代码、模型和文档等等，例如：对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在bug、死锁和内存泄露等问题进行检查，提取代码的正确性证据；对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。

2.3.2功能层。

这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能；也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。

三、可信证据度量和获取

3.1 实现层

这里主要对实现层的证据进行度量和获取，实现层主要是指系统底层的实现代码、模型和文档等等，例如：对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在bug、死锁和内存泄露等问题进行检查，提取代码的正确性证据；对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。

3.2 功能层

这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能：也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。

3.3 框架層

这里主要对框架层的证据进行度量和获取，框架层的含义是指系统整体是否能够很好的与用户或其他应用进行交互，是否能够很容易的安装、维护和集成，是否具备很好的兼容性。

3.4 规范层这里主要对规范层的证据进行度量和获取，规范层的含义是指系统遵循的编码规范、过程管理规范等各种规范。

四、结束语

随着现代科技的不断发展，计算机的不断更新。社会对于可信软件的要求也越来越高越来越迫切，然而电力工业作为国民经济和社会发展的基础产业，计算机软件的可信性对于电力生产管理系统的控制管理生产进度也有课一定量的可见的进步程度，展望未来，随着科新需求的日益增加和可新技术的不断发展，不断的进步可新技术必然会应用于大规模的工业化生产实践中。

参考文献

[1]欧阳建权，王怀民，史殿习.普适计算的可信研究[J].计算机应用研究，2016，25（2）：3521～3524.

[2]张扬勇.我国电力企业信息化及其水平评价研究[J].福州：福州大学管理科学与工程学院，2016