随着Internet重要性的不断增长,软件产品对于安全性的需求也越来越高。安全软件工程对构建安全的软件给出了一些方法和规范,需要搭建一个可扩展的安全软件集成开发环境,对软件开发的各个阶段提供安全支持。本文研究软件系统设计和编码阶段系统漏洞检测方法和工具。本文将软件进行攻击的过程抽象为攻击模式,并针对攻击模式的不同表示方式,对其建立了不同的系统漏洞检测模型,分别用于进行安全问题的检查。构建了一个攻击模式库,在存储攻击模式相关信息的同时,可供用户查看,编辑,以及普及安全知识。设计并实现了分别在设计和编码阶段使用的系统漏洞检测工具。该工具搭建在Eclipse环境之上,以Eclipse插件的形式存在。设计阶段的检测工具将攻击模式用在一次攻击中涉及到的系统部件的序列,即一个正则表达式来表示,并据此建立了攻击模式的模型。然后将通过分析系统的类图得到的系统各个模块的信息与模型进行比较,从而完成对系统类图设计的安全性检查。编码阶段的检测工具则对有限状态自动机形式表示的攻击模式建立了模型,再利用程序的控制流图将程序源码建模为下推自动机,最后使用模型验证算法来验证这两个模型,根据此检测结果来判定代码中是否存在安全漏洞。本文给出的系统漏洞检测工具可以发现设计文档和编码文件中潜在的安全漏洞,对构建安全的软件设计,减少代码中的安全漏洞有积极的作用,可大大降低安全软件的开发成本。