AADL模型的测试方法研究 (2009年)

【文件属性】：

文件名称：AADL模型的测试方法研究 (2009年)

文件大小：345KB

文件格式：PDF

更新时间：2024-06-15 05:19:54

工程技术 论文

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