基于芯核的SOC测试调度

针对大规模SOC的测试问题，基于不同优先级、资源、芯核约束的SOC测试优化模型，引入了SOC测试调度用神经网络，同时利用试探性随机搜索技术对神经网络进行了改进．仿真结果表明，采用已改进的神经网络不仅能解决SOC的测试问题，而且能够在一个合理的计算时间内找到最优解，在解决SOC测试调度问题方面具有较优异的性能．     

基于XML描述校验规则的数据输入测试用例自动生成方法

采用自动化测试技术是节省软件测试开销、提高软件测试工作效率的重要手段,测试用例设计、测试脚本编写是自动化测试技术的关键。本文介绍的数据输入测试用例自动生成方法,基于数据输入界面有XML描述的校验规则,根据校验规则自动生成大量测试用例数据,并可根据实际需要对测试用例数据的数量、覆盖范围进行控制。．本文还介绍了自动生成测试用例数据的工具软件,及所生成的测试用例在自动化测试工具中的运用方法,从而解决了大量测试数据准备、测试覆盖率、测试执行的相关问题,使用本文介绍的方法,将能在数据输入测试时大大节省测试成本,提高测试精度。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

有参数约束的两两组合覆盖测试用例生成的研究

对组合覆盖测试用例生成的研究已不少见,但考虑有参数约束情况的并不多．针对有参数约束的两两组合覆盖测试用例生成的问题,提出了一种基于IPO策略的有参数约束的两两组合覆盖测试用例生成算法,并与经典的AETG方法作比较,实验表明该算法在某些待测软件系统上可以得到比AETG方法更小的测试集．另外,该算法的确定性组合的特性使其在实际应用中可以更有效地降低测试成本．     

一种基于组合测试的软件故障诊断方法

针对组合测试的基本模型和特征，提出了一种基于组合测试的软件故障诊断方法．该方法基于软件故障由某些系统参数或其相互作用而引发的前提下，首先对组合测试的结果进行分析，找出所有可能的错误原因，然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试，并对其结果作进一步分析和验证，从而迅速将故障原因锁定在很小的范围内，这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考。     

基于UML的面向对象软件测试框架

统一建模语言(UML)是一组面向对象分析和设计的形式化表达语言，基于UML，统一软件开发过程(USDP)提出了软件开发的过程方法。目前，基于UML的软件测试研究中，很少有研究将开发过程和测试过程结合的系统研究。笔者提出了一个基于UML的面向对象软件测试框架，该框架有效地结合了UML和统一软件开发过程。所提出的测试框架将软件测试分为系统测试、类族测试和类测试，其中，系统测试根据use-case和系统序列图生成测试用例，类族测试根据集成的状态图生成测试用例，类测试根据类的状态图生成测试用例。介绍了UML与软件测试的层次关系，并讨论了各类测试用例的生成方法。     

基于NSGA-Ⅱ的测试性指标分配方法

为了实现对测试性指标的合理分配,该文在对测试性分配问题进行数学分析的基础上,考虑故障率高低以及故障影响严重度对测试性指标的要求,提出了一种以故障检测或隔离可能性函数、故障严重性函数和全寿命周期费用为优化目标,以系统测试性要求为约束条件的测试性多目标分配模型.运用改进型非劣分类遗传算法(Non-dominated sorting genetic algorithmⅡ,NSGA-Ⅱ)对多目标优化模型进行求解,并将该模型及求解方法应用于某型工程机械液压系统的测试性指标分配中.结果表明,该方法能够对测试性指标进行合理地分配,证明了所建立的多目标优化分配模型的有效性以及求解方法的可行性.     

配对覆盖测试集的估计与实用策略分析

参数的配对组合测试是对于各种软件系统的一种实用且有效的测试方法，因为许多软件错误是由一些测试参数的相互作用造成的．要获得一个最优的配对覆盖测试集是一个NPC问题，作者证明了测试集大小是在一个可估计的范围之内．分析和比较了3种有效的配对覆盖测试集生成策略．     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

一种动态协议一致性测试方法

利用约束满足技术实现了一种新的动态协议一致性测试方法，解决了由于固定测试集的错误覆盖度、测试用例的相关性，以及实测结果的影响，导致实际测试中存在执行效率不高和实际测试范围可能被缩小的问题．     

串并联系统可靠度的最优分配

该文研究了串并联系统的可靠度最优分配问题．在建立连续的可靠度函数、期望效益函数、期望损失函数和初始造价函数的基础上，推导出串并联系统初始造价最低、期望效益最大的两个单目标最优和多目标最优的系统可靠度函数最优分配的计算表达式，并用算例作了说明．     

基于黑箱的自动软件测试工具的质量保障方法

软件测试需要合适的自动测试工具的有效支持，此时保障测试工具质量的问题显得尤其重要，介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法，并详细讨论了软件故障注入方法，长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的。     

基于GA的天然气增压系统可靠性优化

以天然气增压系统的可靠性分析为基础,在体积、重量和总费用的约束条件下,通过优化设计使整个系统的可靠度最高.给出了天然气增压系统区间系数的可靠性优化数学模型,把非线性区间规划模型转化为等价的双目标非线性规划模型,并在此基础上阐述了用遗传算法(GA)找出问题解集的基本思想,对整个系统的核心涡旋式压缩机进行了性能参数分析.可靠性试验结果表明:优化后的天然气增压系统可靠性是满足要求的,用遗传算法求解该问题是相当有效的.     

多目标测试用例优先级排序研究进展

单目标测试用例优先级排序具有片面性的缺点,为解决问题出现了多目标测试用例优先级排序;多目标测试用例优先级排序是根据多个优化目标给出测试用例的执行次序,从而提高软件测试效率,并降低回归测试开销;在介绍多目标测试用例优先级排序基本概念的基础上,总结了目前求解问题的主要方法,指出其存在的问题,给出了多目标测试用例优先级排序问题的未来研究方向。     

自适应概率问题的空间遗传算法的研究

求解约束条件下的高度和分配的最优解是一个ＮＰ难题,因此提出了一种基于自适应概率参数模型的问题空间跗算法,它较好地解决并发进行硬件资源调度与分配问题,使得在给定的输出控制数据流图中找到使目标函数最小的位置。最后以求解方程中的资源调度为例,用实验验证了该算法的有效性。     

考虑设施失效及客户重指派的网络选址模型及求解

基于无容量约束且固定费用的设施选址模型,综合考虑系统运作成本及其可靠性,提出了考虑失效概率及对客户多层级重指派的非线性混合整数规划模型,并用优化的拉格朗日松弛算法对线性处理后的模型进行求解.结果表明:拉格朗日松弛算法适用于中等规模的选址问题;相对于客户的多层级重指派,其设施失效概率对网络选址的影响较大.     

Downside Risk-Aversion Analysis for a Single-Stage Newsvendor Problem

We extend the classical newsvendor problem by introducing a downside risk constraint from the perspective of inventory control. At the beginning of a replenishment period the newsvendor will place an order, then he will review the inventory level at the end of the period. If the inventory level is positive then he will bear the holding cost and if the inventory level is negative then he will bear the backorder cost. The optimal order quantity has a simple form. We analyze the form of the optimal order quan-tity when we restrict that the probability that the cost level is larger than or equal to a fixed cost constant is less than a fixed value of probability. At last, we analyze the case that the fixed cost constant is equal to the expected cost.     

星载系统单故障恢复策略研究

针对指令重试时难以合理选择重试时机和冗余资源问题，并根据星载系统的特点，提出了系统致命失效概率最小的单故障重试恢复策略．该策略以星载系统所有出现的故障均为单故障这一假设为前提，建立了指令重试时间与系统资源备份数及系统的致命失效概率间的关系．通过最小化系统的致命失效概率，可得出在系统资源备份一定时的最佳指令重试时间．同时，若系统存在最大致命失效概率，则可得到在最佳指令重试时系统所需的资源备份数．分析该策略可以发现，星载系统的致命失效概率随着系统的运行期的延长而增大，并且随着错误检测率的提高，星载系统的可靠性增加。     

多商品库存及辅助分配问题研究

研究了一定周期水平T内需求确定,且不允许缺货的多目标、单一水平、多产品联合库存补货策略,目的在于最小化生产与库存总成本。针对多产品库存成本函数性质,引进生产产量辅助分配函数简化成本函数,并探讨了优化库存成本的相应条件。最后,应用动态规划理论来优化成本函数,综合分析了多目标、动态经济批量下多商品库存问题,通过实证数据分析得出了多商品库存最优成本。     

资源分配问题的动态规划及其Lingo求解

资源分配问题是将一种或几种资源,恰当地分配给若干个用户,而使目标函数为最优。介绍了应用动态规划的方法解决资源分配问题时的一般策略,并通过实例应用 Lingo 编程方便地求解此类问题。