安全评价工程软件的研究与开发

论文摘要

在工业化生产规模的日益扩大过程中,生产中凸显的安全问题日益成为一个十分重要的问题。目前基本是通过安全分析的方法,对潜在安全隐患进行测评,提出解决方案。此类软件可分为两大类：一是项目管理类软件,二是计算机自动推理软件。然而,管理软件不具备自动推理的功能,得到的结论也只是管理人员根据数据人工评价得出的结论。而计算机自动安全评价推理软件都难以保证结论的有效性和正确性。本文旨在综合两种软件的功能,设计一套分析流程和软件构架,提升安全评价软件的可操作性、有效性和可控性。本文在汲取国内外安全评价项目管理软件和计算机自动安全评价软件经验的基础上,设计了一套分析流程及软件架构,首先使用UML(统一建模语言)建模技术来设计和描述系统,提出了一个模块化、图形化、层次化的软件框架方案。然后根据系统需求,完成了功能模块的开发,数据库的设计和人机交互界面的设计同时该软件可以使用户根据需要引入其他第三方辅助分析软件,使得本软件具有灵活性好、效率高、完备性高、可添加改进措施、可对所有引导词进行评价的优势。经测试该软件具有一定的应用价值。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 1.1 课题研究的背景及意义
• 1.2 常用安全评价方法
• 1.3 国内外研究现状
• 1.4 本论文的主要内容
• 第二章 人工安全评价方法
• 2.1 HAZOP基本原理
• 2.2 HAZOP分析实施流程
• 2.3 HAZOP方法的优缺点
• 第三章 安全评价工程软件的分析与设计
• 3.1 需求分析
• 3.1.1 业务需求
• 3.1.2 用例建模
• 3.2 架构设计
• 3.3 详细设计
• 3.3.1 系统的模块设计
• 3.3.2 动态模型设计
• 3.3.3 静态模型设计
• 3.4 数据库设计
• 3.4.1 概念设计
• 3.4.2 逻辑结构及表的设计
• 3.4.3 小结
• 3.5 人机交互界面设计
• 3.5.1 人机交互界面设计准则
• 3.5.2 人机界面设计流程
• 3.5.3 人机界面的面向对象设计
• 第四章 安全评价工程软件的实现
• 4.1 软件框架的搭建
• 4.1.1 软件基础类架构
• 4.1.2 客户区框架划分
• 4.1.3 逻辑控制类的实现
• 4.2 数据库模块的实现
• 4.4 辅助工具的实现
• 4.4.1 蒙德法的介绍
• 4.4.2 蒙德法的改进
• 4.4.3 蒙德法工具的实现
• 第五章 软件测试
• 5.1 测试目的
• 5.2 测试环境
• 5.3 测试过程
• 5.3.1 对象过程描述
• 5.3.2 变量关联
• 5.4 测试结果及分析
• 5.5 测试总结
• 第六章 结论与展望
• 致谢
• 参考文献