期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
数据流控制流相叠加的可执行测试序列生成研究 被引量:2
1
作者 魏仰苏 孟兆航 舒挺 《计算机工程与应用》 CSCD 北大核心 2007年第10期121-124,共4页
提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议... 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。 展开更多
关键词 一致性测试 数据流 控制流 tea
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部