基于UML的软件测试用例自动生成技术的研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文实现了基于UML State Diagram规格说明的自动测试用例生成技术,定义了相应的测试覆盖准则,分析了测试数据的生成。     

基于扩展有限状态机的类测试用例生成方法

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

面向WEB服务的测试用例自动化生成方法

针对目前Web测试主要依靠费时费力且具有一定盲目性和倾向性的人工测试用例设计问题,在Web服务单个操作测试用例生成方法的理论研究工作基础上,提出了一种基于WSDL文档和形式化模型树Web服务操作测试用例的自动生成方法,并以此构建测试工具。实际应用效果表明,该方法能大幅节省人工手动分析WSDL文件中复杂数据类型的时间,并根据各内建数据类型的测试用例手工生成输入消息测试用例的时间,简化测试用例的生成过程,大量替代目前用手工完成的测试用例编写工作。     

可持续性运行软件组合测试用例的自动生成

为了提高软件组合测试和兼容控制能力,提出可持续性运行软件组合测试用例自动生成方法。根据可持续性运行软件的正确性、兼容性、运行效率进行软件输出稳定性分析,结合产品的通用性特征进行软件组合测试用例自动生成过程中的模块分割,构建约束参量指标分布模型与嵌入式多任务调度模型,实现软件可靠性特征提取。采用智能分析与多层次的模糊控制方法进行可持续性运行软件组合测试用例自动生成。仿真结果表明,采用该方法进行软件组合测试用例自动生成的稳定性较好,可靠性较高,降低了时间和内存消耗。     

基于网络接口规范的用例自动生成技术

为了减小测试工作量,减轻测试者的工作负担,提高测试效率,实现计算机自动生成测试数据十分必要.介绍自动化用例生成方面的内容,分析网络应用接口值域的关系特点,并结合传统用例生成模型,提出一个更适合网络应用接口特点的用例自动生成模型,并提出一种基于约束库的精化测试用例的方法.     

汽车电控单元测试用例生成与集成测试技术

针对汽车电控单元的测试需求,通过引入参数相关性和组合约束条件,基于IPO(in-parameter-order)策略提出了一种改进的测试用例生成算法;设计并构建了汽车电控单元集成测试系统,并在集成测试系统的架构下实现了对汽车电子常用测试设备的统一管理和数据共享;最后,通过两种不同汽车电控单元的典型测试工况对提出的改进的测试用例自动生成算法进行了实验验证.结果表明,所提出的测试用例生成算法可在满足覆盖准则的前提下有效缩减测试用例数量,结合本设计的集成测试系统,能够满足不同汽车电控单元的测试需求,提高测试效率和精度.     

XML技术在软件可靠性测试中的应用

软件的可靠性测试是保证软件质量的重要措施。应用XML保存软件可靠性测试中生成的测试用例,提出了XML测试用例模型,实现了XML测试用例文件生成器与测试引擎,用测试驱动程序来读取测试用例,驱动被测程序运行,自动比较测试结果。能够自动、高效地对软件接口进行测试,测试数据与测试驱动程序相分离,有利于测试数据的维护与重用,在实际应用中取得了很好的效果。     

智能车载交通信息系统

面向路网交通路况信息的采集、融合、发布及实时更新问题,提出了一种基于车载自组网技术,可自动采集、传播和动态生成路网实时交通路况信息的智能化车载交通信息系统,进而构建了相应的系统模型.该系统无需集中式交通信息系统相关设施,直接利用路网各路段行驶车辆的自身资源及车载自组网通信技术,实现交通路况信息的实时采集、自主传播及整个路网交通拥堵信息的自动生成与动态更新功能,并通过车载终端供驾驶员实时参考.     

一种基于抽象解释的二进制代码测试方法

针对二进制程序分析中难以生成测试用例的问题,提出了一种基于抽象解释和制导符号执行的测试用例自动生成方法。首先结合动态和静态程序分析方法,生成目标二进制程序的过程间控制流程图,然后基于过程间控制流程图,计算出潜在脆弱点集。利用节点距离、节点可达性和约束条件集概率静态信息作为符号执行的制导因素,对二进制程序进行动态测试,过滤虚假的脆弱点,并对真实脆弱点生成相应的触发测试用例。实验结果表明文章提出的方法能有效避免执行无效路径,提高二进制代码测试效率。     

CBTC 系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在。在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成。     

基于扩展库所/迁移系统的GUI自动化测试

为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则:库所覆盖准则、迁移覆盖准则和迁移对覆盖准则.对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明:相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.     

数字网格摄影测量法及其在滑坡模型试验中的应用

综合考虑自动网格法和摄影测量技术各自的优缺点,提出了数字网格摄影测量法。介绍了该方法的原理与步骤,并将其应用到室内某滑坡模型试验的位移测试中。试验证明:数字网格摄影测量法可以快速、准确对模型体观测点位移进行量测,精度达到次毫米级,是一种比较理想的滑坡模型位移测试方法。     

低压发电机预防性试验技术研究

通过对小水电站低压水轮发电机预防性试验开展情况的调研,指出在具体实际试验中,缺乏针对性依据、不利于现场实施等方面所存在的问题.结合实际案例,就低压发电机预防性试验的一般项目、检测周期、检测要求、试验结果评价等展开分析、论证,提出了切实可行的观点及解决方法,并作出补充性建议参考标准.进一步促进小水电发电机预防性试验技术水平.     

Overall test evaluation based on trajectory tracking data

According to the trajectory characteristics of ballistic missile, a reduced parameter model is constructed based on difference between telemetry trajectory and trajectory tracking data. By virtue of Bayesian theory and data fusion technique, a new test evaluation method is put forth, which can make full use of the trajectory tracking data, shooting range test data and relevant information. Since the impact point can be derived from trajectory difference and its kinetic characteristics, evaluation of the impact point is a special case of this method. The accurate evaluation and the accuracy of evaluation results can be provided by the new method.     

基于约束满足的ERP测试计划方法

将约束编程与ERP产品自身特点相结合,提出了一种基于约束满足的ERP测试计划方法。通过对某饲料行业ERP中记账凭证软件进行约束建模。该测试计划方法已经应用于饲料行业ERP平台中。     

群组决策中相容性检验的夹角余弦法

对相容性检验和一致性检验进行了比较,分析了这2个指标的异同,并从判断矩阵的排序向量出发,提出了相容性检验的夹角余弦法,最后通过一个算例说明该计算方法简洁有效.     

旁压试验测定公路土基回弹模量的应用研究

在高速公路旧路改扩建工程中,需对现状路基的结构性能作出评价,以便为改扩建方案设计提供基础资料,土基竖向变形特征即土基回弹模量的现场检测是其中一项重要内容.鉴于现场承载板试验的测试效率不高以及测试过程相对繁杂,而旁压试验测试效率较高,测试过程相对简便,对湖北省武黄高速公路路基作了多个测点的旁压及承载板对比试验,探讨了旁压试验在检测公路路基回弹模量中的可行性,并提出以机械电子工业部勘察研究院的经验关系为基础的模量换算方法,实例证明其有效可行.