云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=AADL设计模型 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

AADL测试模型的构造研究被引量：2: 《西北工业大学学报》2010年第6期968-973,共6页马春燕董云卫朱宇峰陆伟; 国家高技术研究发展计划(2009AA01Z147);陕西省自然科学基础研究计划(2009JM8003-5);西工大科技创新基金(2008KJ02045);西北工业大学引进高层次人才科研启动费;西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助; 目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式...; 关键词：AADL AADL设计模型 AADL测试模型

全选清除导出

共1页<1>