测试程序生成相关论文
近年来,高效地测试自动化越来越突显其在软件测试过程中的重要性。测试自动化能够有效地降低测试开销和提高测试复用的水平,还可以弥......
程序测试是保证程序正确性的重要手段,而测试数据的选择以及测试数据的生成是其核心与关键。然而目前程序测试的测试数据的生成方......
模拟仿真方法是当前微处理器功能验证的主要方法,然而在验证工作后期需要耗费大量的时间来检验余下复杂的功能点,验证收敛速度缓慢......
覆盖率驱动的测试程序生成是目前微处理器功能验证的研究热点之一,现有的演化测试程序生成方法应用到大规模复杂功能覆盖率模型时......
可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出......
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(mic......