论文部分内容阅读
在动态系统安全性分析软件设计需求的基础上,采用面向对象的系统分析和集成的思想,组件化和层次化的实现方式,设计和开发了一种动态系统安全性分析软件平台;研究了平台进行动态系统安全性分析工作的主要内容;给出了综合利用各种安全性资料,基础数据,以及知识、模型库等有关信息,使不同种类的安全性分析工具在同一个集成环境中方便地集成,不同层次上的分析工具在不同阶段有效运行的软件框架。