AADL模型的测试方法研究

摘要：

近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点.以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法.最后,通过示例进一步说明了该方法.

关键词：基于模型的测试、结构分析和设计语言、马尔可夫链

所属期刊栏目：36

分类号：TP3;F27

资助基金：863项目"构件化嵌入式软件测试方法及其工具研究"2008AA01Z142;航空基金项目20081953012

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：127-130