数字电路逻辑测试系统中的测试生成

测试生成是数字电路测试的关键问题之一,文章闸述计算机辅助测试系统DCTS-CAT仪中测试图形产生的确定法和部分随机法。研究表明采用的方法满足功能级在线检测要求,测试速度较快,测试的错误覆盖率较高。     

从Bachman的交际测试模式看CET-4

本文从Bachman的交际测试模式中的测试环境、测试说明、输入方式、答题方式与材料输入方式及答题之关系这五个方面对CET-4真题进行分析,旨在评析CET-4试卷与此理论的相符程度,也为教学提供一个指南。     

面向HDF5格式预训练模型的模糊测试方法

使用模糊测试对HDF5文件格式的相关程序与工具集进行漏洞检测,并对模糊测试在HDF5输入上的性能优化方案进行研究。通过轻量级文件结构分析,精简模糊测试的确定性变异阶段,从而将模糊测试的注意力集中在更有价值的区域,减少无意义的变异与执行尝试次数;提出一系列HDF5文件格式敏感的变异策略,在模糊测试的随机变异阶段,使变异生成的输入更可能被程序的解析逻辑所接受,从而探索更深层代码。相比传统模糊测试框架,实现的原型框架HDFL可以保证极小的覆盖率与崩溃数量损耗,提高模糊测试的效率。     

关于大学英语主观性测试重要性的多维分析

英语测试是检测学生英语实际运用能力的有效手段。如今非英语专业的校内大学英语测试普遍存在重视客观性测试,忽视主观性测试的现象,这对测试效果和英语教学产生了很多不利影响。从英语测试的理论和实践出发,分析主观性测试在英语测试中的地位和重要性,有助于寻找科学合理的测试形式,适应大学英语教学的需要。     

浅析动载测试与小波分析在桥梁结构损伤诊断中的联合应用

桥梁结构损伤诊断是保证桥梁质量的重要措施，在实际施工过程中对于这项工作应该保持高度重视。把结构动载测试同小波分析结合在一起进行桥梁结构损伤诊断是一种新型应用方法。这种方法的应用能够实现精确检测。在大跨桥梁结构检测过程中采用结构动载测试和小波分析结合的方式是最为合适的。本文将重点分析这两种方法在桥梁结构损伤检测过程中的科学合理地应用。     

基于软件知识的测试方法

在软件测试阶段,常使用的排错方法包括排错测试和操作概图测试,但它们采取的都是随机测试的策略。在对它们进行研究的基础上提出一种新的测试方法：基于软件系统中使用的知识以及对相关知识的使用方式的软件测试方法。基于软件知识的测度方法可以应用于软件的可靠性稳定增长测试与软件安全性测试,也可以应用于面向对象软件的测试,以及应用于采用组件重用策略的软件可重用技术的软件系统测试。     

一种综合数据流和控制流的协议测试集自动生成法

为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。     

用于IDDT测试的BIST测试向量生成器

检测CMOS电路中的开路故障通常需要使用测试向量对。内建自测试（BIST）作为一种有效的测试技术可以大大地降低测试开销。设计一种用于IDDT测试的BIST测试向量生成器,它随机产生跳变数为1-2的测试向量对。实验证明。它能以较少的测试向量对检测出比较多的故障。     

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.     

射频场强与输入功率相关性研究

为了更好地在电磁兼容实验中发挥某射频强场辐射系统的作用,对其进行了天线辐射场强与输入功率相关性的测试研究,在5个频点上,由各向同性场强计进行数据测量,由光纤连接电脑数据传输的方式,在外场完成了整个系统的水平极化和垂直极化辐射场强功能测试,测试结果说明了射频强场辐射系统在50～150MHz的频率范围内,输入功率的平方根与辐射场强具有较好的线性关系,能够满足电磁兼容和效应实验测试的要求。     

蒙特卡罗方法在黑盒测试用例生成中的应用

测试用例的生成方法是软件测试技术研究的核心内容,利用蒙特卡罗方法自动产生随机数并将其映射到测试用例的输入域上。可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

变异策略动态构建的模糊测试数据生成方法

模糊测试中随机变异生成的测试数据破坏了目标程序的输入规范,导致测试数据无法通过验证,造成代码覆盖率低.针对这一问题,提出了一种变异策略动态构建的模糊测试数据生成方法,该方法利用插桩执行的反馈信息动态构建控制变异策略和关键字变异策略,指导模糊器变异出高覆盖率的测试数据.实验结果表明,与随机变异相比,该方法平均使代码分支覆盖率提高了约40%;该方法能够有效提高模糊测试的效率,具有较强的实用价值.      

一种基于程序状态的随机测试模型

讨论了马尔可夫链模型在随机程序测试中的应用。在建立了程序的马尔可夫链测试模型和马尔可夫链使用模型的基础上，提出了衡量测试完备性的量化计算公式和估计程序平均失败频率的计算公式。测试结果证实了其可行性和正确性。     

Compact-Parity Testing and Testable Design

Parity testing is one of the compact testing techniques, which, traditionally, relies on applying all 2^n input combinations to an n-input combinational circuit without need of knowing the implementation of the circuits under test. The faults can be detected just by observing and comparing its parity of whole output of circuit with the expectation one. The way seemed to be less interesting to the test eagineers in the past days, mainly due to the reasons of its exhaustive testing and time-cousuming, which became a barrier as the number of input lines gets growing. However its great facility and convenience in testing still interest to the engineers who need to have a quick look at the qualities of the circuits without generating the test patterns for a given circuit to be tested. In this paper, a new approach called pseudo-parity testing is presented to deal with the dilemma we are facing： i. e. to change an exhaustive parity testing into a non-exhaustive one, followed by a pseudo- parity testable design to help realize the new way of pseudo-parity testing. The idea of pseudo-parity testing presented in this paper may resume its spirits towards its promising future.     

英语听力在线测试的探索与应用

英语听力在线测试系统是一种以发展理论为指导的形成性评估形式。通过量化与质化相结合的研究方法分析了该在线测试系统，包括自动批卷、成绩反馈和随机出题等功能的实施效果。证明了英语听力在线测试系统在促进英语听力学习良性发展中的潜力与推动作用。     

随机存储器的故障诊断

用随机测试的方法进行RAM的故障诊断,给出了故障定位的算法,利用该算法能方便地对可能发生在RAM存储器中的故障进行诊断与定位。     

Testing Forms in Web Applications Automatically

Forms enhance both the dynamic and interactive abilities of Web applications and the system complexity. And it is especially important to test forms completely and thoroughly. Therefore, this paper discusses how to carry out the form testing by different methods in the related testing phases. Namely, at first, automatically abstracting forms in the Web pages by parsing the HTML documents; then, ohtai ning the testing data with a certain strategies, such as by requirement specifications, by mining users＇ hefore input informarion or by recording meehanism; and next executing the testing actions automatically due to the well formed test cases; finally, a case study is given to illustrate the convenient and effective of these methods.     

虚拟仪器测试平台的设计及教学应用

基于labVIEW图形化开发环境和数据采集卡,研制了虚拟仪器测试平台。该平台能完成串口通信、数字量与模拟量等通用功能的测试实验,并通过人机界面直观地反映测试结果。基于该平台的通用功能,学生可进行各种创造性、设计性实验,达到锻炼其系统设计与实践应用能力的目的。     

基于程序规则说明的自动测试用例生成

自动测试过程中,在特定测试标准下生成的测试用例的质量优劣,将极大地影响测试的性能和结果.作者结合基于程序规则说明的两种测试方法———随机测试技术和决策表技术,利用决策表形成完备的测试标准,保证随机生成的测试用例的充分性,完成测试用例的自动生成过程.研究内容分为如下4个部分:(1)基于软件规则说明的自动测试技术分析;(2)对程序规则说明生成决策表方法的测试标准;(3)结合随机测试数据生成和决策表技术对自动生成测试用例进行分析,比随机生成测试用例方法有更好的效果.