作者:马春燕 董云卫 朱宇峰 陆伟aadlaadl设计模型aadl测试模型
摘要:目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社