简介:摘要测试用例(TestCase)是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果,以便测试某个程序路径或核实是否满足某个特定需求,随着信息时代的发展,以及软件产品的增长,测试用例生成领域逐渐成为热门研究领域。本文分析了测试用例生成领域的专利文献,对申请量和申请人分布情况进行了分析。
简介:详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
简介:电路的日益复杂和集成度的不断提高,使测试已成为集成电路设计中费用最高、难度最大的一个环节。文章主要讨论了测试中伪随机测试矢量的生成,并提出了改进其周期的办法,从而大大提高了故障的覆盖率。最后通过硬件描述语言Verilog在QuartusⅡ软件下进行仿真,验证了其正确性。
简介:BitTorrent是一种流行的文件共享软件,它允许文件分块,并将每个数据块作为独立的传输单位在下载者之间进行交换。本文分析了P2P应用中的BitTo—nt(BT)协议的特点和工作原理,对BT协议的Peer端进行了形式化建模,得到Peer端的有限状态机模型(FiniteStateMachine,FSM),并基于该模型以及变迁覆盖标准,给出了结合UIO方法的一致性测试的测试序列产生方法,最后给出下一步的研究工作。