核电站安全级DCS系统及软件安全分析

本文提出了核电站安全级DCS工程设计和实施中所需开展的安全分析活动,保证安全级DCS系统及应用软件的功能安全。通过系统及应用软件生命周期内的危害分析活动,将可能影响系统及应用软件功能安全的危害和风险进行识别和评估分析,将危害和风险消除或控制在可接受范围内,确保核电站安全稳定运行。

基于组合测试的V&V单元测试用例设计研究

核电安全级应用软件的特点包括:复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。