机器分配问题

本文用动态规划方法解决了机器分配这类整数规划问题.对于一些没有时间先后的问题,人为分成几个阶段应用动态规划方法去解决.     

基于成对测试的GUI测试用例生成方案及实现

在软件开发过程中软件测试的成本很高.其中,测试用例是软件测试的主要组成部分,因此产生合适有效的测试用例是减少软件测试成本的一个主要手段.文章对一个基于成对测试GUI测试用例生成方案及实现展开研究;给出了GUI对象描述、GUI测试用例生成、自动执行以及结果比较的过程;以项目CQMIS为例,使用自动化测试工具QTP,依据所提出的方案实施测试用例生成,效果良好.     

区域资源空间分配的数学原理

文章根据经济学的择扰分配原理和区域经济地理学的区划思想，提出资源在地域空间上合理配置的数学规划方法，并指出了应用此方法的有关问题及解决办法。在探讨方法论的同时，文章也得出如下结论：资源的空间分配法则不是域均衡，而是边际收益的空间统一。     

综合经济目标下的电厂汽轮机组最优负荷分配

提出了基于动态规划法的汽轮发电机组负荷分配的优化模型,该模型考虑了机组主要部件的低周疲劳寿命损耗、机组的最小运行时间和最小停机时间、负荷最大爬升和降负荷速度限制等约束条件,并对各种因素对负荷分配计算结果的影响进行了比较分析.文中以一个具有4台300MW机组的电厂作为运行单元,考虑运行单元内部的各种费用,并将其折合成标准煤耗量.计算结果表明,采用这种负荷分配模型,在满足电网调度负荷的前提下,可以降低煤耗率3g/(kW·h).     

基于混合类测试模型的面向对象程序测试用例生成研究

提出了一种混合类测试模型,能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息,且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷,且保证了定义一使用路径的可执行性,能较好地缓解以往数据流测试开销大、效率低的问题。     

远程教育支持系统中黑盒测试用例的设计

软件测试在软件工程管理中所占比重越来越大,测试用例的设计是整个测试过程的基础.结合工作实践详细介绍了黑盒测试用例的设计方法,并举例说明了如何应用黑盒测试技术.     

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

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

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

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

煤矿铁路最优空车分配方案的数学模型及算法

运用计算机编制矿区的最优空车分配方案 ,使全矿的总落地煤最少 .建立了数学定义和数学模型 ,给出空车分配问题的一系列最优性准则及化简方法 ,有效地降低了求解该问题的规模 .应用动态规划方法编制了求解该问题最优解的计算机算法 ,分析了该算法的复杂性和有效性 .通过对一个实例的计算和结果的分析 ,说明该算法在实际应用中是可行的 .     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

预约型多址方式的最优信道容量分割

本文讨论了采用 ALOHA 方式进行预约的预约型多址技术,考察了预约部分与实际数据传输部分两者间信道容量的关系,导出了最优分割条件,并用数值计算得到了最优分割比.     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

基于执行剖面过滤的分割测试

提出了一种基于执行剖面过滤的分割测试方法.该方法通过从大量的执行操作中过滤出包含容易引起错误输出的特殊执行操作的子集,并对子集的执行操作进行回放和检验,从而可以发现软件潜在的错误.从而使引起错误输出的输入元素集中分割在某些子域内,提高了发现错误的概率.实验结果表明,该方法分割错误元素的集中度以及命中错误的概率较高,相同条件下其效果要优于随机测试.     

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

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

考虑缓冲区配置的生产线布局优化设计

将启发式遗传算法和空间填充曲线(SFC)相结合,以包括在制品(WIP)持有费用、缓冲区配置费用和物料搬运费用的总费用最小化为目标,对缓冲区配置进行生产线布局优化设计.通过对某柴油发动机缸体加工生产线实例分析,验证了设计的有效性和先进性.     

OSPF协议中路由表计算的测试例生成方法

本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。