1可信构造的工作方法
首先我们先建立可信分析的逻辑性框架，可信分析主要包括可信评估和可信证明这两个部分，可根据可心评估和可信证明的结果生成的最终报告对系统给出相应的可信分析结论。在我们对系统进行可信分析之前，应该先根据系统的应用需求确定可信的属性模型，也就是实际应用中关注的系统的可信属性的集合，然后我们才可以进行下一步可心分析。电力行业所关注的可信属性一般都是：可用、可靠、安全、可维护、可生存、使用性等等，特别针对系统不同的应用环境和应用需求，以及电力生产的不同时期，我们所关注的可信属性及关注程度也是各有不同的，因此我们首先要充分的去分析系统的应用环境和需求，然后在提取对各类可信属性的要求等，在定义可信属性的模型。通过了解到电力生产管理系统的可信构造方法的研究当中，我们要先确定所需要的技术支持平台，也就是所谓的可信技术。
现在有些地方已经将电力生产管理系统的可信度取得了一定的成就，为我们构造了可信性的工作形式提供了必要的技术支持。我们先说一下工作模式，电力生产管理系统的可信构造是源于可新技术的基础支持平台之上导致的，如今基础支持平台里还包括了支持可信构造的各种技术和已经通过研究的结果，比如说：数据的处理方法、流程的管理方法、模型驱动的方法。构件服务技术、过程管理的方法、可信保障、形式化等等。所谓着重平台也是为了我们构造可信的电力生产管理系统最基本的大力支持，而我们电力资源库里所包含的各类资源例如：电力资源的各种模型、与系统有关的各种文档、对于资源的维护和可信评估等等，还有一点就是如果我们的系统主要辅助领导进行数据的统计分析和趋势的预测，则易用性和稳定性更加重要一些，所以我们要首先充分的分析系统环境和需求，然后提取对各类可信属性的具体要求，在定义可信属性的模型，这可以导致我们对系统可信性的进一步分析。
2可信证据的获取
据现在的科技发展情况来看，软件的可信程度就是指软件对于各个可信属性的满足程度，如果软件出现了错误或者漏洞，就会严重的影响了电力生产系统的可靠运行。所以必须提高电力生产管理系统的可信程度，增强系统得考靠运行就要运用可信任可靠的软件系统，软件的可信性是指计算机软件系统能够满足用户的期望，所以相对科学工程而言，电力生产管理系统的可信度也相对提高，如果说想要有效的对电力生产管理系统进行可信构造，还需要建立起电力生产的管理系统。由于电力生产企业与其他生产企业相比有着很大的不同，它的独特行业特点促使电力生产管理系统运行的质量运行时对系统的实施过程有很大的依赖性。为此，当我们构建电力生产管理系统的时候还必须要整理相对应的建立系统实施过程管理系统，只有这样全面的改革才能做到系统的科学全面管理。另外，在电力生产管理人员进行系统的培训是必要的，而且一定要做到严格，这样可以加快系统的构建与实施，制定具体的系统实施方案也可以在很大程度上帮助系统的建立，为系统的可信构造创造了非同一般的有利条件。根据电力生产管理系统的可信构造的实际应用，我们可以依照四个方面来说明怎样对可心属性进行度量并且获取有关证明，可信证明的提取一般情况下会通过一些测试工具进行客观的评估，也可能需要使用调查表格来获取用户评价等一些主管的证明结果。第一方面：实现方面，在这点主要是对实现方面的证明进行度量和获取，事项方面主要是指系统底层的实现代码、模型和文档等。例如：对于系统的代码的正确性度量，我们可以用一下对代码是否存在Bug、死锁或者内存泄漏等问题进行检测的工具。
同时我们也可以用一些对待是否按照标准运行、缩进、准命名、或者添加注释等问题进行检查的工具，提取代码的规范性证明。另外一点就是功能点，在这个点所体现的是对功能的证明进行度量和获取，功能点包含的是指是否能够达到预期的标准，是否能满足用户的功能；是否可以通过计算可测试的功能比率，来度量和提取功能的评估性证明。接下来就是我们之前提到的框架这里同其他一样同是对该点的证明进行度量和获取，框架的含义是指系统整体是否能够很好的在用户或者其他应用进行交换，是否能够轻易的安装，维护和集成。是否拥有高度的兼容性，比如我们可以通过计算系统来度量和提取软件的兼容性证明：也可以通过调查用户容易使用的功能比例，来度量和提取软件的易用性证明。最后一点也是最基本的一项，这里主要是对规范的证据进行度量和获取，规范意思就是系统遵循的编码规范、过程管理规范等各种规范，例如：确定软件开发过程是遵循ISO 9000的标准或者CMMI标准，度量和提取软件开发的认可性证明：确定了系统应用与个人或者企业等，度量和获取软件应用的广泛性证明。那么可信证明又有什么含义呢？在前面介绍的可见系统可信性的证明是非常困难，很多时候并不能够获取相应的所需资源，而可信证明何可欣的评估是同时进行的，我们这里才用一系列的规则来控制可信证明得过陈，在证明分析规则的知道过程下提取证明所需要的资源：在描述下基于形式化明星对系统进行形式化的描述，生成系统的形式化表明：在证明规则的指导下进行演算，对系统的可信性进行证明。最后的最后使用的规则都是保存在电力资源库中的，这些规则同样包含了丰富的行业知识。
3结束语
随着现代科技的不断发展，计算机的不断更新。社会对于可信软件的要求也越来越高越来越迫切，然而电力工业作为国民经济和社会发展的基础产业，计算机软件的可信性对于电力生产管理系统的控制管理生产进度也有课一定量的可见的进步程度，展望未来，随着科新需求的日益增加和可新技术的不断发展，不断的进步可新技术必然会应用于大规模的工业化生产实践中。
作者：汪琨 单位：国网安徽无为县供电有限责任公司
