1、ICS 27. 120. 99135. 080 F 82 备案号：1943-1998E.J 中华人民共和国核行业标准EJ/T 1058-1998 eqv IEC 880: 1986 核电厂安全系统计算机软件Software for computers in the safety systems of nuclear power plants EWEEEE句111aBEa- . ，VlaEEEE目Ill- . ,a EESa EIaEEIHHH川川川呻EA斗ll们川川川川吁同uaEEa配配川们川川唱4川川川MUUOUHHHHH川MEnuatt配UUUhJHMMMmmmm晴圆E14EE-EEEmn
2、r县拍干第8、9或7工市fl冒羔定时测试13 检查所有的时间约束定时错误，计算时间总是执行士提14 中断序列的最大可能组合组织性错误如果数量不太大14a 所有有意义的中断序组织性错误总是执行3日Llgil会其他15 检查所有输入数据空错误的输入数据空如果使用模拟输入输入数据子域的数量1日出霖的IF确位曾阳的量ll4t和种类要由分析发现16 检查在所有临界点上数值错误，算法错如果计算机字长较算术运算的精确性误，舍入错误短g使用了复杂的运算17 对模块接口与模块阅模块之间不正确的总是执行受欢迎的测试辅助手交互作用的测试仅就数据传送段程序部分进行每个模块至少调用一模块之间不正确的总是执行l 7a 次
3、控制流与不正确的17b 对一个模块的各种调数据流，但不保证用至少执行一次总是执行E4.3统计测试统计测试见表E347 i序号测试种类1 对每种输入数据组合（以在线运行时间样的概率）测试n次2 对每种输入数据组合（以同等概率）测试n次3 对每项程序特性以同等概率测试，测试n个特性4 作n次运行，其中每次运行中任何潜在的错误都能以相等的概率探测到5 同第3项，N个程序特性，n次测试，nN个随机选择的特性（带返回6 n个在h维程序输入域上随机分布的测试点Fl 与软件制作有关的文件EJ/T 1058-1998 表E3探测到的错误的种类执行每项要求的失效概率sP 软件修改控制档案10. 2. 4Jl0.
4、 3. 4 1)在维护阶段产生的文件2）在生产阶段产生的文件49 EJ/T 1058-1998 F3 与软件实现有关的文件结构与软件实现有关的文件结构见图Fl图F3。软件寿期系统要求软件要求软件设计编码！硬件软件综合f计算机系统鉴- - - Ms 唱Ms- M1 图Fl软件生成（见正文第47章及11.3) 50 EJ/T 1058-1998 软件寿期系统要求软件要求| 软件设计编码硬件软件综合l计算机系统鉴定民工试运行使用维护阶段标志噜M1 - Mz - - M, - - - M. - - - - Ms - - - - - - M6 - . M1 图F2系统综合（见正文第8、9、11章）51 EJ/T 1058-1998 软件寿剿系统要求l软件要求！软件设计l编码硬件软件综合l计算机系统鉴定交工试运行！使用维护阶段标志Mt - -M2 - -申M3- -M-Ms-申M一一一一一与软件修改有关的文件52 i交付使用l图F3修改（见正文第10章AW矶时的。时同同国
