一种面向AADL架构的模型测试方法

摘要：

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性.

关键词：AADL、模型测试、马尔可夫链

所属期刊栏目：18

分类号：TP306.2(计算技术、计算机技术)

资助基金：国家自然科学基金项目60736017;863项目2008AA0121472089

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

页数：共4页

页码：778-781