《表1 主要变异算子的定义》
在变异算子设计方面,借鉴变异测试的思想,针对故障注入目标和数据类型的特点,设计相应变异算子.变异算子的定义为:变异算子是一个利用转换函数进行变异测试的思想,进行故障注入的函数.该函数使用变异参数p,对种子数据td(td∈L(G))中由f指定的数据字段进行修改,从而产生一个非法数据td(td L(G)或者td∈L(G),但部分字段值处于约束边界).每个变异算子需要作用在一种数据类型之上.本文针对XSD中数据类型设计了14种变异算子,如表1所示.
图表编号 | XD00127944100 严禁用于非法目的 |
---|---|
绘制时间 | 2019.12.01 |
作者 | 丁冉、丁峰、周芳 |
绘制单位 | 信息系统工程重点实验室、信息系统工程重点实验室、信息系统工程重点实验室 |
更多格式 | 高清、无水印(增值服务) |