【摘 要】
：
软件测试是保证软件质量的重要手段，测试用例生成是软件测试的关键环节之一．本文结合软件工程实践，考察了软件测试过程中经常出现的失效现象，提出了一种基于相似性度量的第三方测试用例生成方法．该方法不是平均分配测试用例，而是根据已发生的软件失效规律，寻找最有可能引发失效的测试序列和测试输入，适合于当得不到软件源代码、软件的输入变量很多、输入空间很大时的场合．
【机 构】
：
通信指挥学院 武汉 430010 中国电子系统设备工程公司研究所 北京 100141 解放军理工大
论文部分内容阅读
软件测试是保证软件质量的重要手段，测试用例生成是软件测试的关键环节之一．本文结合软件工程实践，考察了软件测试过程中经常出现的失效现象，提出了一种基于相似性度量的第三方测试用例生成方法．该方法不是平均分配测试用例，而是根据已发生的软件失效规律，寻找最有可能引发失效的测试序列和测试输入，适合于当得不到软件源代码、软件的输入变量很多、输入空间很大时的场合．
其他文献
通过中国古代文化中的哲学与辩证思想，解释并解决软件测试理论中的一些基本问题，丰富和发展软件测试理论．从中国古代《周易》中的阴阳哲学思想的角度，对软件测试理论中的静态测试与动态测试、黑盒测试与白盒测试等技术进行了解释，并对其哲学意义上的“固有，互含、转化”三个基本原理进行了在软件测试应用上的探讨．指出《周易》中阴阳哲学思想在软件测试方法、模式的选取，测试工作量的平衡等问题的研究方向．
随着集成电路工艺进入纳米级，片上网络将会遭受日益严重串扰效应和单事件干扰错误．因此，在开销可接受的情况下设计一种可以同时容忍串扰效应和单事件干扰的可靠片上网络是一件有意义的工作．本文提出了一种采用基于码字选择的串扰容忍编码SCAC和双内锁单元DICE的可靠片上网络设计方案，它将数据影射成基于码字选择的串扰避免编码用于信息传输，然后采用双内锁单元保护路由器内部的状态和控制寄存器．因为SCAC在通道上
伪随机测试通常存在测试序列长、功耗大的弊端、本文提出了一种基于轮流扫描捕获的BIST方案.在该方案中，每条扫描链被划分成N(N>1)条子链，使用扫描链阻塞技术，同一时刻每条扫描链中只有一条扫描子链活跃,扫描子链轮流进行扫描和捕获．同时，本文提出了一种适用于该结构的LFSR种子产生算法．在ISCAS’89基准电路上进行的实验表明，我们提出的方案不但降低约(N-1)/N的平均功耗和峰值功耗，而且显著地
移动自组网中的源节点通常使用多跳的方法把数据包经由其他节点发往目的节点．不同于以往只考虑最短路径或只依靠转发行为评价信任或基于信誉推荐机制的传统路由算法，提出了一种兼顾通信可靠性和路径长度的主观信任路由模型．该模型借鉴人类信任关系建立模式，通过引入属性相似度概念将邻居选择、信任评估、数据转发等路由环节紧密相连，在陌生节点间建立信任关系，并进一步建立一种新的动态包转发规则，无需握手过程，降低传输延迟
随着工艺的进步，片上系统使用多核与众核是未来发展的一种趋势，传统的二维网格(2D-mesh)型拓扑结构通信效率低、功耗和时延大等缺点变得越来越明显．本文首先分析对比了几种常用拓扑结构在多核与众核情况下的性能，进而提出采用布线复杂度较低、性能较好的蝴蝶型胖树(BFT)拓扑结构来解决片上系统的设计和测试问题．并针对基于BFT型的片上网络提出了一种组播路由协议和节点编码设计方案，用来完成对相同核的组播测
随着芯片功能和性能的不断提高，众核和多核处理器的可测试性设计(DFT)也变得日益复杂．传统的可测试性设计方法将整个芯片作为一个模块，进行扫描设计和存储器内建自测试设计，难以保证众核处理器的测试质量和测试开发周期．模块化的可测试性设计方法既能实现单个模块与周围其它模块之间的独立性，又能使设计具有可扩展、高可测试性、低功耗以及易实现的特性，是解决上述问题的有效途径．本文基于Godson-T 16核处理
测试数据压缩技术能有效降低对昂贵的ATE性能要求．本方提出一种对称编码方法，能有效的提高测试数据压缩率，降低测试成本．传统的编码技术采用对0游程或1游程进行编码，但由于ATPG工具生成的测试集中存在大量的无关位(X位)，因此以前编码方法未能有效利用测试集的特征．本文采用对称计算游程的方法，它同时对本文提出的四类对称性游程编码，且能减短对应码字长度，有效提高压缩率．实验结果和理论分析表明本文方案能较
传统的基本树空间压缩器是一种零混叠的空间压缩器结构，其中AND，OR，NAND和NOR被用来压缩被测电路的输出端．但是,由于在传统的基本树空间压缩器中没用是用XOR结构，这将导致压缩率在某些条件下恶化．为了提高传统的基本树空间压缩器的压缩率，本文提出了一种改进的基本树空间压缩器结构．改进的基本树空间压缩器将XOR门引入来提高基本树空间压缩器的压缩率，除此之外，本文也提出了一种简单的，基于故障仿真的
提出一种测试数据压缩方案，利用测试向量与扫描链中响应数据的分块相容，进一步增加被编码测试向量中的无关位;降低了线性反馈移位寄存器中编码种子的度数，最终达到压缩测试数据的目的．该方案不增加额外的测试向量，解压电路简单，仅需一个LFSR和简单的控制逻辑．
提出一种结合运行时异常的静态-刹试方法，将故障检测及控制流扩展交替重复执行：故障检测导致控制流上添加代表运行时异常的边，额外添加的边又导致检测到更多的故障，这个过程重复迭代到控制流不再扩展为止．应用异常模式状态机描述运行时异常的特性，通过其故障状态发现运行时异常；应用运行时异常控制流作为故障检测的运行环境，在传统控制流上增加处理运行时异常的边；结合现有静态测试技术，通过迭代方程生成运行时异常控制流