基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

基于抽象语法树的代码静态自动测试方法研究

软件测试是排除软件故障，提高软件质量和可靠性的重要手段。从是否需要执行被测程序角度考虑，软件测试分为静态测试和动态测试。动态测试通过输入测试数据，动态执行程序来发现软件中存在的错误。尽管动态测试能发现部分软件错误，但对于一些特殊类型错误的检测无效。鉴于此，本文采取了一种特殊的静态分析技术来实现对代码的测试。本文首先讨论了传统软件测试方法的缺点和局限性，给出了软件的故障模型，进而提出了基于抽象语法树的静态分析技术，并给出了故障自动检测算法。依据该算法开发了自动化测试工具，给出了实验结果和对比分析，并指出了下一步的研究方向。     

面向对象软件中基于服务的类测试

面向对象软件测试是面向对象软件开发的不可缺少的一环 ,是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键 ,基于服务的类测试是面向对象软件测试中的重要内容。本文探讨了一种类的服务的测试模型及相应的测试策略。针对Kung等人提出的块分支图 (BlockBranchDiagram) ,探讨了对服务进行结构测试和功能测试的方法 ,提出了类的服务的测试模型。     

基于构件测试的探索

软件测试是指发现并且指出软件错误的过程。通过对传统软件测试和构件测试的比较,分析了构件测试存在的问题,进行了的构件中基于分域和模型的测试方法的思考。     

面向对象基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段,是保证软件质量、提高软件可靠性的关键。类测试又是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容。本文针对面向对象程序的特性对软件测试的影响,研究了一种基于服务的类测试模型,即服务的块分支图,从而能够更有效地对面向对象软件进行测试,提高了软件的质量。     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

浅析构件测试技术

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,对构件软件的集成测试和性能测试等问题进行了讨论和分析,并给出了构件软件测试的存在问题和研究方向。     

分离式和交际法听力测试的比较

听力测试是语言测试的重要组成部分，也是了解个体语言行为的一种重要手段。数十年来，分离式听力测试模式被广泛应用于各类英语考试中。然而，近年来有很多学者对分离式测试的有效性提出了质疑，他们认为现行的英语听力理解考试不能真正体现受测者的实际语言运用能力。同时，交际法听力测试随着交际法理论的发展而越来越受到人们的关注。这两种测试各有利弊，不能只是简单舍弃，而应扬长避短。     

基于实例的程序测试类型分析

程序测试无疑是保证程序质量的关键步骤。提出新的程序测试类型：在编码过程中测试、系统性测试、自动化测试、测试台测试、目的性测试，并附以实例说明每种类型适用的情况。     

论听写测试之裨益

随着语言学和语言教学理论的发展，语言测试方法也随之变化。在各种各样的测试题项中听写引起了不同甚至截然相反的看法。本文主要阐述了听写的有利一面——高信度和效度，正确的后效反应，实用性，并且是能够测试多项技能的综合性测试。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

一种前置测试的软件开发方法

测试是研发过程中的一个重要环节，但同其他过程相比，测试往往没有得到应有的重视，开发人员会将测试工作视为阻碍其按期完成开发进度的额外的负担。同时，传统的测试模型会推后发现错误的时间。本文介绍一种前置测试的开发方法，在开发之前就提前定义好该如何对程序进行测试，这不仅可以早期发现问题，并能够有效缩短开发时间。本文通过一个实例描述了该方法的基本原理。     

基于结构测试的损伤诊断方法研究

从结构测试的角度论述了结构损伤诊断方法．该方法以结构测试为基础，将测试数据与模型分析结果进行综合分析比较，从中得到结构刚度等参数变化的信息，实现结构的损伤判别与定位定量分析．按测试方式的不同可分为基于静力测试的损伤诊断法、基于振动测试的损伤诊断法以及基于振动和静力综合测试的损伤诊断法．其中基于振动测试的损伤诊断法可进一步分为直接的系统识别方法、损伤指标法和有限元模型修正法．指出了损伤诊断方法的研究现况及存在问题，对今后研究的方向作了展望．     

软件测试方法及用例的选择

软件测试是软件质量控制和质量管理的关键环节,是软件开发企业生存与发展的核心.本文阐述了两种软件测试方法及用例的使用.     

一种并行程序可靠组合测试策略

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串所有的竞争接收项均包含在RT中;最后根据竞争表RT产生竞争变体并进行可达性测试.该策略能保证每个竞争接收项的发送项均发生改变,同时减少竞争接收项的发送项改变次数和运行错误同步串的次数,硬件资源要求不高.实验证明该策略能减少测试同步串和竞争变体的数量,并提高测试的效率、可靠性和实际可操作性.     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。