基于模型的软件测试

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

一种改进的基于动态链接库的代码插装技术

介绍了动态测试的关键技术-“代码插装”的原理，并在已经实现了的面向Visual Basic。语言的测试工具的基础上，提出了一种改进的基于动态链接库的代码插装技术．介绍了面向Visual Basic源程序的代码插装流程。     

面向对象的软件测试环境体系设计

随着面向对象分析、设计技术的不断完善，面向对象测试技术越来越被人们所关米。“八五”期间，在参加国家重点科研攻关课题－“软件工程支撑环境（ＣＡＳＥ）标准化与实用化”的实践中，我们着手研究面向对象测试技术、测试工具及面向对象的软件测试环境。本文针对面向对象的软件测试环境，在体系结构和功能等方面，对面向对象的软件测试技术给予了详细的论述。     

有关面向对象软件测试环境的系统结构

面向对象软件测试环境采取了以中间数据库为核心的软件结构,其中包括有静态数据库的结构和动态数据库的结构,这种设计满足了面向对象语言不断发展的需要     

软件测试自动化的实施方案

文章论述了软件测试自动化的实施，从自动测试的好处、影响软件测试自动化实施的因素等几个方面出发，总结了软件自动化测试的实施方案。     

谈软件测试自动化

随着软件规模的扩大,软件开发要求快速度、低成本和高质量,这使得软件的质量保障成为软件开发的重要环节。软件测试作为软件质量保障中的主要内容,越来越多的受到关注。     

软件测试环境COSTE的设计与实现

介绍一个COBOL软件测试环境COSTE系统的组成结构、主要功能和特点．该系统采用了弱变异、程序插装、测试数据自动生成等一些独特的软件测试技术，可以完成对COBOL程序的静态分析和动态测试，提供关于被测软件的程序特性和异常信息，以夏动态测试结果和结构覆盖信息，并可以根据覆盖情况和结构覆盖准则，自动生成补充的测试数据。以期更好地逼近结构覆盖要求，辅助用户更有效地进行软件维护工作．     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。     

软件测试流程管理研究

软件测试是软件开发人员和用户验证软件产品是否合格的重要手段。管理软件测试流程,建立流程模型,可以在软件测试中作为保证软件质量的主要方法。     

基于面向对象程序设计的软件测试研究

基于面向对象程序设计的软件测试研究马雷，于忠诚（计算机科学技术系）关键词对象，软件测试模型，软件测试工具．面向对象的程序设计方法和程序设计语言做为新一代程序设计风格和程序设计思想，正在被越来越多的软件开发者接受，并在大量的软件产品中体现，这样，对面向...     

基于模型的软件测试

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

一种面向结构的自动化网格测试方法研究

作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一.由于测试策略中"黑盒"与"白盒"的不同,网格测试的框架模型设计也应当予以区别.针对"白盒测试"提出了"面向程序结构的自动化网格测试框架",并在此基础上实现了基于C的自动测试模型.该模型支持了网格测试用例的自动生成以及单元测试、功能测试、回归测试等网格测试活动的自动化.     

基于UML软件测试技术的比较研究

近年来UML图广泛应用于软件开发的各个阶段，特别在软件测试领域，基于UML软件测试技术的研究成为学术热点．本文对基于UML的软件测试技术进行了详细地比较和研究，并且给出了组件工程中UML软件测试技术的几个可行的研究方向．     

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

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

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

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

Empirical measurement of the software testing and reliability

The meanings of parameters of software reliability models are investigated in terms of the process of the software testing and in terms of other measurements of software. Based on the investigation, the empirical estimation of the parameters is addressed. On one hand, these empirical estimates are also measurements of the software, which can beused to control and to optimize the process of the software development. On the other hand, by treating these empirical estimates as Bayes priors, software reliability models are ex-tended such that the engineers‘ experience can be integrated into and hence to improve the models.     

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

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

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

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

嵌入式软件测试策略研究

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