快堆PLC软件可靠性评估方法初步研究.pdfVIP

维普资讯 重大核科学工程 ·中国实验快堆 13 b 图1 爆破膜温度场 a一 项部不存在氩气； 顶部存在氩气 暑 g ＼ 龌 温度 ／~C 图2 高度方向温度 曲线 ·——爆破膜内存在氩气；▲——爆破膜内不存在氩气 快堆 PIG软件可靠性评估方法初步研究 乔雪冬，胡文军，杨红义 中国实验快堆的仪控系统是 由可编程控制器构成的控制系统，由硬件系统和软件系统两部分组 成，其控制能力的强弱，控制效果的好坏是 由软、硬系统两方面共 同决定的。因此，在 良好的硬件 特性的基础上，保证 PLC软件部分设计的可靠性是快堆仪控系统设计的关键 。 软件可靠性是软件系统的固有特性之一，它表明了一个软件系统按照用户的要求和设计的目 标，执行其功能的正确程度。软件可靠性与软件缺陷有关，也与系统输入和系统使用有关。实际上， 任何软件都不可能达到百分之百的正确，而且也无法精确度量 。一般情况下，只能通过对软件系统 进行测试来度量其可靠性。软件 的失效率可 由软件功能失效次数与总的运行时间的比来表示 。 快堆 PLC系统软件进行复杂的逻辑表达和控制，与个人电脑程序软件相比也具有其特有的性 质，包括编写基于低级语言、子程序段一般 内容较短、值域和定义域明确等特点，利于进行穷举法 的黑箱测试来完成可靠性评价。 软件测试所得到的数据经过处理以后，可用来作为评估软件系统是否满足用户需求的依据。软 件测试阶段的信息流示于图1。 维普资讯 14 中国原子能科学研究院年报 2007 软件配置 测试配置 图1 软件测试的流程 目前为止，软件可靠性和软件测试仍是一项需要不断探索的综合性学科。为适应快堆工程设计 和安全性评价的需求，并借鉴了许多国内外优秀软件可靠性方法，提出了基于蒙特卡罗随机抽样的 软件可靠性测试的思路。实践表明，这种方法较适用于钠水反应事故信号系统的软件部分的可靠性 分析。其它行业工业用可编程控制器也具备 目的性强、输入参数范围明确等特点，同样适合利用软 件可靠性测试方法进行评价分析 。 以钠水反应事故信号系统的数字控制逻辑为例，采用 Java语言进行测试程序的编制。程序的 主要思想是：利用蒙特卡罗方法进行随机抽样，在满足抽样次数足够多的前提下，可保证样本空间 的覆盖性。根据被测软件系统的主要功能分别对大、小钠水反应信号模块和阀门开关功能模块进行 测试。利用同余法产生7个随机数分别模拟大泄漏的7个探测点的模拟量信号，或6个随机数分别 模拟小泄漏探测点，或阀门控制的断续信号，输入待测软件程序模块中，并将程序输出结果记录下 来进一步验证 。为避免测试程序功能缺陷带来的不确定性，对测试的结果只记录、不判断，被测程 序输 出结果需要人工或采用其它方法归纳总结，这样可保证测试结果的可信性 。本次测试进行了 lx10次的需求检验，计算值与真实值完全符合，可确定该软件功能的可靠性能够达到设计要求， 平均失效概率在 101 以下。在进行测试的过程中，由于考虑到样本空间的覆盖性，将各探测点的 模拟参数看作是完全不相关的，这与真实情况不符，这是因为各测点所监控的对象是同时同状态的， 探测到的运行参数变化规律也应大致相同。将测试参数设置为非相关可扩大条件的多样性，避免样 本重复和不足，提高了测试效率。