浅议软件测试与质量控制

我们知道软件开发的过程是极其复杂的,而在软件系统的开发过程中,软件测试的地位是非常的重要的。虽然在此过程中人们采用了许多方法来试图保证软件的质量,但是我们知道软件系统具有客观复杂性的特点,这就是说人们的主观认识不可能完全符合客观实际,同样的,在每个阶段的技术审查中所有的设计和分析上的错误也不可能被毫无遗漏地查出并纠正出来,差错的产生在软件生命周期的各个阶段是不可避免的,因此,本文就主要介绍了软件测试和质量控制的相关问题,并积极探究进行软件测试和质量控制的科学方法。     

一种新的布尔规格测试用例生成算法

为提高布尔规格测试用例生成的效率,对常用的循环赋值方法进行了改进,将检测条件转换为类似合取范式(CNF)的表达式并对各子表达式进行了循环赋值.针对布尔表达式中文字否定错误(LNF)及文字引用错误(LRF)等2种类型的变异,该方法从语法树中发生变异的叶结点处进行回溯,将检测条件分解成子表达式,并分别对各子表达式进行循环从而生成其可满足赋值,最后将上述赋值组合形成测试用例.实验数据显示:该方法有效地减少了测试用例生成时所需的循环赋值次数,且测试用例生成时间的缩减与循环次数的减少呈近似线性关系;相对LNF,该方法对LRF时间的缩减更为明显.研究表明检测条件的分解循环能有效降低总循环次数,从而提高了测试用例的生成效率.     

基于市场需求的软件测试专业的教学改革

通过参加一些公司关于测试技术的研讨会以及对企业的走访,了解市场对测试人员实际需求后,提出对现有软件测试专业的教学计划及教学方式的调整以及校企合作的方向。     

软件测试技术及用例构造方法初探

软件质量保障涉及到软件开发生命周期的各个阶段,软件测试是保证软件质量,提高软件可靠性的关键.本文首先介绍了计算机软件测试的目的和技术,在此基础上对动态测试中的测试用例的构造进行了阐述.     

基于统计覆盖测试技术的软件测试充分性研究

研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准.在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法.     

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

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

试论软件测试技术及其发展

讨论了面向对象的集成测试策略,分析了类和对象层﹑基于构件开发方法的测试,并研究了基于CMMI的软件测试流程的探索。     

第四代白盒测试法的研究

白盒测试是软件测试的一个重要测试方法.随着白盒测试法的提高,第四代白盒测试弥补了前三代的缺陷,开始在整个开发过程中起着越来越重要的作用.     

覆盖变化结点的辅助回归测试工具

回归测试用例设计是回归测试中一项重要的内容，本文从应用的角度出发，在商用软件测试工具产生的程序流程图基础上，提出了覆盖变化结点的所有路径算法，并开发了相应的工具软件。应用实践表明，该工具软件能够有效地辅助回归测试用例设计工作。     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．