嵌入式软件测试的实践与研究

随着社会的发展,嵌入式系统在人们的工作和生活中起到了越来越重要的作用,手机作为嵌入式系统的代表已经成为人们生活中不可或缺的物品.目前,嵌入式系统中软件系统的比重越来越大,也越来越复杂,嵌入式软件的可靠性正面临严峻的挑战.本文主要工作包括从嵌入式系统的介绍着手,分析了嵌入式系统的硬件及软件构成.分析了软件测试的基本方法和软件测试的过程.重点分析了嵌入式软件测试的特点、测试技术及测试工具.     

浅谈软件测试方法

新软件的开发和推行维护过程中的软件功能正确性、完整性必须依赖于软件测试,测试在软件开发过程中占有40%的地位。软件测试的方法繁多,仔细研究测试方法成为提高软件正确性的重要环节。     

一种软件测试算法的改进及对比实验

为了进一步优化软件测试的时间与效率,设计了二进制编码的微粒群优化的算法改进,构建了算法的原理与步骤,利用VC++6.0平台进行了4种不同结构的基准程序软件测试实验。结果表明:与遗传算法相比,改进设计算法在较大数据范围情况下运行时间更短;设计方法只需要遗传方法约五分之四的进化代数和进化时间就能完成覆盖目标路径的数据。上述研究结果对于计算机软件缩短开发时间具有明显的实际意义。     

一种基于贝叶斯理论的软件可靠度评估方法

针对目前软件测试过程中可靠性度量方法匮乏的不足,提出了一种新的基于贝叶斯理论的软件可靠度评估方法,该方法通过分析软件模块间的影响关系构建贝叶斯网络,利用贝叶斯方法和经验数据评估贝叶斯网络中各节点的可靠度.给出了可靠度计算的详细推导过程,并通过一个具体实例解释了计算过程.该方法能重用已有的测试结果,计算速度快,简单易行.通过对每个模块提供数值可靠度估算,可以作为测试用例选择的依据,降低了测试成本,从而很好地为软件测试提供支持.     

软件测试管理的设计与实践

软件测试是保证软件质量的重要手段,本文介绍了测试管理的概念、内容、分类以及模型,并且通过对软件测试管理系统及缺陷管理子系统具体设计,阐述了软件测试管理系统的功能及如何对测试进行更有效的管理.     

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.     

基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值     

面向对象技术对软件测试的影响

面向对象技术的大量使用成为一种新的流行趋势,而软件测试成为软件开发中越来越重要的一环.本文分析了面向对象技术对软件测试工具开发、测试流程管理、测试信息复用的影响,还探讨了面向对象软件测试的测试层次、测试内容和方法.     

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

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

一种VFSM的图形用户界面的测试方法

采用有限状态机（FSM）来模拟GUI的测试问题具有很大的局限性。作者针对基于FSM的GUI测试的局限性，提出了一个变量有限状态机（VFSM）的形式化模型，该VFSM通过引入一组变量，可以使用较少的状态来模拟复杂的GUI，并且根据GUI设计规范来构造VFSM相对比较简单；然后，给出了一个VFSM－＞FSM的转化定理和转化算法；接着介绍了基于VFSM的GUI测试方法的步骤；最后给出了该方法的一个应用实例数据，数据表明采用VFSM的GUI测试方法大大减少了状态、变换和输出的数量。