期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
AADL测试模型的构造研究 被引量:2
1
作者 马春燕 董云卫 +1 位作者 朱宇峰 陆伟 《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第6期968-973,共6页
目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式... 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。 展开更多
关键词 aadl aadl设计模型 aadl测试模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部