文档介绍：第 9期电子学报
2010年 9月 ACTAELECTRONICASINICA Sep. 2010
电力生产管理系统的可信构造方法研究
包铁,刘淑芬,王晓燕
(吉林大学计算机科学与技术学院,吉林长春 130012)
摘要: 现有电力生产管理系统存在不能如期完成实施、
一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,
提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构
建、可信分析及升级演化建立坚实的基础.
关键词: 软件工程;可信软件;可信构造;信息管理系统;电力生产
中图分类号: TP3115 文献标识码: A 文章编号: 03722112(2010)09216606
ResearchonaTrustedConstructionMethodforElectricPower
ProductionManagementSystem
BAOTie,LIUShufen,WANGXiaoyan
(puterScienceandTechnology,JilinUniversity,Changchun,Jilin130012,China)
Abstract: Thecurrentelectricpowerproductionmanagementsystemhassomeproblems,forexample,plish
implementationintime,
structedundertheguidanceoftherules,andthemethodincludesfourparts:system construction,system implementationprocess
management,,itprovedthatthetrustedconstructionmethodcouldeffec
tivelyenhancethedevelopmentefficiencyandqualityofelectricpowerproductionmanagementsystem,andestablishasolidfounda
tionforbuildingthetrustedsystem,analyzing,updatingandevolvingit.
Keywords: softwareengineering;trustedsoftware;trustedconstruction;informationmanagementsystem;electricpowerpro
duction
度重视软件可信性问题.
1 引言
当前,可信软件研究已经成为国内外研究的热点,
随着信息化社会的