| SCADE模型驱动开发过程研究及高安全性分析 |
| |
| 引用本文： | 李虎,马晋,郑凤,张鹏程.SCADE模型驱动开发过程研究及高安全性分析[J].航空电子技术,2013(1):15-19. |
| |
| 作者姓名： | 李虎 马晋 郑凤 张鹏程 |
| |
| 作者单位： | 中国航空无线电电子研究所 |
| |
| 摘 要： | 本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。
|
| 关 键 词： | 统一软件开发过程(RUP) 敏捷开发 模型驱动开发(MDD) 高安全性应用程序开发环境(SCADE) 高安全性软件 |
SCADE Model-driven Development Process Research and High Security Analysis |
| |
| LI Hu,MA Jin,ZHENG Feng,ZHANG Peng-cheng.SCADE Model-driven Development Process Research and High Security Analysis[J].Avionics Technology,2013(1):15-19. |
| |
| Authors: | LI Hu MA Jin ZHENG Feng ZHANG Peng-cheng |
| |
| Institution: | (China National Aeronautical Radio Electronics Research Institute,Shanghai 200241,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
