协议一致性测试用例生成模型研究

摘要：

为设计并生成有效的测试用例,通过测试用例的自动生成,提高了设计和执行测试用例的效率.建立了协议一致性测试用例生成模型,由形式活动图、扩展有限状态机和相关的转换算法组成.在定义形式活动图和扩展有限状态机概念的基础上,设计了从形式活动图生成扩展有限状态机的算法和从扩展有限状态机自动生成测试用例的算法.对算法进行了分析与比较,分析结果表明,该算法在测试序列的长度、错误覆盖度等方面具有一定的优越性.

关键词：协议测试、一致性测试、测试用例、形式活动图、扩展有限状态机

所属期刊栏目：35

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

资助基金：技术基础基金项目7211019;电子工程学院科研基金项目KY11026

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

页数：共6页

页码：1110-1114,封3