Computer Science ›› 2009, Vol. 36 ›› Issue (11): 127-130.
Previous Articles Next Articles
WANG Geng,ZHOU Xing-she,ZHANG Fan,DONG Yun-wei
Online:
Published:
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
WANG Geng,ZHOU Xing-she,ZHANG Fan,DONG Yun-wei. Research on Model-based Testing on AADL[J].Computer Science, 2009, 36(11): 127-130.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I11/127
Cited