| AADL模型的测试方法研究 |
| |
| 引用本文： | 王庚,周兴社,张凡,董云卫.AADL模型的测试方法研究[J].计算机科学,2009,36(11):127-130. |
| |
| 作者姓名： | 王庚 周兴社 张凡 董云卫 |
| |
| 作者单位： | 西北工业大学计算机学院,西安,710072 |
| |
| 基金项目： | 863项目"构件化嵌入式软件测试方法及其工具研究"，航空基金项目 |
| |
| 摘 要： | 近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点.以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法.最后,通过示例进一步说明了该方法.
|
| 关 键 词： | 基于模型的测试 结构分析和设计语言 马尔可夫链 |
| 收稿时间： | 2008/12/21 0:00:00 |
| 修稿时间： | 2009/3/10 0:00:00 |
Research on Model-based Testing on AADL |
| |
| 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. |
| |
| Authors: | WANG Geng ZHOU Xing-she ZHANG Fan DONG Yun-wei |
| |
| Affiliation: | (School of Computer Science,Xorthwestern Polytechnical University,Xi'an 710072,China) |
| |
| 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. |
| |
| Keywords: | Model-based testing AADL Markov chain |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
