| AADL 测试模型的构造研究 |
| |
| 引用本文： | 马春燕,董云卫,朱宇峰,陆伟.AADL 测试模型的构造研究[J].西北工业大学学报,2010,28(6). |
| |
| 作者姓名： | 马春燕 董云卫 朱宇峰 陆伟 |
| |
| 基金项目： | 国家高技术研究发展计划，陕西省自然科学基础研究计划，西工大科技创新基金，西北工业大学引进高层次人才科研启动费及西北工业大学软件与微电子学院"R" 孵化基金 |
| |
| 摘 要： | 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.
|
| 关 键 词： | AADL AADL设计模型 AADL测试模型 |
An Effective Method for Obtaining Architecture of Test Model of AADL (Architecture Analysis and Design Language) |
| |
| Ma Chunyan,Dong Yunwei,Zhu Yufeng,Lu Wei.An Effective Method for Obtaining Architecture of Test Model of AADL (Architecture Analysis and Design Language)[J].Journal of Northwestern Polytechnical University,2010,28(6). |
| |
| Authors: | Ma Chunyan Dong Yunwei Zhu Yufeng Lu Wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
