| 基于Markov链的软件任务剖面建模方法研究与实现 |
| |
| 引用本文： | 尚景亮,陈蔚薇,郭丽丽. 基于Markov链的软件任务剖面建模方法研究与实现[J]. 计算机工程与设计, 2009, 30(22) |
| |
| 作者姓名： | 尚景亮 陈蔚薇 郭丽丽 |
| |
| 作者单位： | 中国科学院,光电研究院,北京,100190;中国科学院研究生院,北京,100049;中国科学院,光电研究院,北京,100190 |
| |
| 基金项目： | 中国科学院光电研究院基金项目 |
| |
| 摘 要： | 针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具.通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值.
|
| 关 键 词： | 软件测试技术 基于模型的测试 任务剖面 Rose可扩展接口 Markov链 |
Research and implementation of software operational profile modeling tool based on Markov chain |
| |
| SHANG Jing-liang,CHEN Wei-wei,GUO Lili. Research and implementation of software operational profile modeling tool based on Markov chain[J]. Computer Engineering and Design, 2009, 30(22) |
| |
| Authors: | SHANG Jing-liang CHEN Wei-wei GUO Lili |
| |
| Abstract: | Targeting at hurdles on embedded software testing, concepts of user specification model and operational profile model are in-troduced and well described. Algorithms of automatically operational modeling are also designed and implemented, by applying which it helped improve system analyzing and advance testing process. Moreover, the applying of Markov chain provided key data which di-rected test case generating. Meanwhile, a operative tool based on these methodology is developed using REI (rose extensibility interface) and validated effective in real projects. |
| |
| Keywords: | software testing MBT (model based testing) operational profile REI (rose extensibility interface) Markov chain |
| 本文献已被 万方数据 等数据库收录！ |
|
