近年来,随着人们对安全问题的不断重视与安全保障体系的逐步完善,安全论证受到越来越多的关注。安全论证过程本身具有一定的抽象性,为了使评估者或项目利益者能够理解、审查、讨论、接受安全证明文件,必须清楚地表述整个安全论证过程。GSN (Goal Structuring Notation)是一种用于说明元素及其相互关系的图形化论证符号语言,运用该语言表述论证结构有助于形象、具体、合理地说明系统、运营及组织的安全性能,可以促进评估者及项目利益者对该论证的理解。然而在使用过程中也极易带来语法语义错误、论证结构不完善等问题。本文在研究GSN语言及安全论证的基础上,提出了一种GSN安全论证模型检查结构,建立相应的检查规则库,并以此为依据开发了一套安全论证管理工具。本文首先阐述了安全、安全评估及论证的国内外研究现状,分析存在的问题,继而引出安全论证缺乏完善的检查结构的问题。通过对Safety Case及GSN语言的基本概念进行详细介绍,基于不同检查内容提出一种人为交互式与自动化相结合的检查结构,对GSN模型的语法、结构等进行检查,并运用字符串描述等方法建立对应的规则库。在上述理论研究的基础上,结合项目实际需求,完成安全论证管理工具的功能需求分析及结构分析,确定了管理工具的框架结构及基本功能,并对UI用户界面模块、新建功能模块、机制编辑模块、项目编辑模块、论证图检查模块进行详细的设计与实现,通过程序操作流程和实现界面予以具体论述。最后对工具的功能进行测试,总结论文工作,并对需要进一步研究的问题做出展望。