首页 | 本学科首页   官方微博 | 高级检索  
     

一种面向AADL架构的模型测试方法
引用本文:冯冰,杨志义,董云卫,马春燕.一种面向AADL架构的模型测试方法[J].计算机测量与控制,2010,18(4).
作者姓名:冯冰  杨志义  董云卫  马春燕
作者单位:1. 西北工业大学计算机学院,陕西,西安,710072
2. 西北工业大学软件与微电子学院,陕西,西安,710072
基金项目:国家自然科学基金项目(60736017);;863项目(2008AA01Z1472089)
摘    要:鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。

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

A Model-based testing methodology for AADL model
Feng Bing,Yang Zhiyi,Dong Yunwei,Ma Chunyan.A Model-based testing methodology for AADL model[J].Computer Measurement & Control,2010,18(4).
Authors:Feng Bing  Yang Zhiyi  Dong Yunwei  Ma Chunyan
Affiliation:1.College of Computer/a>;Northwestern Polytechnical University/a>;Xi'an 710072/a>;China/a>;2.College of Software and Microelectronics/a>;China
Abstract: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.
Keywords:AADL  model-based testing  Markov Chain  
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号