基于路径分析和迭代蜕变测试的Bug检测

该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。     

一种似然蜕变关系动态发现工具设计

蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性.     

一种基于梯度下降算法的蜕变关系生成方法

针对当前蜕变关系构造多数依赖测试人员测试程序时所在领域知识, 存在局限性和高成本的问题, 提出一种新的蜕变关系生成方法. 该方法将蜕变关系的构建与梯度下降算法相结合, 通过分析大量测试用例及其输出之间的数值关系生成对应的蜕变关系. 对比实验结果表明, 该方法可有效降低测试人员对相关领域知识的依赖性.     

一种基于梯度下降算法的蜕变关系生成方法

针对当前蜕变关系构造多数依赖测试人员测试程序时所在领域知识, 存在局限性和高成本的问题, 提出一种新的蜕变关系生成方法. 该方法将蜕变关系的构建与梯度下降算法相结合, 通过分析大量测试用例及其输出之间的数值关系生成对应的蜕变关系. 对比实验结果表明, 该方法可有效降低测试人员对相关领域知识的依赖性.     

技术创新集群的蜕变机制研究

在对技术创新集群的概念特征和蜕变理论进行研究的基础上,分别从突变论和系统动力学的角度出发,构建了蜕变机制的技术范式模型,分析了技术创新集群的蜕变过程及参与要素,科学地阐述了创新集群的蜕变机制。     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

白盒测试技术概述

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盏、条件组合覆盖、路径覆盖.     

ZnO非线性电阻冲击蜕变机理分析

使用透射电镜、能谱、电子衍射等微观分析手段,对脉冲大电流冲击后的ZnO非线性电阻I-V特性蜕变现象进行了研究.实验结果表明,ZnO非线性电阻的冲击蜕变主要是由于离子迁移致使正、负离子在晶界层与晶粒界面两侧的积累和离散所造成的,同时也与富铋界面层的相结构改变有密切的关系.     

软件可靠性测试充分性的多准则判定及应用

在分析软件可靠性测试充分性特点的基础上,提出一种多准则充分性判定方法.依据运行剖面构造系统的使用模型,通过假设检验和贝叶斯推断确定测试用例数量,建立差异函数判断测试模型与使用模型的偏离,根据软件失效情况进行多轮次充分性判定,并使用贝叶斯方法积累测试信息,同时利用测试结果开展软件可靠性的评价与预测.实例分析表明,多准则充分性判定方法对可靠性测试用例集要求更加严格,使得根据该测试用例集的测试结果开展可靠性评价与预测更具可信性.     

精神蜕变中的欲望挣扎——解析墨白《欲望三部曲》中的欲望书写

墨白的《欲望三部曲》(《裸奔的年代》《欲望与恐惧》《手的十种语言》),以独特的视角记录了社会变革中人们精神蜕变时的挣扎。作者以欲望为切入点,通过描写人物对物欲、权欲和情欲的追逐,以风格多样的文本书写了孤独、恐惧、死亡、苦难等各种生命状态,刻画了人们在蜕变中展现出的生存困境和人性的善与恶,表达了对社会历史变革中底层人物命运的殷殷关切。     

不确定因果理论诊断的测试

对不确定因果理论的诊断测试进行探索, 将初始测试条件从true推广到任意可满足的A, 提出对不确定前提条件测试的概念, 给出几个相关定理及其证明, 利用这些结果有助于判定诊断空间, 确定测试的优先序, 从而提高测试效率.     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

精神的接力与自我蜕变--评萧建国的小说《男性王》

本文就萧建国的小说<男性王>从文化心理的角度论述了中国几千年以来的神权、族权等封建思想在新时期农村的精神接力和精神蜕变,从而阐述了其作品所包含的重大的思想内涵和深厚的文化意蕴.     

基于动态测试选择的一致性测试算法

给出一个基于动态测试选择的一致性测试算 在动态测试过程中能获得关于ＩＵＴ更准确的局部判定。     

人性与魔性的交织——希思克利夫的艺术形象探索

希思克利夫并非生来是魔,而是经历了由人蜕变为魔,又由魔复苏为人的过程.剖析这一人物形象让我们再一次感到做为19世纪英国文学史上的难忘的绝唱<呼啸上庄>所表现出的人性中美的魅力.     

浅析判定表法设计测试用例

软件测试是当前的冷门专业,软件企业对测试人才的需求随着企业发展的需要越来越大,测试技术和测试经验都是优秀测试人员必备的条件,本文对黑盒测试的判定表法设计测试用例进行了分析和总结。     

嵌入式诊断测试模块中测试项空间在内存中的规划

文章概要地介绍了嵌入式诊断测试模块在CDMA网络管理软件系统中的重要性,同时介绍了嵌入式诊断测试模块中处于核心地位的测试项堆空间,提出了一种优良的在内存中规划测试项堆空间的方法,详细描述了其具体的设计和实现方法,以及采用这种规划方式所具备的优点。     

分布式预测控制系统在通信局部失效下的性能分析

复杂大规模预测控制的在线求解问题可以由各个子系统去分布实现,子系统之间通过网络进行通信,当系统受到扰动时,各个子系统之间的通信联结有可能受到影响,整个分布式系统的性能将会下降,针对分布式预测控制优化算法,讨论了通信局部失效情况下,系统在滚动时域单步上的性能蜕变情况,对于稳定收敛的分布式系统,给出了每一时刻其性能蜕变的上限表达式。     

高新技带点亮滨海未来

从13年前天津版图上轻轻跃起的一块工业高地，到纳入国家发展规划成为中国经济增长的焦点所系，天津滨海新区经历了羽化成蝶的蜕变。     

常用的基于数据流的测试充分性准则

软件测试所有技术活动的基础,在于测试用例的设计、选择以及评价。如何设计充分的测试集一直是测试人员面对的一个难题。控制流、数据流是分析程序结构的2个主要手段。该文综合介绍了几种在软件单元测试中常用的基于数据流的测试充分性评价准则,如c-use覆盖、p-use覆盖、all-use覆盖、k-dr链覆盖、上下文覆盖等。这些准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测了多少代码还有多少代码未测到。