基于Markov链的软件任务剖面建模方法研究与实现

摘要：

针对航空航天等安全关键领域里嵌入式软件测试中存在的困难,引入并研究了用户需求模型和任务剖面模型的概念及表示方法,设计并实现了基于用户需求模型的任务剖面模型自动建模算法,进而结合Markov链模型与任务剖面模型,为任务流提取和测试用例生成工作提供依据,基于Rose可扩展接口(REI)开发了任务剖面模型自动建模工具.通过验证,肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值.

关键词：软件测试技术、基于模型的测试、任务剖面、Rose可扩展接口、Markov链

所属期刊栏目：30

分类号：TP311.5(计算技术、计算机技术)

资助基金：中国科学院光电研究院基金项目AOE-CX-200607

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：5053-5057