基于数据流的软件测试序列自动生成技术研究

测试用例自动生成技术是软件测试的一个重要研究领域,而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法,此方法首先对待测试程序进行静态分析,然后根据程序的语句间关系生成程序图,最后基于数据流测试准则,根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理,得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖,同时,在计算过程中避免了无用路径的生成,节省了算法空间和执行时间。

面向对象类簇级测试中控制依赖分析方法研究

类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖分析方法。实验表明,上述控制流分析方法可方便地用于类间数据流测试,并能有效地探测定义-使用错误。

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述,使得故障描述更准确、无二义性。为了避免路径组合爆炸,提出基于控制流的状态集迭代分析算法进行故障检测,可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数,E是控制流图边数)。由于状态机的独立性,对控制流图进行一遍迭代可以同时计算多个故障模式,大大提高测试效率。同时,该方法还采用了带条件的状态计算可以较好地减少误报的情况。

基于数据流的电气试验动态软件的研究与实现

介绍了利用结构化分析方法，在数据库开发系统ＦｏｘＰｒｏ３．０下，基于数据流的电气试验动态软件的研究、设计与实现。将程序模块纳入数据流，从而实现对测试数据的操作与定向，使软件编制更加灵活。作为电气试验系统，本软件具有良好的人机界面和完善的服务功能。

基于JPF的类数据流测试生成技术

通过设置陷阱性质,用时序逻辑公式表示数据流测试的覆盖准则,将测试生成问题简化成模型检测中寻找反例的问题,自动生成满足数据流覆盖准则的类方法测试调用序列,提出了一种适用于类方法调用序列自动生成的搜索算法,并在程序模型检测器JPF上实现。算法分析和实验结果表明,该算法能生成高效的方法调用序列并明显减少测试生成代价。

电务试验车信号测试系统

为满足利用信号试验车进行在线测试的需求,建立铁路信号测试系统的信息流模型,提出符合COTS(Commercial Off-the-Shelf,即成熟的商品化产品)、信息融合、信息统一、模块化等指导原则的车载测试系统架构。系统硬件主要采用PXI/CompactPCI数据采集系统、PDA、GPS定位设备、无线局域网设备等;软件采用RT实时操作系统,综合应用多线程、数据库和虚拟仪器等软件开发技术完成。系统已经在实际的铁路信号测试中得到应用,并且满足各方面需求指标,应用前景广泛。