基于故障的布尔表达式测试技术综述

布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策略,提出了一种比较框架并比较了各种策略的适用情形、故障检测能力与测试用例精简程度。针对现有研究工作的不足,探讨了几个值得研究的问题,简要介绍了近年来此领域的研究工作。     

基于错误的表达式测试研究

由于表达式LRAUC错误对程序中各类错误的广泛覆盖性,本文以表达式LRAUC错误为检测对象,研究了表达式测试方法。本文首先阐述了当前表达式测试方法理论研究的局限性;然后,为了解决处于程序上下文中的一般表达式测试问题,研究了表达式错误／失效过程,并对影响该过程复杂性的因素进行了简化,提出了表达式LRAUC单路测试方法;阐述了此方法的具体实现,给出了表达式LRAUC单路测试约束集构造算法。     

引用未初始化变量故障静态测试方法研究

引用未初始化变量故障往往存在于C/C 程序中,该类故障常常会导致系统崩溃.鉴于传统测试方法、编译器和现有静态测试工具检测这类故障的局限性,本文提出了基于引用未初始化变量故障模型的静态测试方法.首先给出了引用未初始化变量的形式化定义,作为研究引用未初始化变量的基础;分析了变量状态及其变化,建立了变量状态集产生模型,作为静态识别引用未初始化变量的前提基础;建立了引用未初始化变量故障模型,作为静态识别引用未初始化变量的依据;提出了引用未初始化变量自动测试算法.实验结果表明,基于引用未初始化变量故障模型的静态测试方法具有较高的故障检测准确率和测试效率,这说明建立的故障模型和自动测试方法是有效的.     

用游动法作多边形的BOOLEAN运算

本文提出用游动算法代替求交算法来做两个多边形的BOOLEAB运算的方法，以此避开了通常算法中难以处理的退化情况。     

汉字的数学表达式研究

通过深入分析汉字的有关结构知识，提出了一种全新的汉字表达方法，该方法将汉字表示成由505个部件作为操作数、部件间的6种位置关系作为运算符号的数学表达式，这种表达方法接近自然、结构简单，而且可像普通的数学表达式一样按一定的运算规则处理，它可广泛应用于排版印刷、广告、包装设计、网络传输及中文移动通信等领域，已成功地在汉字字形自动生成，互联网上跨平台传输汉字信息、挖掘有关汉字结构知识等方面。     

利用表达式控制器轻松创建复杂动画

表达式控制器是3DSMAX中功能非常强大的动画制作手段.使用表达式控制器能够使动画的控制更加简洁准确.它能使复杂的动画设置自动完成。表达式控制器提供了一种通过数学方式创建动画的能力。它可以控制物体的基本建立参数(如长度、半径等).控制变换和修改(如移动放缩等)。     

无表达式树的基因表达

传统基因表达式编程（GEP）进行基因表达时,动态生成释放大量表达式树（ET）,成为GEP的性能瓶颈。提出基于Scale的基因表达算法解决此问题。Scale是一个约束线性表。由于Scale支持一次创建,永久使用,而无须更多维护。所以把基因表达至Scale中避免了ET的动态生成和释放。实验结果表明,在多数情况中,基于Scale的基因表达较基于ET的基因表达快6~10 倍。     

通用表达式计算中的关键问题研究

使用目前常用的算符优先法,对通用表达式计算过程进行了介绍,并对其中的关键问题——运算符优先矩阵的设计和实现进行了研究。该设计具有良好的可扩展性,能对任意自定义规则的表达式进行计算。     

布尔表达式匹配问题研究

提出了布尔表达式匹配问题,并给出了它的形式化定义;提出了一个解决布尔表达式匹配问题的通用算法框架,并在此框架上给出了一种算法及其改进;通过理论分析和实验数据给出了影响布尔表达式匹配算法性能的因素和它们之间的关系.     

表达式求值算法比较

论述了表达式求值相关算法的实现过程及分析。     

查询表达式优化的研究与实现

查询是数据库应用系统中使用最频繁的操作,其执行效率很大程度上影响了整个系统的性能.介绍了查询表达式优化的一般过程,在查询重写阶段提出了一种面向对象的框架,设计和实现了"多字段间关系自动推理"等若干种优化算法.测试结果表明,查询取得了良好的优化效果.     

可扩展的逻辑表达式求值系统的设计与实现

针对目前逻辑表达式求值算法中运算符的名称、优先级和运算规则都以硬编码的形式固化在算法中所带来的算法无法扩展的问题,通过将运算符的名称、优先级和运算规则抽象为接口的方法,设计并实现了一种新的逻辑表达式求值系统。该系统既保证了表达式求值算法的独立性,又允许用户自定义运算符和更新原有运算符运算规则,从而实现了逻辑表达式求值的可扩展性。     

计算机软件测试方法的研究

软件测试是软件开发的重要环节，也是保证软件质量的重要手段。本文以计算机管理软件的测试为背景，讨论软件测试的必要性，论述软件测试的基本方法，提出了软件测试用例的设计规范，并提供了测试用例设计的案例．实践证明这种方法对于保证软件质量行之有效。     

LINQ中的表达式目录树

本文从什么是表达式目录树开始，介绍了如何分解、构造和执行表达式目录树，以及使用表达式目录树具有什么优势，掌握好表达式目录树，是学习好LINQ非常重要的一个环节。     

表达式计算器的设计

基于程序设计语言的编译原理,给出了表达式计算器的系统设计过程,并在VC＋＋6．0下使用面向对象的技术实现了计算器。该计算器能分析用户输入的表达式是否正确,支持括号运算、浮点运算等。在此设计基础上,可以非常方便地扩展计算器的功能。     

基于多表达式编程的分类算法研究

多表达式编程是一种基因可复用的线性遗传程序设计方法,目前已应用于许多数据挖掘问题,但在分类问题中的研究还比较少.针对多表达式编程的编码特点并结合现有分类方法,提出一种新的分美算法.该算法将分类规则蕴含于多表达式编程的染色体内,并按照适者生存的原则对分类规则进行演化挖掘.实验表明该算法具有可行性,能够达到较高分类精度.     

表达式元性理论的性质

本文给出了Ｍａｒｔｉｎ－Ｌｏｆ表达式元性理论的形式系统，并证明了它的弱标准化定理。     

IDDQ测试方法的研究与实现

ＩＤＤＱ测试是当前倍受国内外业界人士关主的一种新的ＣＭＯＳ集成电路测试方法的技术。这种测试是在多种输入逻辑条件下测试ＣＭＯＳ电路的静态电源电流参数值,它可以有效地检测出早斯失效器件。ＩＤＤＱ测试的关键技术是测试向量自动生成及高效的测试实现技术。     

单片机系统RAM的测试方法研究

在各种单片机应用系统中,存储器的正常与否直接关系到该系统的正常工作。为了提高系统的可靠性,对系统的可靠性进行测试是十分必要的。通过测试可以有效地发现并解决因存储器发生故障对系统带来的破坏问题。本文针对性地介绍了几种常用的单片机系统RAM测试方法,并在其基础上提出了一种基于种子和逐位倒转的RAM故障测试方法。