摘要：自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设计实现了带预设值的随机测试用例自动生成器,并利用不变量提取技术进行约简,实现了高质量测试用例的全自动化生成和约简.实验证明,本文实现的技术有效提高了随机测试的代码覆盖率;测试用例约简效果明显;并能有效揭示程序中的错误.

摘要：对RTL级代码进行功能验证的常用方法是仿真,即使用EDA工具模拟待测设计的实际工作情况,验证待测设计的正确性。对于功能不复杂的待测设计,提出了一种基于System Verilog语言的随机测试用例设计方法,可以提高测试的完整性且具有良好的重用性。

摘要：随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。

摘要：随着集成电路设计复杂度指数级增长,功能验证已经越来越成为大规模芯片设计的瓶颈,而在多核处理器中,Cache一致性协议十分复杂,验证难度大。针对Cache一致性协议验证提出基于模拟验证的一种基于贝叶斯网络的随机测试生成方法,解决Cache一致性协议状态空间爆炸的问题。首先分析了Cache一致性协议及基于贝叶斯网络推理的CDG方法,并将CDG方法应用于Cache一致性的验证。以FT处理器中的Cache一致性协议验证为例,对比伪随机测试,使用CDG方法将覆盖率提高近30%。

摘要：为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,而且能够尽可能早地发现 SoC 设计中的功能性错误。

摘要：CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制。

摘要：测试用例自动生成技术旨在降低测试成本,与人工生成测试用例相比,它具有更高的测试效率。现有主流的测试工具对软件中的所有文件都平等对待,但是大多数情况下含有缺陷的文件只占整个软件项目的一小部分。因此,如果测试人员能针对更易存在缺陷的文件进行测试,就能极大地节省测试资源。针对以上问题,文中设计了一种基于主动学习的预测引导的自动化测试工具AutoUnit。首先对待测文件池中的所有文件进行缺陷预测,然后对最“可疑”的文件进行测试用例生成,之后将实际测试用例执行结果反馈给缺陷预测模型并更新该预测模型,最后根据召回率判断是否进入下一轮测试。此外,AutoUnit还能在含缺陷文件总数未知时,通过设置不同的目标召回率来及时停止预测引导。它能依据已测文件来预测含缺陷文件总数并计算当前召回率,判断是否停止预测引导,保证测试效率。实验分析表明,当测得相同数量的缺陷文件时,AutoUnit花费的最短时间为目前主流测试工具的70.9%,最长时间为目前主流测试工具的80.7%;当含缺陷文件总数未知且目标召回率设置为95%时,与最新版本的Evosuite相比,AutoUnit只需要检查29.7%的源代码文件就能达到相同的检测水平,且其测试时间仅为Evosuite的34.6%,极大地降低了测试成本。实验结果表明,该方法有效地提高了测试的效率。

摘要：提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutationscore和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

摘要：把智能化技术应用于软件测试领域,解决测试优化等技术难题,已成为近来的研究热点之一。针对基于用户需求的测试用例优先排序问题,提出了一种基于模拟退火算法的智能化求解方法,能够有效提高软件测试效率。首先,介绍了基于需求的测试优先排序问题的一般性表述,给出了测试用例评价指标及测试用例距离的定义;其次,提出了基于模拟退火算法的问题解决思路,设计了包括状态表达方法、领域定义及搜索方法、降温函数及热平衡、退火结束方式等在内的算法要素,给出了算法基本流程、求解步骤和实现方式;最后利用实验验证了算法的有效性。实验结果表明,该方法具有很好的全局寻优能力,整体效果上优于随机测试。

摘要：随机设计越来越复杂，受约束的随机化测试方法已成为验证的发展趋势。本文以数据流交叉模块的验证为例，介绍如何基于UVM验证方法学构建受约束的随机化测试平台，其主要内容包括：UVM验证平台的建立、受约束的随机的实现、功能覆盖率的实现、自动检查结构等方面。