AADL模型的测试方法研究

计算机科学 ›› 2009, Vol. 36 ›› Issue (11): 127-130.

• 软件工程与数据库技术 • 上一篇下一篇

AADL模型的测试方法研究

王庚,周兴社,张凡,董云卫

(西北工业大学计算机学院西安710072)

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受863项目“构件化嵌人式软件测试方法及其工具研究”(项目号:2008AA01Z142)及航空基金项目(项目号:20081953012)资助。

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

摘要： 近几年来，MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象，研究了对AADL模型进行模型测试的方法，并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法。最后，通过示例进一步说明了该方法。

关键词: 基于模型的测试，结构分析和设计语言，马尔可夫链

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

王庚,周兴社,张凡,董云卫. AADL模型的测试方法研究[J]. 计算机科学, 2009, 36(11): 127-130. https://doi.org/

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. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

AADL模型的测试方法研究

Research on Model-based Testing on AADL

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0