摘要
鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。
As models take important part in software development and AADL can describe embedded software effectively, in this paper, a method for AADL model testing is put forward to insure the quality of the models in early step of software developing. It builds the behavior of AADL model through Markov Chain, and then tests the AADL model in terms of the test cases and oracles produced by the Markov Chain and system design standard. The paper indicates the validity of this method through a case.
出处
《计算机测量与控制》
CSCD
北大核心
2010年第4期778-781,共4页
Computer Measurement &Control
基金
国家自然科学基金项目(60736017)
863项目(2008AA01Z1472089)
