基于计算机虚拟化列车控制系统敏捷测试方法

传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率.     

基于航空领域嵌入式软件的测试模型探讨

测试模型是指导软件测试工作的流程和框架。针对航空领域嵌入式软件项目开发周期短、需求变更频繁的特点,在探讨传统软件测试过程模型的基础上,提出了领域基准模块复用的方法,目的是加快航空嵌入式软件测试效率和提高软件测试质量,从而提高航空软件的安全性和可靠性。     

基于宿主嵌入式软件白盒覆盖测试系统的设计

随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。     

新一代网络应用的系统测试策略──BECOTS的分阶段状态控制法

以北京商品交易所计算机交易系统（ＢＥＣＯＴＳ）为例,讨论了Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构下系统测试的特点及难点,提出了＂分阶段状态控制＂的测试策略,使每个测试用例的设计都是以一组基本数据为依据,基本数据对应于不同的系统状态,并将系统测试划分为由简至繁的几个阶段。通过控制系统状态,极大地减少了回归测试的工作量。提出使用正交设计法来产生系统性能测试时所需的测试用例,从而减小测试开销,提高测试的效率与质量。     

面向SCOTEM模型的软件测试数据生成方法研究

如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.Shaukat Ali等人在UML基础上提出SCOTEM模型,但是此模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,实验证明该方法能够以更高的效率生成高质量的测试数据.     

基于人工免疫算法的高效回归测试用例集约简机制

为了在海量回归测试用例中剔除冗余测试用例,优化回归测试的效率,提出一种基于人工免疫算法的高效回归测试用例集约简机制.首先,构建测试需求覆盖模型,其次,通过适应度函数刻画测试用例集的测试总开销,利用人工免疫算法强大的全局搜索能力约简回归测试用例集.基于真实工程代码构建实验验证了所提机制的有效性,实验结果表明:同现有基于遗传算法的机制相比,在不同的迭代阈值下,平均约简成功率分别从10%,35%和80%提升至100%,同时平均冗余覆盖比率从98%,95%和109%降低到21%,55%和90%,测试用例集约简效果明显;在约简效率方面,所提机制平均迭代次数均小于25次,而对比方案的迭代次数均大于50次,用例约简效率大幅提升.     

业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

应用UML2.0模型的测试用例生成方法

针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

基于贪婪算法的回归测试用例集生成方法

在贪婪算法的基础上,通过测试需求的辅助,提出一种算法.此算法删除了地位低的测试需求,并且不断缩减测试用例的选择范围,以提高算法的效率.     

统计测试中操作剖面的一种优化设计方法

为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.     

嵌入式软件测试策略研究

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

嵌入式软件测试策略研究

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

教学软件测试过程模型研究及应用

教学软件的开发已相对成熟,但在测试方面,尚未形成完善的测试过程模型或体系。在对教学软件所具有的教学性、人机交互性与科学性三大共性特点深入分析的基础上,充分结合了软件工程领域中的软件测试流程,遵循"测试与开发活动同时贯穿于软件生命周期"的思想,提出一个由教学需求设计、测试用例设计、教学设计、软件设计、单元与集成测试、编码、综合测试、教学评价等涵盖了软件开发、测试及评价活动共同组成的针对教学软件的测试过程模型,并通过实际测试项目予以应用实现。     

模糊关系在软件系统测试中的应用

基于黑盒技术在分布式软件系统测试中的应用,提出了系统位态和预期位态的概念．在执行系统测试时,测试用例对系统位态具有控制作用,系统位态与相应的预期位态则表现出模糊性,运用模糊蕴涵逻辑进行研究得到了如下结果：测试用例对预期位态的作用关系是模糊控制关系,其控制程度取决于软件的质量;基于这种模糊控制关系和模糊推理规则,得到了被测软件通过测试的标准值,使测试通过的判定得以量化;文中还得出了量化的系统测试通过准则,并将其应用于自动化测试工具的改进,有效地提高了测试效率。降低了测试成本．     

一种基于构件的嵌入式实时软件测试方法

基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。     

Comparison of SETAM with security use case and security misuse case: A software security testing study

A software security testing behavior model,SETAM,was proposed in our previous work as the integrated model for describing software security testing requirements behavior,which is not only compatible with security functions and latent typical misuse behaviors,but also with the interaction of them.In this paper,we analyze the differences between SETAM with security use case and security misuse case in different types of security test requirements.To illustrate the effectiveness of SETAM,we compare them in a practical case study by the number of test cases and the number of faults detected by them.The results show that SETAM could decrease about 34.87% use cases on average,and the number of faults detected by SETAM increased by 71.67% in average,which means that our model can detect more faults with fewer test cases for software security testing.     

基于优先级的单元测试技术应用研究

考虑到单元测试的并行性,提出了基于函数优先级的测试策略.分析了函数的参数、全局变量和局部变量对函数控制流正确实现的影响,建立了量化的权值影响因子数学模型,并结合函数的控制流图生成了带权值有向无环图,最后根据AOE-网关键路径求解算法,生成被测函数的关键路径,设计测试用例.测试结束之后,再进行次关键路径选择,直至达到测试标准.通过以上技术,合理分配各模块测试计划时间,有助于提高软件测试效率,保证软件质量.     

利用复用技术解决软件测试中的不确定性

探讨了为解决测试中的不确定性所采用的复用技术,分析了测试中的可复用资源,研究面向复用的软件测试模型,提出可复用测试用例的生成过程,指出了测试复用技术的优点和难点.结果表明,该方法可以在一定程度上缩短测试周期,降低测试成本,提高测试的可靠性以及测试效率,具有可行性.