安全软件工程是对软件工程的发展,它是对怎样构建安全的软件给出了一定的方法和规范,这需要搭建一个安全的软件集成开发环境,对软件开发流程的各个阶段给予安全支持。本文研究软件系统需求和设计阶段系统漏洞检测方法和工具的实现。对系统的漏洞检测基于UML,总体上可以分为两个大的部分,一是需求阶段漏洞检测,一是设计阶段漏洞检测。需求阶段的漏洞检测主要是对用户绘制出的用例图进行检测。首先需要对argouml工具进行扩展,使之能够识别新添加的误用例,缓和用例,威胁关系和缓和关系。通过对用例图的扫描收集到用例信息,和已建成的缺陷知识库中的误用例进行连接,检查用例图中的用例是否有被误用例攻击的可能,然后把相关的误用例和缓和用例添加到该用例图中,最后再用argouml工具读取这个生成的用例图,为用户生成一副带有完整误用例信息和缓和用例信息的图。设计阶段的漏洞检测主要是对用户绘制的顺序图进行检测。顺序图描述了对象之间消息的传送,表示用例中的行为顺序。通过对顺序图的扫描收集到对象和消息信息,并将这些信息建模成有限状态自动机,然后提取出其中所有的路径,和已建立好的缺陷知识库中的攻击模式库进行连接,检查是否有攻击路径存在,如果有,给出提示信息。为了更好的和缺陷知识库中的攻击模式库进行匹配,需要扩展argouml工具,使之能够添加和提取对象的组件信息和消息的事件信息。这是为了从更高的抽象层提取出路径信息。系统漏洞检测工具可以用来检测需求和设计中潜在的安全漏洞,以便尽早的发现系统的缺陷,对减少代码中的安全漏洞有积极的作用,可大大降低软件的开发成本。