基于遗传算法的组合测试用例生成研究

对遗传算法的种群规模、选择策略、迭代策略等环节进行了研究,设计实现了一种实用的基于遗传算法的组合测试用例生成算法,具有用例生成速度快、用例集最小化的特点.     

用Excel和Delphi实现自由报表

仅用Delphi生成报表,难以满足用户的特殊要求.文章结合汽车修理管理系统的开发,讨论利用Excel和Delphi生成报表和打印问题,并对Excel的自动控制进行了探讨.     

卤化物的分光光度法测定

以硫酸为介质, 用适宜的氧化剂氧化卤化物生成卤单质（X₂）, 用载气 载出, 被显色剂(CD-4)吸收, 生成一种有色化合物, 在510 nm处测其吸光度. 并对实际水 样进行了分析.     

G-L分数导数高阶逼近算法的鲁比希生成函数系数的求解

考察G-L分数导数的逼近阶,引出高精度的数值算法,提出三种求解鲁比希高阶逼近生成函数系数的方法 .从信号处理的角度出发,采用拉格朗日插值逼近法首次在理论上严格推导出鲁比希生成函数系数的解析表达式.构造了任意阶次的生成函数,通过不同形式的生成函数等价,用数学归纳和矩阵方程两种方法对生成函数系数进行求解,验证了结果的正确性.     

VC++6.0中DLL的编程技术及其在VB6.0中的应用

介绍了VC++6.中DLL编程的基本方法及基本形式,并给出了一个简单的实例,用VC++6.0生成DLL,完成计算机底层端口的访问,再用VB6.0调用生成的DLL完成其它数据处理.     

ASP无组件生成BMP验证码

本文根据用ASP无组件生成BMP图形验证码技术,从BMP文件的内容、结构、BMP扫描方式、用ASP发送BMP二进制数据以及生成BMP图形文件等几方面详细探讨和论述了如何用ASP无组件生成BMP图形验证码.     

基于Rough Set的CLS算法研究

用粗集理论对CLS算法进行了分析,得出CLS算法生成的决策树的特性.     

软件集成测试中的一种用例生成方法

针对面向对象语言的多态、动态绑定等特性增加了面向对象软件集成测试难度的问题,提出了一种测试用例的生成方法.首先借鉴正交矩阵测试策略的思想,采用自定义正交矩阵生成算法生成一个二维正交矩阵,再使用鲁棒性测试方法优化生成正交矩阵,最后采用自定义测试用例生成算法为面向对象软件的集成测试生成测试用例集,并将测试用例集用XML文档保存,以备下一步测试用例复用.经验证表明,使用正交矩阵能提高错误检测能力,用其生成的测试用例比较少且方法简单、易于实现.     

最小生成树DNA算法

为了改进粘贴模型,提出了用生化实验实现求解割集的计算方法,并基于该方法给出了最小生成树DNA算法.首次将分离实验扩展为基于分离板的分离实验和基于电泳技术的分离实验,所提出的最小生成树DNA算法打破了DNA计算的计算模式——用求解割集的最小边的方法逐步产生最小生成树.用该方法求解割集利用了分离实验运算的高度并行性,最小生成树DNA算法的时间复杂度是线性的,从而降低了算法的时间复杂度.     

分形技术及小波变换在全景图像中的应用

介绍了全景图生成过程,并对图像拼接的关键和难点技术进行了总结.在此基础上提出了一种新的全景图生成算法,该算法首先利用分形技术对图像进行匹配,然后用基于小波分解系数的渐入渐出的融合方法来进行平滑无缝拼接,最后生成全景图.实验结果表明,该算法具有较好的稳定性,能较好地消除拼接痕迹,获得了理想的图像拼接效果.     

三次B样条曲线形状调整方法

分析了某种带局部形状调整参数的B样条曲线的构造,提出用带调整参数的变换矩阵方法生成控制点进而生成所要求的带形状参数的三次B样条曲线的方法.研究了参数变化对曲线的影响,以及该方法下所生成样条曲线在拼接点处的连续性条件.     

一种在RTL测试模式生成中验证断言再用的方法

在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果.     

利用随机生成径流序列不能减小设计水利参数的抽样误差

随机生成径流序列的方法在最近二、三十年得到迅速发展和广泛应用.用系统分析方法对水资源进行规划时,常根据某种合适的数学模型和统计参数用人工生成径流序列来模拟水资源作为系统的输入.但是随机生成的径流序列的价值何在?国内外水利工作者具有不同的看法,争论至今仍无定论.本文试图通过统计试验的方法,对随机生成径流序列是否能减小设计水利参数的抽样误差这一问题作一初步探讨.     

B样条曲线和三角面片的整合与智能人体模型开发

提出了一种几何模型对人体进行建模,并得出可以智能修改的人台模型.这种几何模型整合了B样条曲线和三角面片的优点.对于人体点云数据进行Delaunay三角化处理,然后用插值B样条曲线对一系列的水平截面与三角化模型的交点.二次的三角化是利用在不同截面中的插值B样条曲线生成的等间距节点.这一系列的处理使得插值B样条曲线和三角面片整合在一起.用这个方法建立的人台可以通过输入关键围度尺寸,生成新人台模型,并且通过展开参数化的人台模型生成服装样板.     

废钢铁的回收物流模型的建立

根据金属平衡原理,按照废钢铁产生的三个来源,通过引入废钢生成率,建立了废钢铁的三种生成模型返回废钢生成模型、加工废钢生成模型和折旧废钢生成模型;通过引入废钢比和废钢单耗,建立了炼钢用废钢消耗量模型.利用以上模型,可以有效预测废钢生成量和消耗量.     

分形和基于C~(++)的分形参数化绘图

对分形图形技术进行了一些研究.在分析分形图形形成的理论上,研究了分形图形的几种生成方法:基于L-系统的分形图形、复变函数迭代.通过研究各种方法的基本思想和生成过程,归纳筛选出决定其形态的参数,用Delph i语言实现分形绘图系统.     

三维应力奇异单元自动生成的通用算法

用1/4奇异单元模拟裂纹尖端奇异性已经成为断裂力学数值计算的重要手段.目前三维奇异单元主要是靠人工手动生成奇异节点,然后再生成单元,这种方法工作量大、效率低,尤其是对复杂结构或裂纹形状更是难以实现.这里研究了各种形状三维奇异单元自动化生成的通用算法,并编制了计算程序,最后通过算例验证了算法的正确性.     

气泡堆积法生成局部加密非结构化网格

对生成非结构化网格的气泡堆积法(BPM)进行改进,提出了一种生成局部加密非结构化网格的算法.该算法通过向多边形顶点添加任意大小气泡以及在内部设置点源,并利用反距离加权平均法传递节点信息,简单地实现了局部加密/稀疏网格的生成.同时,还提出了气泡数量的控制方法,可对过于稠密或者疏松的气泡群进行气泡的删除和添加,使所有的气泡更好地与计算区域相匹配,消除了不规则三角形网格的生成,提高了生成网格的质量.用改进的BPM算法对矩形区域生成了边界加密、中心稀疏的非结构化网格,在雷诺数为1000的工况下对方腔项盖驱动流进行了数值模拟,与基准解对比非常吻合,证明生成的网格质量较好.     

基于全对偶算法的自动化测试方法

自动化测试的关键在于自动生成测试用例并自动选择,其中涉及到参数取值的组合以及对这些组合的取舍和重组.对用全对偶算法实现测试用例生成和选择作了相关论证,提出了自动化测试的假设,结合实例论证了该方法的可行性,经初步测试表明该算法的执行效率是令人满意的.     

基于用例契约化的测试用例生成策略

UML中的用例可以简洁准确地描述系统需求,它可以作为软件测试中测试用例生成的一个很好的基础;然 而正是由于用例描述的特点,使得它忽略了对系统内部需求的描述,导致生成的测试用例是不准确的、粗糙的.为 了有效地控制这种不良影响,在软件开发的初始阶段,即用例的基础上引入“契约化”方法,通过对用例所描述的需 求进行形式化约束,并把该约束带入顺序图中,这种方法不仅可以增强测试场景的准确性,又保证了最后生成的测 试用例更加精准,覆盖率更加详尽.