论文部分内容阅读
安全性作为软件系统的重要属性，越来越受到人们的重视．在软件开发的早期对安全性进行评估，对软件的质量控制和成本控制有着重要意义．当前的软件安全性评估主要依靠专家评审，结果的客观性及准确性常常受到专家主观意见的影响．通过使用通用知识作为评估依据，提出一种可以对UML顺序图形式的软件设计文档进行自动化分析的方法，可以发现软件设计中潜在的安全性漏洞．该方法可以减少结果中的主观性，同时，通过基于该方法的辅助工具的使用，可以大大提高评估效率．