一种应用于动态污点分析的路径自动生成方法

在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执行中抓取其运行轨迹,由收集到的路径约束条件构造新的路径约束条件,经约束求解生成覆盖其它路径的新的测试用例。借助虚拟化技术实现动态污点分析各用例的并行执行,较大幅度提高污点分析的路径覆盖率和执行效率。

几何量测量路径自动生成方法

由于CCD摄像机无法一次拍摄到被测物体的所有轮廓,所以需要移动载物平台,便于CCD摄像机分数次拍摄被测物体的不同轮廓.文中提出了一种实现二维几何量测量的路径自动生成方法,用于实现载物平台的自动移动.该方法利用机器视觉和数控技术实现每移动一次载物平台完成一次被测物体分段轮廓图像的拍摄和处理,从而确定载物平台下一次的移动路径,最终实现被测物体完整轮廓坐标数据的自动采集.实验结果表明,运用设计的路径自动生成方法实现了被测物体轮廓坐标数据的自动提取.

基于调用图的类间MM路径自动生成方法研究

在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提出了一种基于调用图的面向对象软件类间MM路径自动生成方法,并通过大量实验,研究了采用类层次分析和安德森指向分析这2种典型调用图构建算法对生成MM路径的数量和时间花费的影响,进而分析了面向MM路径生成的测试用例集对被测程序的结构测试覆盖效果.实验结果表明:基于调用图的类间MM路径自动生成方法是确实可行的;采用安德森指向分析较类层次分析生成类间MM路径的数量平均增加13.11%,时间消耗却平均减少27.78%;此外,针对安德森指向分析生成的类间MM路径进行面向路径的测试用例自动生成,其生成的测试用例集对被测程序获得的结构覆盖率比采用类层次分析平均提高2%～7%.因此,对于基于调用图的面向对象软件类间集成测试路径生成,基于安德森指向分析较类层次分析生成类间MM路径的效率更高.

求解测试用例自动生成问题的多因子回溯搜索优化算法

路径覆盖测试用例自动生成(ATCG-PC)问题是自动化软件测试领域的热点。ATCG-PC问题中群智能进化算法常用的适应度函数之间具有高度的相似性,然而现有的解决ATCG-PC问题的群智能进化算法尚未考虑这一相似性特征。受相似性特征启发,将两个相似的适应度函数看作两个任务,从而将ATCG-PC问题转化为多任务ATCGPC问题,并提出了一种新的解决多任务ATCG-PC问题的群智能进化算法,即多因子回溯搜索优化算法(MFBSA)。所提算法通过多因子选择Ⅰ的记忆种群功能提高全局搜索能力,并通过选型记忆交配使得相似任务之间能够通过知识转移提高彼此的优化效率。在6个雾计算测试程序和6个自然语言处理测试程序上对所提算法性能进行了评价。与回溯搜索优化算法(BSA)、免疫遗传算法(IGA)、收敛速度控制器粒子群优化(PSO-CSC)算法、自适应粒子群优化(APSO)算法和超立方体差分进化(DE-H)算法相比,MFBSA覆盖12个测试程序上的路径所使用的测试用例总数分别减少了64.46%、66.64%、67.99%、74.15%和61.97%。实验结果表明,所提算法能够有效降低测试成本。

海洋气象环境影响下的复杂水域船舶路径规划

为提高复杂水域船舶自动生成路径的安全性与经济性,将海洋气象环境因素考虑在内,以船舶避开障碍物为前提,设计了以航行时间最短为目标的路径规划算法。在建立环境模型的基础上采用改进MAKLINK图生成可行路径,根据矢量合成及拟合模型分析海流及风浪对船舶航速的影响,从而确定路径权值,通过Dijkstra算法进行初始路径规划,采用改进粒子群算法进一步优化及平滑初始路径。以一艘集装箱船通过规划海域为例验证算法的有效性,并对风向和风级进行了敏感性分析。结果表明:考虑海洋气象环境影响生成的路径既可安全避开障碍物,又可节省航行时间,改进粒子群算法在缩短路径航行时间的同时可提高路径的平滑性。

黑启动辅助决策支持系统

针对电网黑启动的特点和要求,结合图形建模技术、数据库技术和电力系统分析计算技术开发了一套可视化的电网黑启动辅助决策支持系统。该系统将图形系统与数据库结合形成图-模一体化平台,具有界面友好、交互性强和功能完善等特点。该系统采用了基于规则的黑启动路径自动生成算法形成黑启动初始路径方案,既避免了人工提供黑启动初始路径的繁琐,又能避免合理路径的遗漏;系统中所包括的路径分析功能及数据管理,既相互独立,又能相互配合,而形成了一个完整的系统。该系统所提供的分析结果的导出功能,可方便地生成黑启动初步分析报告,从而大大减轻撰写分析报告的压力。实际应用证明了该系统的有效性和工程实用性。

交互式虚拟内窥镜系统

研究了交互式虚拟内窥镜系统的组成框架及其中的关键技术 .针对系统导航部分 ,设计了一种基于距离映射获取漫游路径的算法 ,并提出了相应的路径平滑技术 .在系统绘制部分 ,为了获得更光滑的器官表面显示效果 。