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

• 作者: 尚景亮 郭丽丽 陈蔚薇
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 软件测试技术 基于模型的测试 任务剖面 Rose可扩展接口 Markov链
• 年，卷（期）: 2009,（22）
• 所属期刊栏目: 软件与算法
• 页码范围: 5053-5057
• 页数: 5页
• 分类号: TP311.5
• 字数: 5371字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭丽丽	中国科学院光电研究院	16	45	5.0	5.0
2	陈蔚薇	中国科学院光电研究院	10	92	4.0	9.0
3	尚景亮	中国科学院光电研究院	3	3	1.0	1.0