基于拓扑结构的程序复杂性度量研究

基于程序拓扑结构,分析传统McCabe复杂性度量法,提出封闭区域个数统计法和判定结点个数统计法两种快速、直观、简便的计算方法,并提出路径复杂度算法,由此定义判定树类拓扑结构程序以路径数即分支数作为程序复杂度,同时提出了降低复杂度的程序设计方法,以实例进行对比验证,实践证明该方法简单、可行、有效.     

基于关键分支的不可行路径确定方法

不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间.     

基本路径测试算法的改进与应用

基本路径测试是白盒测试技术的一种重要方法,McCabe方法作为基本路径测试中较为常用的方法之一,存在测试用例设计效率较低、可操作性不强等问题。针对这些问题,研究提出了基于McCabe方法的改进堆栈算法,该算法能够自动识别被测程序的基本图元结构,算出被测程序的基本路径数,并且输出基本路径集。该路径算法比McCabe方法构造过程简洁,可操作性较强,能够有效提高基本路径测试用例设计的效率。     

软件控制流故障诊断的研究

软件的故障诊断是软件测试的一个重要组成部分,快速准确地定位故障发生位置对于提高软件质量具有重要的意义.文章提出了一种利用运行时执行路径计算的方法进行故障诊断的方法.利用测试算例,计算出执行路径和候选路径集,并在候选路径集中找出预期路径.通过比较执行路径和预期路径,给出故障诊断的信息.该方法简洁明了,易于应用.     

一种边缘计算环境下的大数据流可验证方案

随着物联网、5G技术的不断发展和各类边缘设备的接入和普及,大数据流从边缘设备产生并发挥着重要作用,但其在传输、外包存储的过程中面临着被恶意或偶然修改、删除、伪造等安全隐患。因此,如何确保大数据流的实时可验证性成为关注的焦点。针对边缘计算环境下外包数据流不可信的问题,提出了一种外包数据流动态可验证方法。该方法的核心在于将单、双陷门Hash函数、多分支路径树结构应用到默克尔哈希树中,构成一种不限定分支数的多分支多碰撞陷门认证树结构(MMCAT)。实验结果表明,该方案提高了数据流的处理效率,在网络状况不稳定、边缘设备上传数据不连续、上传速度不稳定等情况下具有较明显的优势。     

宿主环境下嵌入式软件白盒测试方法

针对嵌入式系统软硬件开发不同步的问题,提出一种宿主环境下嵌入式软件白盒测试方法。采用基于顺序块的插桩方法来实现语句覆盖测试,采用基于逻辑树的插桩方法来实现分支覆盖测试,在被测程序运行过程中由嵌入式模拟器实时发送桩信息到分析器,由分析器计算得到语句与分支覆盖率。实验表明,该方法能实时获取嵌入式软件测试过程中的语句和分支覆盖率,测试效果良好。     

一种XML多分支路径索引查询算法

为高效地实现XML多分支路径查询,提出了基于索引的XML多分支路径查询算法depthjoin.首先对XML文档进行编码并创建索引,然后对查询树进行查询匹配.采用栈存储多分支路径中的单路径,对多分支结点采用索引信息判定其子结点是否具有共同的祖先结点或父结点.与现有的XML分支查询算法相比,算法depthjoin充分利用索引,不需要进行单路径的连接操作,实验表明其查询效率比现有的查询算法高.     

计及分布式发电的配电网快速潮流算法

通过研究配电网络的拓扑结构和无分支单馈线的潮流特性,对传统的前推回代潮流算法进行改进,提出一种新的基于辐射状网络的潮流计算方法．该方法将包含多条分支或非终端的配电馈线分解成一级一级的数条无分支单馈线进行潮流计算．此外,由于分布式电源和并联电容器在配电网侧的大量引入,考虑在潮流计算过程中将分布式电源和并联电容器作为PQ节点进行处理．并通过算例验证了该方法的快速有效性．     

移动机器人路径规划方法的研究与展望

路径规划是移动机器人技术研究的重要分支之一.介绍并分析了路径规划的分类,重点阐述了全局路径规划及局部路径规划的方法并指出了它们的优点与不足.最后对移动机器人路径规划技术未来的研究方向进行了展望.     

基本路径测试中的McCabe算法改进与应用

基本路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率.作为基本路径测试中较为常用的方法之一的MeCabe法,是通过分析程序结构和环路复杂性,从而导出基本可执行路径集,再由路径集设计测试用例.但是McCabe法的可操作性差、容易产生错误影响了其在基本路径中的应用.针对这一问题,改进了McCabe法,并对算法改进前后在基本路径测试中的应用进行对比,结果表明改进的McCabe法更简单,而且操作性更强,便于基本路径的准确生成.     

一种基于改进遗传算法的测试用例自动生成研究

测试用例的生成是软件测试领域的关键技术问题。近年来,受生物进化思想启发得出的一种全局优化算法的遗传算法用于测试用例的自动生成方向的研究,对于软件测试的自动化有着重要的影响。为了生成高效的测试用例,笔者提出了一种改进的遗传算法,该算法采用实数编码方式,采用逻辑覆盖原则,将遗传算法的适应度函数进行改进并加入遗传导向控制,这样有利于种群的多样性遗传,避免种群早熟收敛现象,并结合Delaunay三角网生成程序进行说明,验证了该算法的有效性。     

实时并发软件的测试软件开发

实时并发软件愈来愈多地应用于国防和工业的控制系统，其测试方法和工具的研究成为质量保证的重要课题之一。在分析大型实时控制软件特点的基础上，提出了以白盒测试与黑盒测试相结合、自顶向下的递增式策略，实现单元测试、组合测试和综合测试的三级测试技术方案；并介绍了二次式测试用例生成程序，嵌入式测试驱动与记录程序和测试结果评判程序等计算机辅助测试工具。     

路径前缀测试策略的研究与实现

本文介绍了一个构造TD-P对(测试数据——路径对)的测试策略,首次将符号执行技术应用到由Prather R.E.等人提出的路径前缀测试策略上,从而克服了在静态路径测试中符号执行技术所遇到的困难,并第一次将测试数据之间的靠近性原理引入到测试数据产生算法中。利用这一方法只需要用户的极少干涉,就能产生测试数据。最后,给出了一个测试支持工具PPTS,并在PC机上实现了文中所提出的算法。     

虚拟装配情境的商空间粒度模型及感知方法

目前对虚拟装配技术,在硬件系统建设和软件平台方面的研究都日趋完善,对用户在使用过程中的交互研究,是进一步提高虚拟装配实用性的必要手段。本文在装配情境概念的基础上,提出了装配情境和动态任务情境的粒度模型,基于商空间和相似度理论,给出动态任务情境粒度的感知方法,和静态装配体情境的粒度感知算法,并结合轴系零件装配实例和胶印机部件实例给出了具体的工程应用。     

一汽一大众AudiA6轿车总装配线电气控制系统设计

Devicenet网络控制技术应用在汽车总装配线上,具有数据传输可靠、响应速度快、抗干扰能力强等优点.着重阐述了一汽-大众总装车间轿车装配线控制系统的硬件和软件的设计,并分析了一个典型程序段的运行情况.     

Method of Measuring Fixture Automatic Design and Assembly for Auto-Body Part

A method of 3-D measuring fixture automatic assembly for auto-body part is presented. Locating constraint mapping technique and assembly rule-based reasoning are applied. Calculating algorithm of the position and pose for the part model, fixture configuration and fixture elements in virtual auto-body assembly space are given. Transforming fixture element from itself coordinate system space to assembly space with homogeneous transformation matrix is realized. Based on the second development technique of unigraphics（UG）, the automated assembly is implemented with application program interface （API） function. Lastly the automated assembly of measuring fixture for rear longeron as a case is implemented.     

单片机延时程序设计与时长精确计算

叙述了51单片机通用延时程序的设计及其延时时间长度的精确计算方法,且以软件汇编、软件C程序、中断C程序3种不同形式,分别提供了3个典型延时程序案例,并对延时效果进行了分析和计算。     

基于VB的Solid Works标准件库的开发研究

Solid Works软件中没有符合我国国标的标准件库,在装配设计中效率较低.以Solid Works作为开发平台,以Visual Basic6.0为开发环境,对Solid Works进行二次开发,实现了标准件库的开发.并将用户程序作为一个插件(*.dll)集成到Solid Works中去,方便了用户,提高了装配效率.     

分布式自动化软件测试实现技术研究

为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列工具,能有效利用Internet上的空闲资源进行大型软件系统的持续集成和测试。为实现测试任务的自动划分和调度,提出了基于空闲时间约束的任务调度算法,并对集合划分问题的ACO算法进行了改进,在其中添加了动态容量监控标准和前置与后置处理过程。通过在原型系统中进行MySQL测试,验证了平台架构和设计的可行性以及算法的有效性。     

测试方法对软件失效数据影响的实验分析

失效数据常被用于评估软件的质量、监测和预测软件的运行情况,不同的测试方法对失效数据的影响是研究的重点。采用随机测试、分支覆盖测试和分块覆盖测试这3种不同的测试方法选取测试用例集,运用Daikon动态地获取程序不变量,再从这些不变量中提取失效数据,比较分析哪种方法可以获取更多的失效数据。通过实验得出结论：在3种测试方法中,随机测试方法可以获得更多的失效数据。