Computer Science ›› 2009, Vol. 36 ›› Issue (11): 127-130.

Previous Articles     Next Articles

Research on Model-based Testing on AADL

WANG Geng,ZHOU Xing-she,ZHANG Fan,DONG Yun-wei   

  • Online:2018-11-16 Published:2018-11-16

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

Key words: Model-based testing, AADL, Markov chain

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!