AADL模型的测试方法研究

Research on Model-based Testing on AADL

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

As MDA becomes a popular software development methodology,it is one of the hot issues to ensure the quality of software which is based on models. This article studied on model-based testing（MBT） focusing on AADL model,and an algorithm was proposed to carry out model-based testing on AADL with markov chain. An example was given at the end of the article to demonstrate the algorithm.