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

• 作者: 冯冰 杨志义 董云卫 马春燕
• 来源期刊: 计算机测量与控制
• 关键词: AADL 模型测试 马尔可夫链
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 自动化测试
• 页码范围: 778-781
• 分类号: TP306.2
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨志义	西北工业大学计算机学院	72	642	14.0	21.0
2	马春燕	西北工业大学软件与微电子学院	19	106	5.0	9.0
3	冯冰	西北工业大学计算机学院	6	20	3.0	4.0
4	董云卫	西北工业大学计算机学院	43	311	9.0	15.0