| 基于UML顺序图的安全苛求软件安全性分析 |
| |
| 引用本文： | 黄奕君,徐中伟.基于UML顺序图的安全苛求软件安全性分析[J].计算机工程,2008,34(22):37-39. |
| |
| 作者姓名： | 黄奕君 徐中伟 |
| |
| 作者单位： | 同济大学电子与信息工程学院,上海,201804 |
| |
| 基金项目： | 国家自然科学基金资助项目(60674004) |
| |
| 摘 要： | 安全性分析对于确保开发出符合安全性需求的软件系统非常重要。该文从安全苛求软件的建模特点出发，分析现有的安全性分析方法和UML建模语言在安全苛求软件方面的应用及优缺点。针对UML面向安全性需求建模的不足，对顺序图增加了安全性描述方法。通过车载ATP系统的建模应用验证其可行性与有效性。
|
| 关 键 词： | 安全苛求软件 安全性分析 形式化描述 |
| 修稿时间： | |
Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams |
| |
| HUANG Yi-jun,XU Zhong-wei.Safety Analysis of Safety-critical Software Based on UML Sequence Diagrams[J].Computer Engineering,2008,34(22):37-39. |
| |
| Authors: | HUANG Yi-jun XU Zhong-wei |
| |
| Affiliation: | (School of Electronics & Information Engineering, Tongji University, Shanghai 201804) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
