JB∕T 13775-2020 工业机械电气设备及系统 数控系统软件白盒测试规范.pdf

ICS25.040.20

J09同J:j

中华人民共和国机械行业标准

JB厅、13775-2020

工业机械电气设备及系统

数控系统软件臼盒测试规范

Electricalequipmentandsystemofindustrialmachines-Specificationfor

numericalcontrolsystemsoftwarewhite-boxtesting

2020-08-31发布2021-04-01实施

中华人民共和国工业和信息化部发布

JBff13775-一2020

目次

前言．．．．．…………·…··………··……....……··…日

引言…...……m

l范围“……·…………··………………··········…………1

2规范性引用文件…··…………·……··……………··………1

3术语和定义．．．．．…“……1

4测试对象…...………………·……··…………··………··…··“…2

5测试内容及测试方法．．．．．…·………………··………··………··…………··…··…..2

5.1静态测试……··……··……2

52动态测试….............6

5.3代码安全测试…………………9

6测试方法……····················································…·…·…··…10

6.1代码选择………．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．…I0

6.2测试工具准备………··………··……11

6.3代码安全扫描．．．．．………………··……11

6.4人工审计…··…··………··……··…··………..11

7判定标准…………...………..………··………·······…11

7.1安全问题风险级别及定义……··……··……….....11

7.2源代码测评结果判定．．．．．…………..11

参考文献…………………··………·………··…··……12

图1参考示例程序流程图……………..………7

表1静态结构分析测试项目．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．………2

表2代码质量度量测试项目…………………3

衰3代码检查测试项目H……··….…·························……..……………...…··……3

表4示例程序多条件判定覆盖测试用例………………………··…………j

表5修正条件判定覆盖测试用例……··……··…·····································…………·…··…··…..8

表6Linux操作系统动态内存分析测试项目...………………··…