基于模型的软件测试

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

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

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

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

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

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

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

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。     

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

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

降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

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

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

面向对象软件测试的几个问题

目前面向对象程序设计技术已经得到了广泛的使用，然而传统的面向过程式软件测试方法已经不能更好地与之相适应，如何对面向对象的程序进行测试?本文主要讨论了面向对象软件测试中的一些问题，包括面向对象软件编码阶段的单元测试和系统集成测试的实施测试。     

软件开发中的测试技术

在分析了软件测试重要性的基础上,提出了软件测试的五大原则,指出软件测试的内容和步骤应基于软件生命周期的全过程,并就测试方法、测试策略的合理选择进行了阐述。通过对测试时间、测试成本和可靠度的关系的分析,给出了软件最佳测试时间的确定方法,并对测试工作的可靠性评价进行了探讨。     

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

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

一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

Web环境下电子公文防伪系统的研究与开发

针对web环境下普遍存在的电子公文被伪造和恶意删改等问题,提出一种方便可行的基于全文特征抽取生成验证码的电子公文加密防伪算法与验证技术.实践证明,采用这种技术开发的电子公文防伪系统能检验各种电子公文的真伪.     

基于模糊匹配的数据库模式测试方法

数据库模式测试是数据库系统测试的重要工作.在前期的研究中已经实现了一种简单的数据库模式测试方法,该方法针对数据库ER模型和逻辑模型不一致的问题进行了研究.但是该匹配方法单一,属于一对一的语义匹配,为了解决这一局限性,提出了一套基于“模糊匹配”的数据库模式测试方法.该方法考虑了以上方法的不足,使用“模糊匹配”对数据库模式进行测试,解决了由于数据库结构复杂导致测试结论误报率高的问题,并且将数据字典信息作为匹配标准,对匹配信息进行种类划分,减少了匹配工作量,同时还将语义信息和结构信息相结合,提高了匹配准确度.     

Web应用测试框架研究

建立一个适应Web应用特性的测试框架,以便于指导、组织测试过程中的各项工作.在分析Web应用特点和传统软件测试流程的基础上,对测试需求分析、测试用例生成选择、测试执行和测试结果分析度量等一系列测试过程加以描述和表示,形成一套规范化、易操作和可扩展的测试流程;研究Web应用测试框架实现技术,分层次表示Web应用模型,采用组合测试等策略生成测试用例,通过Agent自动执行测试并实现测试结果的比较、度量和反馈;有机集成并有效实现各个测试步骤,使之适应Internet环境并积极有效地发挥其指导作用.     

基于Markov链使用模型的加速统计测试方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.     

一种基于模型检验的类测试用例生成方法

提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具,并利用模型检验工具自动生成相应的证据路径,最后将路径转化成满足相应覆盖标准的类测试用例.该方法直接从源代码生成测试用例,并使用贪心法约减冗余用例以降低测试成本.实验表明该方法生成的测试用例具有较高的覆盖率.     

基于应力波的锚杆锚固质量无损检测研究进展

施工工艺、材料特性、环境与荷载长期耦合作用等因素导致岩土体中锚杆锚固结构产生锚固缺陷,对工程安全构成潜在威胁。对在役锚杆锚固结构开展无损检测是进行锚固质量评估、锚杆质量补强的重要环节。应力波法适应强、发展快,是锚杆锚固质量无损检测技术采用的主要方法。从基于应力波法的锚杆锚固质量无损检测理论、室内模型试验、应力波激振与接收、信号处理与分析、数值模拟方面对国内外锚杆锚固质量无损检测技术研究现状进行了综述。研究表明：中国锚杆锚固质量无损检测技术研究起步晚,但发展迅速;现有锚杆锚固质量无损检测技术较为成熟,可实现黏结型锚杆杆体长度及灌浆密实度检测,但其中仍存在不足,限制了锚杆检测精度与检测长度;针对老旧锚杆服役状态的无损检测方法也较少报道,仍需开展研究。最后结合未来发展趋势对未来可能发展的方向进行了展望,后续研究中,应进一步改进与完善现有理论,研发与升级无损检测技术与设备,拓展锚杆锚固质量无损检测技术适用范围。同时,应构建基于无损检测技术的锚杆服役状态智能评价体系并提出锚杆剩余寿命预测方法。     

基于源代码分析的软件静态测试

介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。