循环代数迭代松驰法在全息层析术测量三维温度场中的应用

本文通过计算机模拟运算并结合温度场（折射率场）的先验知识。考查了用循环代数迭代松驰法重建三维温度场时不同视角范围、视角方向和松驰系数对重建精度的影响。得出了该算法的六个特点。作为实例，计算了二个截面火焰温度场分布。

基于迭代松弛的测试数据自动生成框架的分析与设计

迭代松弛法是测试数据自动生成的一种重要方法,文章根据改进后的迭代松弛法设计了一个通用的结构测试数据自动生成的框架。框架根据结构测试中控制流和数据流所采用的覆盖标准来选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。同时框架采用Fibonacci法优化选取路径,对不可达路径进行处理,并实现了对测试数据的分支覆盖率、DCP覆盖率的统计。

面向路径的测试数据生成框架及应用

测试数据生成是软件测试的核心与关键,本文介绍了迭代松弛法以及对迭代松弛法进行改进,改进后的方法比原方法生成测试数据的能力更强,不仅能够用于白盒测试数据的自动生成,还能够用于黑盒测试数据的自动生成。在此基础上提出一个面向路径的测试数据生成框架。并讨论该框架在单元测试、组装测试中的应用。

质谱计离子源静电透镜的模拟计算

本文针对某质谱计离子源的设计,建立了离子源静电场数学模型,采用有限差分法对其场域进行离散,半迭代切比雪夫松弛法求解各节点的电位,拉格朗日插值法计算空间任意点的电位和电场,四阶龙格-库塔法计算离子运动轨迹。使用Visual C++6.0为平台编程计算程序,结合离子源的具体结构求解了离子源静电透镜整个场域的电位和电场;绘制了等位线和离子运动轨迹。在此基础上,讨论了各电极电压对离子运动轨迹(即对聚焦性能)的影响。

白盒测试中指定路径测试用例的自动生成

单元测试阶段结构覆盖测试往往要求语句覆盖率和分支覆盖率均达到100%。然而对于含有复杂控制算法的程序,人工编写测试用例较为复杂,很难达到100%的覆盖率。利用迭代松弛法作为核心算法实现了结构覆盖测试用例的自动生成。文章首先简单介绍了迭代松弛法的思想及具体实施步骤,然后给出了系统的实现方法,最后对于该方法的扩展应用进行了展望。

面向路径的测试数据自动生成方法研究

软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题可以描述为：给定一个程序P和P中一条路径W，设P的输入空间为D，求x∈D，使得P以x为输入运行，所经过的路径为W。自动求解该问题将有效地提高软件测试的效率和质量。