%0 Journal Article
%T Research on Model-based Testing on AADL<br>AADL模型的测试方法研究
%A WANG Geng
%A ZHOU Xing-she
%A ZHANG Fan
%A DONG Yun-wei
%A <br>王庚
%A 周兴社
%A 张凡
%A 董云卫
%J 计算机科学
%D 2009
%I 
%X 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.
%K Model-based testing
%K AADL
%K Markov chain<br>基于模型的测试
%K 结构分析和设计语言
%K 马尔可夫链
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F90133243542CCF82AA12BC3D204E54E&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=708DD6B15D2464E8&sid=B344543C2864D684&eid=B47A0E731AF43EB2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=9