基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。

柔性汉字输入工具FCCIT

给出了FCCIT的系统结构、设计与实现、性能评价。FCCIT针对传统CCDOS所固有局限性,提出了以文法分析树来解决拼音码输入中的简拼和全拼之间的自动转换问题,以及用位自动填补机制、区位码向拼音码的转换等来克服区位码输入中的诸多不足。另外,FCCIT也较好地协调了字库的内存占用和汉字响应速度之间的关系。