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

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

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

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

基于UML状态图的自动化测试系统研究与实现

以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。     

基于K-means聚类的组合测试用例生成优化算法

针对组合测试生成的测试用例在程序结构测试中出现冗余的问题,应用K-means聚类算法对基于蚁群算法生成的组合测试用例集进行聚类优化。以白盒测试中的逻辑覆盖为依据,将测试用例程序覆盖差异度作为分类的量化标准,根据测试代价决定聚类数目,在每个聚类簇中抽取处于中心点的测试用例构成新的集合。实验结果表明,该算法可以有效减小测试用例集的规模;对比分析不同覆盖准则,可找到在测试用例标准化过程中最优的逻辑覆盖方法。     

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

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

基于组合覆盖的文档转换器集成测试用例生成

通过对中文文档格式标准"标文通"(UOF)和XML实例文档进行形式化定义,统一了文档转换器测试功能点粒度划分标准,实现了测试用例覆盖率的度量;设计基于两两组合覆盖算法的文档转换器集成测试数据集构造方法,得到最小化的测试用例集,解决了文档转换器的人工集成测试用例设计简单、增量策略不合理、用例数量随着输入参数的增加呈指数增长等问题。在此基础上开发了文档转换器测试用例生成原型系统。实验表明:该系统可以生成文档转换器集成测试用例,在保证测试用例覆盖率的基础上,有效降低集成测试用例数量,减少测试用例设计时间,提高测试效率。     

基于LoadRunner和正交试验设计法的数据驱动测试研究与应用

为了实现软件功能测试的自动化并达到软件功能测试事半功倍的效果,给出测试逻辑、测试数据(集)和测试用例(集)的数学定义及其相互之间的关系,并提出了1种软件自动测试技术:基于LoadRunner和正交试验设计法的数据驱动测试技术。首先,借助于软件测试工具LoadRunner生成1个测试逻辑;其次,基于正交试验设计法生成该测试逻辑较少的、高质量的、典型的测试数据;最后,借助于软件测试工具LoadRunner自动执行该测试逻辑的测试用例集并分析其测试结果。同时给出该软件自动测试技术的应用实例,实验结果表明,该技术能够减少测试用例数量且提高测试效率。     

一种基于模型检测Web 应用生成测试用例的方法

提出了一种从用户角度以重构Kripke结构建模并测试Web应用的方法。Web应用中的网页、构件及其关系被看成是原子命题,测试覆盖准则被转换为用计算树逻辑(Computing Tree Logic,CTL)表示的陷阱性质(Trap Property),生成的反例可以实例化来构造测试用例。但是一个陷阱性质生成一个反例将导致生成太多的冗余的测试用例,因此给出了一个测试约简规则来减少冗余的测试用例。最终生成的测试序列将满足给定的覆盖准则并没有冗余。     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

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

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

理论力学试题库的设计与实现

阐述了试题库管理系统中的试题选择原则,试题的约束条件,组卷算法及策略;介绍了所设计的理论试题库管理系统的主要功能,采用计算机提供的随机函数结合自动组卷思路确定试题库结构。两年来的实践表明,系统具有较高的效率和实用性。     

基于XML的想定可重用技术研究

为提高想定数据的可重用性,提出了基于XML的想定描述方法.利用Schema定义想定数据的约束规则并进行语法检查,运用XML所提供的Xquery标准和Xpath标准实现想定数据的可伸缩性、动态裁减和重组,设计并实现了一种基于XML的想定生成系统.实验结果表明,该系统提高了想定资源利用率,缩短了想定开发时间.     

基于MSC测试目的的协议互操作性测试生成

提出了一种基于MSC(消息序列图)测试目的的互操作性测试生成方法.采用通信多端口有限状态机作为被测系统的描述模型,MSC作为互操作性测试目的的描述模型,使用全局状态跟踪和逆向查找等技术从系统规范中生成包含该测试目的的测试序列.该方法由于只需遍历系统的部分状态空间,因此在一定程度上减少了发生状态爆炸问题的可能.在移动IPv6协议系统中的应用表明,该方法具备一定的可行性.     

故障诊断树生成技术研究与实装验证

讨论了基于相关性矩阵的故障诊断树生成技术和优化方法：采用设置故障测试点,得到故障信息相关性矩阵,以描述系统各单元的逻辑关系。利用故障检测、故障隔离化简相关性矩阵,并通过生成故障诊断树的方式得出故障测试最优步骤,从而将故障快速定位到可更换单元。通过介绍某装备系统的故障诊断树生成过程说明诊断树的生成步骤,并用该诊断树对装备进行故障检修,说明其正确性、实用性和优越性。     

基于二叉树的族谱生成系统的设计与实现

针对历史较长的家族数据量大,普通书籍方法查阅起来困难的问题,设计一款基于二叉树的族谱自动生成管理系统,系统主要利用计算机数据结构中的二叉树,对家族的族谱进行生成及实现管理功能。实验证明,系统能有效实现族谱的自动生成,具有一定的应用性。     

基于模型的车载设备测试用例自动生成研究

针对人工生成测试序列的不足,提出基于模型的车载设备测试用例自动生成方法。首先按照系统需求规范,在UPPAAL环境下运用时间自动机对车载设备进行建模及验证,然后将建立的模型导入到基于覆盖度算法的模型辅助工具Cover中自动生成测试用例,最后分析了自动生成的测试用例的正确性。       

基于无线手持的二维条码辅助拣选方案研究

针对传统的拣选作业方案进行了分析,结合方案需求阐述了二维条码的生成原理与打印过程,在无线条码扫描技术的支持下,提出了基于无线手持的二维条码辅助拣选方案及其实现.结果表明对提高拣选效率、降低生产成本有较明显的效果.     

利用有限元技术获得弹簧参数

针对气门弹簧动力学参数的获取方法展开讨论.在构建气门机构虚拟样机的过程中,气门弹簧采用“多质量 非线性连接”的动力学模型,基于MSC.Nastran和MSC.MARC平台对气门弹簧的模态进行模拟,并分别对各个簧圈的刚度特性进行模拟.通过与整体弹簧模型和物理实验的对比,以及通过气门机构动态实验和仿真分析的对比,证实了本文参数获得方法的可靠性.依据得到的弹簧参数建立了气门机构虚拟样机,并对气门弹簧的动态特性进行了仿真分析.实验证明,本文提供的方法为气门弹簧模型提供一个几乎完全数字化的分析方法.     

基于JAVA的考试系统中题库设计及组卷算法

设计了基于JAVA的考试系统中的题库子系统。系统采用拆分设计方案,组卷部分采用了2种组卷算法,即抽取组卷算法和基于洗牌算法的组卷算法。论述了题库的设计方案和抽取选题的组卷算法的设计过程,并给出相应的代码。该系统具有较强的通用性与可推广性。