Research on Model-based Testing on AADL
Yunwei Dong · 2009
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.