论文部分内容阅读
计算机教学过程中经常遇到由于软件故障引起的机器死机,导致教学过程中断,这都是由于软件设计本身的缺陷引起的,通过研究,利用提取软件安全特征对软件进行安全性分析是一种有效的分析方法;也是检测软件安全漏洞的一种手段.本文是在提取出安全特征的基础上对软件进行切片,使切片后的功能和之前的功能完全相同,这样可以大大缩小了检测范围,更容易的找出漏洞,并且通过实例验证.