数据流控制流相叠加的可执行测试序列生成研究

• 作者: 孟兆航 舒挺 魏仰苏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 一致性测试 数据流 控制流 TEA树
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 121-124
• 页数: 4页
• 分类号: TP311.5
• 字数: 3665字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.10.037

摘要

提出了一种可执行的测试序列的自动生成策略.先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列.该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒挺	浙江理工大学计算机应用研究所	22	99	5.0	9.0
2	魏仰苏	浙江水利水电专科学校计算机系	10	56	5.0	7.0
3	孟兆航	浙江理工大学计算机应用研究所	5	51	4.0	5.0