基于体系结构描述的软件测试技术

在软件结构描述语言的基础上,研究了组件之间交互所引起的错误测试,并提出静态分析和动态测试模型.静态模型通过检查组件端口及其所允许的消息类型来约束构件的交互,动态模型通过Petri网刻画组件执行过程中的动态行为,生成动态行为图.在此基础上,又提出了测试充分性准则和测试需求,根据不同的体系结构抽象层次,基于不同的路径覆盖级别,生成测试用例,由此平衡开发成本、进度与质量需求之间的关系.最后,以客户/服务器结构为例说明该方法是适用的.     

一种分布式可视化Dubbo接口测试平台

随着互联网金融的发展,金融业务变得更加复杂,产品功能迭代更加快速.为了支持业务的发展,金融应用开始进行支持Dubbo协议的开发.现有的接口测试框架和工具在支持Dubbo协议、多人协作及测试用例维护及数据分析上都存在问题:首先,没有很好的工具支持Dubbo协议的测试,已有的Dubbo测试框架无法很好地推广;其次,复杂业务会涉及多个应用,目前的框架很少考虑多系统间的自动化配合;再次,单机版自动化测试工具或纯编码方式的自动化测试框架不利于多人协作编写自动化测试用例及脚本的维护;最后,数据分析一般是查看单个子系统测试用例的执行结果,无法很好地对数据进行全局分析.为了更好地管理大批量用例及支持多子系统版本迭代,在已有老框架基础上,使用分布式技术设计并实现了一个灵活的可视化的Dubbo接口自动化测试平台:基于界面操作,提供基于可视化的数据驱动及关键字驱动方式,支持编写复杂测试用例,并基于接口解析的方式,自动生成测试用例.详细表述了可视化的Dubbo接口测试平台的架构、用例管理及用例执行;展示了新平台与老框架的耗时对比、用例增长对比和新平台日常自动化执行情况.     

基于BDD的数据驱动自动化测试方法

针对数据驱动的测试方法中测试用例不能准确测试用户需求,以及测试脚本难以编写的问题,在整个测试过程中融入BDD的思想。使用通用的自然语言来编写数据驱动的测试用例,并根据场景中的步骤进行脚本的编写,从而使测试结果更加准确,提升测试的质量,简化脚本的编写。     

SQL语句模型及其在生成DA交互性测试需求中的应用

与DBMS发生的交互,是导致数据库中数据正确性和完整性破坏的主要原因。因此,测试待测程序中DML的正确性成为了DA测试的重要内容。文中给出了该交互过程测试需求的形式化表示,构建了一种DML的SQL语句模型,将SQL语句中所有与数据库实体（Database Entity）相关的元素,按语义划分为不同集合,并将模型对象映射为测试需求,为数据库交互性测试用例的编写提供依据。     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。     

TD-SCDMA系统基于网元仿真技术的OMC功能测试研究

在TD-SCDMA系统操作维护中心(OMC)的功能测试中往往要涉及到一些与真实网元进行交互的测试用例,而普通的测试方法是无法成功完成此类工作的。为了解决这一难题,在功能测试中我们引入了网元仿真测试技术,作为测试的一个外部辅助测试工具的网元仿真仪表通过高度模拟真实网元实现与OMC系统的消息交互,从而协助测试人员正常、高效的完成对OMC相关的功能测试工作。实际测试证明simulator和真实网元相结合可以很好的完成OMC的功能测试。     

基于XML描述校验规则的数据输入测试用例自动生成方法

采用自动化测试技术是节省软件测试开销、提高软件测试工作效率的重要手段,测试用例设计、测试脚本编写是自动化测试技术的关键。本文介绍的数据输入测试用例自动生成方法,基于数据输入界面有XML描述的校验规则,根据校验规则自动生成大量测试用例数据,并可根据实际需要对测试用例数据的数量、覆盖范围进行控制。．本文还介绍了自动生成测试用例数据的工具软件,及所生成的测试用例在自动化测试工具中的运用方法,从而解决了大量测试数据准备、测试覆盖率、测试执行的相关问题,使用本文介绍的方法,将能在数据输入测试时大大节省测试成本,提高测试精度。     

基于类间依赖集约简的类簇测试用例生成算法

针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

一种Web输入验证的鱼骨刺测试模型

文章在分析Web缓冲区溢出、跨站点脚本编写(XSS)、SQL 注入和规范化等4种输入攻击原理的基础上,提出一种输入验证的鱼骨刺测试模型.该模型根据每种攻击方式分门别类地设计测试方法和相应的测试用例,对Web各个交互文本框输入的数据进行全方位测试.同现有的方法相比,该模型对Web的测试更加全面,能有效防止多种Web攻击.