测试自动生成相关论文
本课题研究的对象就是SoC中功能验证。首先,介绍验证方法学和技术的演变史,分析它们的优缺点;接着,介绍Verisity公司提出的基于Spe......
协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然......
