一种核安全级DCS软件工作信赖度的评估方法及系统

    公开(公告)号:CN108492018A

    公开(公告)日:2018-09-04

    申请号:CN201810216528.0

    申请日:2018-03-16

    IPC分类号: G06Q10/06 G06Q10/10 G06Q50/06

    摘要: 本发明公开了一种核安全级DCS软件工作信赖度的评估方法,包括:获取软件工作过程中的人员参与流程和测试工具实现流程;评估所述人员参与流程的不确定度,获得人员不确定度;评估所述测试工具实现流程的不确定度,获得测试工具不确定度;根据所述人员不确定度和所述测试工具不确定度合成软件工作不确定度,以评估软件工作信赖度。本发明还公开了一种核安全级DCS软件工作信赖度的评估系统。本发明能够定型地评估核安全级DCS软件工作的信赖度,保证核安全级DCS软件正确实现其预定安全功能。

    一种规模软件的测试系统及方法

    公开(公告)号:CN106547695A

    公开(公告)日:2017-03-29

    申请号:CN201610947172.9

    申请日:2016-10-26

    IPC分类号: G06F11/36

    CPC分类号: G06F11/3676

    摘要: 本发明公开了一种规模软件的测试系统及方法,该测试系统包括:向量生成模块,用于针对被测对象采用功能驱动和随机测试的方法生成测试向量;监测模块,用于根据所述生成测试向量,监测所述被测对象的测试目标集的路径覆盖率,并在监测到所述测试目标集的路径覆盖率达到临界状态时,搜索并获取所述被测对象的测试目标集未被覆盖的路径;以及,模型计算模块,用于根据所述测试目标集未被覆盖的路径建立数学模型,对所述数学模型求解获得所述测试目标集未被覆盖的路径的测试向量。本发明提供一种简洁的测试向量集构建方案,能够提高测试目标集的覆盖率,且提高测试可靠性和测试效率。

    碳化硼粉末表面化学镀铜的方法及其化学镀液

    公开(公告)号:CN103805976A

    公开(公告)日:2014-05-21

    申请号:CN201310628926.0

    申请日:2013-11-28

    IPC分类号: C23C18/40 C04B35/628

    摘要: 本发明公开了一种碳化硼粉末表面化学镀铜用化学镀液,以浓度计,含有15-20g/L硫酸铜、20-30g/L乙二胺四乙酸二钠、10-15g/L酒石酸钾钠和15-20ml/L水合肼,化学镀液的pH值为12-13。本发明碳化硼粉末表面化学镀铜用化学镀液中的还原剂为水合肼,价格低廉且不会污染环境,在碱性条件下具有很强的还原能力,氧化产物是干净的N2,不会引入杂质金属离子;络合剂为酒石酸钾钠和乙二胺四乙酸二钠,对环境污染小且络合能力强,可在高温强碱下长时间保持镀液稳定。此外,本发明还公开了一种碳化硼粉末表面化学镀铜的方法,其可以在碳化硼粉末表面形成一层纳米级均匀、致密的铜镀层,可有效降低碳化硼粉末与金属基材的润湿角和界面反应。