一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

协议一致性测试集自动生成技术综述

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法.对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性.最后指出了这一领域中有待进一步研究的若干问题和发展趋势.     

超声波强化提取怀菊总黄酮的试验研究

本文在简单介绍协议测试及一致性测试的基础上,重点评述了一致性测试集自动生成技术的发展状况,分别介绍了基于有限状态机FSM的测试集生成方法,基于形式描述语言Estelle的方法,基于形式描述语言LOTOS的方法,基于形式描述语言SDL和MSC的测试集生成方法。对每类方法均介绍了它的主要原理和重要概念,分析了它的特点及局限性。最后指出了这一领域中有待进一步研究的若干问题和发展趋势。     

构建基于Internet的测试网分析

本文讨论了基于Internet的测试网的特点和制约因素,并对于构建基于Internet的测试网的可行性进行了分析。以便有效地采用Internet所具有的开放性互联通信标准,组建基于现有Internet的通用测试网络。并逐渐用以太网取代现场总线成为工业网络的标准,实现基于Internet的全球范围的通用测试网络。     

基于对象模式关系图的测试顺序生成方法

类的测试顺序对于面向对象的集成测试有着重要的作用．在基于对象关系图（ORD）的测试顺序生成方法上,改进了对象关系图,结合设计模式提出了对象模式关系图（OMRD）,并在对象模式关系图的基础上提出了基于对象模式关系图的测试顺序生成方法．基于对象模式关系图的测试顺序生成方法能在一定程度上解决基于对象关系图的测试顺序生成方法所存在的不足．     

基于混合类测试模型的面向对象程序测试用例生成研究

提出了一种混合类测试模型,能在基于状态的测试中提供有效数据流分析。该模型不仅包含了当前测试类的状态转换信息,且包含了从其执行代码所得到的数据成员的定义及使用信息。基于新测试模型所生成的测试用例主要克服了基于状态的测试不能检测与状态无关数据成员的缺陷,且保证了定义一使用路径的可执行性,能较好地缓解以往数据流测试开销大、效率低的问题。     

多核并行测试系统研究

针对传统测试程序在并行测试中效率提升不明显的问题,结合测试流程提出了基于任务、数据、数据流的3种分解方法,以解决测试中的可并行性分解问题.将大幅增加了并行能力的多核(MCP)技术引入并行测试平台,使得任务并行度的实时性进一步得以提升,进而提出了基于工作量的并行测试任务调度策略,优化了MCP平台的测试流程与任务调度,解决了单核测试程序对MCP技术利用率不高的问题.实验结果表明,基于MCP的测试平台较之单核平台的测试效率可提升30%～50%.     

基于因特网的远程测试技术(Ⅰ)--总体分析与规划

首先介绍了基于因特网的远程测试技术的需求、特点和发展,分析了基于因特网的远程测试系统应具备的功能、结构及其工作流程,重点论述该类系统的总体规划原则以及软硬件的选择方法,为基于因特网的远程测试技术研究奠定基础.     

用于轻度认知障碍测试的自然交互方法

为了提升轻度认知障碍(MCI)测试的准确性与有效性,研究了一种基于自然交互的轻度认知障碍测试方法,并基于此设计面向临床诊断的脑健康测试系统.基于语音辅助交互,开发智能辅助判断的记忆测试交互算法,以传统纸笔书写行为为切入点,使被试能够通过传统的纸笔完成和电脑的交互,主试基于智能判断进行测试,两者通过自然交互达成脑健康测试...     

一种基于攻击树的渗透测试模型

借鉴攻击树理论,设计了一种基于攻击树的渗透测试模型,并给出了基于攻击树的渗透测试流程。     

基于JavaBean的构件测试方法研究

介绍了基于构件的软件开发过程，阐述了当前构件测试的发展现状，提出将传统软件测试中的动态和静态测试结合进构件测试，并以实例分析了基于JavaBean的构件测试，从而更好地展现了该测试方法．     

基于分离轴理论的有向包围盒重叠测试算法

基于分离轴理论,给出有向包围盒（OBB）重叠测试的一个快速算法,讨论了该算法有效测试的几个问题。基于分离轴理论的OBB重叠测试算法能快速计算凸多面体的重叠性,提高了相交测试的实时性。     

一个基于FSM测试自动化方案与实现

测试自动化是软件测试追求的目标.文章对一个基于FSM测试自动化方案及实现开展研究,给出了基于FSM的测试用例自动生成、测试用例自动执行以及结果自动比较的过程,并提出实现方法;以项目CQMIS为例,使用自动化测试工具RFT,依据提出的基于FSM测试方案实施自动化测试,效果良好.     

基于有色Petri网模型的GUI测试用例自动生成技术

通过图形用户接口(GUI)测试已经成为软件测试的主要手段,但现阶段GUI测试自动化程度不高.针对这一问题,提出了一种基于模型的GUI测试用例自动生成技术.给出了基于有色Petri网模型的GUI对象建模方法.定义了2种测试覆盖标准,设计了基于不同测试覆盖标准的测试路径和测试数据生成算法.介绍了支持工具GUI测试用例生成器(GTCG)的设计与实现.实验表明: 该模型可有效地描述GUI系统的状态和行为,该技术有助于提高GUI测试的效率和质量.     

基于TTCN-3的Web应用负载测试方法

针对Web应用负载测试的需要,提出了一种基于TTCN-3的Web应用负载测试方法。采用TTCN-3函数建模用户访问Web应用的基本行为,通过并发测试组件模拟并发用户行为。由主测试组件创建大量并发测试组件形成负载,并协调不同测试节点上的并发测试组件实现负载测试。为便于组织实施测试,设计了基于TTCN-3的分布式负载测试框架。将该方法用于网上书店的测试,验证了该方法的可行性与有效性。     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点，给出基于Petri网进行测试研究的相关概念，提出了基于Petri网的考虑控制流进行测试的标准，也给出了考虑数据流进行测试的标准．然后通过例子，给出了基于各个标准产生的测试路径，最后给出了结论以及下一步应考虑的问题．     

基于UML模型的组件集成测试方法

统一建模语言（UML）已经广泛应用于基于组件的软件开发过程中.许多UML模型，如交互图、状态图和组件图等从不同的角度刻画了组件的行为，可将其用于基于组件的软件系统的测试.本文首先提出了一个基于UML模型的测试框架，并对基于UML模型的组件集成测试方法进行了比较，然后将基于协作图的组件测试技术应用于ATC系统的集成测试，取得较好效果.     

虚拟仪器的超高强混凝土结构性能测试

虚拟仪器技术在工程结构测试中的应用越来越广泛,结合预应力混凝土结构性能研究平台,以LabVIEW为平台设计了载荷、挠度、钢筋应变、混凝土应变的实时测试系统,并阐述了基于虚拟仪器的测试系统的硬件组成、数据采集和程序框图设计。基于该测试系统,对超高性能混凝土———混凝土界面性能、超高强预应力混凝土结构性能进行了测试。结果表明,基于LabVIEW编程的虚拟仪器测试表现出精度高、性价比高、界面友好、智能化的优势,特别是能够实时观测,避免了传统测试方法中的数据后处理,是混凝土结构试验的理想选择。     

基于以太网和PCM的分布式机载测试系统时间延迟分析

目前分布式机载测试系统主要采用PCM和以太网的体系架构,机载测试系统的时间延迟影响着数据采集的实时性、准确性和高效性。在介绍基于PCM和基于以太网分布式机载测试系统的基础上,分别给出了PCM、以太网架构下系统基于模拟量的时延测量方法;并针对同一模拟量信号分别在PCM和网络分布式机载测试系统下对其时延进行了测量,并对实验结果进行了分析。同时根据实验结果对机载测试系统的配置和应用方面提出了一些建议。     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.