科研之友
微信
新浪微博
Facebook
分享链接
摘要
针对复杂协议测试在形式化建模与测试完备性评估方面的不足，提出了一种基于建模和仿真技术的完备协议测试验证技术。采用形式化模型规范建立协议测试对象模型的测试行为范式；以测试模型作为核心组件，通过模型驱动方法实现测试用例自动生成；利用模型仿真实现测试过程的动态视图与测试结果动态验证；最后，基本测试流程模型实现协议测试的完备性评估。该技术为模型驱动的完备协议测试验证提供了系统化理论支撑和完整方案，通过实验表明，使用该技术的测试方法相比传统基于脚本驱动测试方法，能够缩短30%测试时间，减少50%测试设计出错率，且在首轮测试覆盖中提升70%覆盖率。
- 单位
