AADL测试模型的构造研究  

An Effective Method for Obtaining Architecture of Test Model of AADL(Architecture Analysis and Design Language)

作　　者：马春燕[1] 董云卫[2] 朱宇峰[2] 陆伟[1] 

机构地区：[1]西北工业大学软件与微电子学院 [2]西北工业大学计算机学院,陕西西安710072

出　　处：《西北工业大学学报》2010年第6期968-973,共6页Journal of Northwestern Polytechnical University

基　　金：国家高技术研究发展计划(2009AA01Z147);陕西省自然科学基础研究计划(2009JM8003-5);西工大科技创新基金(2008KJ02045);西北工业大学引进高层次人才科研启动费;西北工业大学软件与微电子学院"R"孵化基金(2010R005)资助

摘　　要：目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。AADL is used to design embedded software in ever-increasing mission critical applications.Section1 of the full paper gives the formal definition of the test model.Section 2 proposes the automatic construction algorithms for the test model from AADL design model.Section 3 and 4 use an aircraft flight control system to illustrate our method;their core is that they explain how,according to the test model in Fig.1,test cases are generated and explain how three types of model tests are performed.The above-mentioned three types of model tests are（1） input/output port sequence correction,（2） input/output completeness,（3） connection correction.The analysis of the application example shows preliminarily that our method is effective.

关 键 词：AADL AADL设计模型 AADL测试模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]