基于PolySpace的嵌入式软件内存测试

基于嵌入式软件的测试经验,针对嵌入式软件特点,研究了基于PolySpace的嵌入式软件内存测试方法,分析了PolySpace使用的语义分析技术,以实例讲解了如何实现内存测试,并指出对覆盖率测试的帮助。对于嵌入式软件测试,具有实际参考价值。     

嵌入式软件动态内存检测工具的设计与实现

针对嵌入式软件中的内存泄露、内存写溢出等问题,提出嵌入式Linux平台下数据采集和测试分离的交叉测试方法,设计实现一个嵌入式软件动态内存的检测工具。该工具可以检测软件的内存泄露、内存写溢出、释放野指针和内存管理函数不匹配等问题,通过一个实例验证其有效性和可靠性。     

基于虚拟仪器技术的曳引机测试系统设计

电梯曳引机的传统测试方法存在效率低、成本高、数据处理繁杂等问题。为解决这些问题,设计了基于虚拟仪器技术的曳引机测试系统。实验结果表明:该系统具有测试精度高、自动化程度高以及运行可靠的特点,验证了采用虚拟仪器技术对于改进曳引机的测试方法的有效性。     

基于Android的自动化测试的设计与实现

以Android客户端的测试为研究内容,分析了Android自动化测试框架及其层次关系,尝试在现有测试方法的基础上进行测试手段的优化和创新。研究了基于JUnit和instrumentaion的Android自动化框架的实现技术,并利用Hudson进行集成,实现Android的自动化测试。产品的开发实践表明,这种自动化测试方法效率高、用户体验好,对于Android的自动化测试研究具有一定参考价值。     

Fuzzing 测试技术综述

Fuzzing 测试技术能够自动识别出二进制文件中的安全问题,这是一个新兴值得研究的领域。Fuzzing 技术从早期的手工方式逐渐发展为现在的自动化甚至智能化方式。文章对现有的 Fuzzing 测试方法进行了比较和研究,总结目前 Fuzzing 测试框架的特点,并预测了其未来发展方向。     

电力调度数据网资源统一的自动化测试框架设计与实现

电力数据网对其硬件资源的安全性和可靠性有着很高的要求。而随着电力数据网的飞速发展,其对硬件资源的需求量也不断增加。为保障电力数据网的稳定高效运行,需要通过对硬件资源进行测试筛选出合格的硬件设备。然而,传统电力调度数据网测试,采用完全人工方式,存在测试效率低、仪器资源调度困难等问题,在时间效率上无法满足电力数据网的发展需求。为此,提出了一种针对电力数据网资源的统一自动化测试方法。通过对实际试验资源及测试业务进行抽象,将虚拟化技术与自动化测试技术和软件质量管理融合,设计了一个可对资源进行统一调度的数据网自动化测试框架。以路由震荡为典型测试案例,对所提出的自动化测试方法进行了实验验证,结果表明该测试方法的性能达到了预期并具有良好的可行性。     

基于遗传算法的业务流程测试

当前很多大型软件都不是采用单一的实现技术,面对于不同的实现技术,要求测试人员在不同的平台下分别对所测试的部分进行测试。为了提高自动化测试的效率,减少测试开销,提出了一种基于STAF的自动化测试平台。首先对目前现有的自动化测试框架归纳分析;然后提出基于STAF的自动化测试平台的系统架构;最后给出平台的关键部分：测试引擎的实现方式。结果表明该平台具有提高自动化测试效率,减少测试开销,支持分布式测试方法等优越性。     

基于敏捷测试的自动化技术分析与实践

通过分析敏捷测试区别于传统测试的不同点,将敏捷法则应用到测试自动化上.然后分三个层次讲解基于敏捷理论的自动化测试方法.最后结合敏捷项目短周期、快迭代的特点,证明了UI自动化测试在敏捷项目中的成功运用.     

Watir自规范测试框架在一体化项目测试中的应用

广东省水利业务一体化管理系统是广东省水利数据中心工程（数据中心工程）的重要组成部分,项目具有集成度高、大型、复杂等特点。基于传统的手工测试方法在一体化系统测试工作中严重制约了测试乃至项目研发的效率,通过实践文中提出了一种基于Watir的自规范测试方法,在有效降低一体化系统测试成本、缩短项目开发周期、提高项目研发效率的基础上消除了自动化测试带来的bug重现率降低的问题。该方法具有高效、可靠、稳定、便于实现等优点。     

面向RISC-V内存一致性测试的自动化分析方法

开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范。在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试。测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试（又称Litmus测试）,通过程序运行的最终状态推测芯片内存一致性模型。通常,更为宽松的内存一致性会导致更多的程序状态。分析Litmus测试结果对于验证芯片的RVWMO兼容性、探索多核系统的内存一致性优化的可能性具有重要意义。以RVWMO规范下允许的程序状态为基准,芯片实测得到更多的程序状态表明其存在兼容性问题,得到更少的程序状态表明其仍具有优化空间。面对规模庞大、行为复杂的Litmus测试,如何对其测试结果进行自动化分析是亟待解决的问题。本文对Litmus测试的原理和输出结果进行了深入分析,提出一种面向RISC-V内存一致性测试的自动化分析方法,采用形式化方法对Litmus测试进行基于RVWMO规范的模拟运行,并通过与芯片的实测结果进行对比分析给出测试结论。本方法基于Hifive Unmatched开发板开展测试。实验表明,本文提出的方法可快速、有效地对RISC-V内存一致性测试进行自动化分析。     

应用软件自动化开发的实现研究

基于组装软件技术,提出了一种实现应用软件开发自动化的新方法,给出了可进行自动化开发的应用软件系统架构和自动化开发平台架构.设计实现了集方法和工具于一体的应用软件自动化开发平台,并对业务组件的自动生成和基于业务流程的应用软件系统组装作了进一步研究.该方法是对传统组构件技术和工作流技术的突破,已成功获得应用.     

Web应用程序的一种功能自动化测试模型与实现

Web应用程序相比于传统的应用程序有其自身的特点，对软件测试提出了新的要求。该文针对Web应用程序的特征，提出了一种Web应用程序的测试框架，形成了一套规范化、易操作、可扩展的测试流程；并在该框架的基础上讨论了一种实现技术，开发出了相应的Web应用程序功能自动化测试的工具。该工具在实践中被证明是有效的，能及时发现Web应用程序中的错误，使迭代开发过程中的回归测试变得简单而方便。     

.Net框架下测试脚本自动生成技术研究

软件测试自动化的目的是通过自动执行测试脚本,使测试人员在更短的时间内能够更快地完成更多的软件测试,降低测试成本、提高测试效率。因此,自动化测试工具的脚本自动化创建能力和可维护性,就成了衡量自动化测试工具的重要因素。本文利用在.NET框架下提供的反射及代码文档对象模型命名空间,以及数据驱动脚本技术实现了测试脚本的自动生成,从而实现了整个软件测试过程的自动化,提高了软件测试效率。     

云计算环境下的软件测试服务分析

信息技术的快速发展为各行业领域注入新鲜的活力。以软件测试服务为例,传统测试方法应用下,测试效率 难以得到保障,且需耗费较多成本,而云计算环境下,软件测试更具便捷、高效等特点,且带有一定的自动化特征。本文主要对 云计算技术的相关概述、传统软件测试的主要方法、云计算环境下软件测试服务交互平台的设计以及软件测试中测试云系统 的构建进行探析。实现云计算环境下的软件测试,满足现代软件测试高效、便捷等要求。     

基于用户操作的事件流模型构建方法研究

随着GUI的应用越来越广泛,GUI软件的功能性测试变得越来越重要,它是确保整个系统安全性、可用性和鲁棒性的重要因素。虽然测试人员对GUI软件的自动测试技术研究比较多,但基于模型的自动化技术却很少能用于实践中,关键原因是研究人员提出的模型在应用方面具有其局限性,更重要的是,构造模型是一个非常困难的过程。在手动测试不可或缺的情况下,提出了通过录制用户操作来构建事件流模型的方法,方法实现模型简单准确,通过模型可以生成大量有效的测试用例,提高测试GUI软件功能的充分性。     

基于RIA的遥感信息系统的压力测试实现

遥感信息系统相对于传统的软件系统有自己的特点,随着遥感信息系统的广泛应用,它的性能也越来越引起人们的广泛关注。Silverlight是极为热门的一种RIA开发技术,一个使用Silverlight技术的遥感信息系统通常是由大量终端用户同时使用的,传统的手工测试已经不能快速有效地解决问题。提出了一种借助自动化测试工具LoadRunner11.00进行压力测试的方法,对某个使用Silverlight技术的遥感信息系统进行自动化压力测试,并通过分析测试结果数据来调整和优化软件系统的性能。     

通用网管接口测试事务模型的描述方法

网管接口一致性测试的自动化技术一直是相关测试研究工作的重点之一,而测试事务模型的提出使网管接口一致性测试的自动化程度迈上了一个新的台阶。文章基于对网管接口一致性测试的研究和实践,提出了一种基于XML格式的测试事务模型描述方法,给出了该描述方法的Schema定义。文中研究的描述方法可以应用于目前主流的网管接口技术,并在网管接口测试过程中减少大量的人工操作,缩短测试周期,显著的提高了测试效率和测试自动化程度。     

如何实现软件开发工艺的突破?谈组装软件-应用软件开发的新技术、新工艺、新工具

该文对软件产业的发展及近来在美国业界的发展趋势进行了深刻的分析,从传统制造业的特性与发展史来分析现阶段的软件产业发展的主要矛盾,得出了未来十年对软件产业起决定性作用的将不再是技术,也不是单元劳动力成本,而是工艺的结论。在此基础上,该文首次提出“组装软件”的新工艺,并对软件开发自动化做了进一步的探讨。“组装软件”是在现有成熟技术的基础上发展起来的一种应用软件开发新工艺。利用这种新工艺及其相应的开发工具来开发应用软件,其成本将是传统开发方法的零头,开发周期也将缩短90%以上;新工艺开发的系统可适应需求的随时变化,从而大大降低应用系统的二次开发和维护成本(总拥有成本),这将对软件产业带来一种革命性的变化。超短开发周期的开发工艺对于建立处理象非典这种突发性事件的信息系统非常有意义。     

SFMEA安全性分析技术在软件安全性测试中的应用

随着软件在现代高可靠性装备中的比重和关键程度越来越高,传统的软件安全性测试方法已经不能满足当前测试要求,本文主要介绍一种新的安全性测试分析思路和方法——SFMEA技术在软件安全性测试中的应用,以弥补安全性测试需求分析和测试用例设计不足问题.文章首先分析介绍了常规安全性测试内容和方法及其不足,同时分析说明了引入新的安全性测试方法的必要性,然后介绍了SFMEA安全性分析技术相关定义、方法以及流程等,最后结合实例详细描述了基于SFMEA安全性分析技术的软件安全性测试方法与工作流程,并对基于SFMEA安全性分析技术进行安全性测试工作优缺点以及重点关注内容进行了总结.     

基于改进遗传算法的测试数据自动生成的研究

测试数据自动生成是软件测试的基础,也是测试自动化技术实现的关键环节。为了提高测试自动化的效率,在 结合 测试数据自动生成模型的基础上,提出一种 传统遗传算法的改进算法。该算法使用了自适应交叉算子和变异算子,并引入模拟退火机制对其进行改进。同时,该算法还对适应度函数进行了合理的设计,以加速数据的优化过程。通过三角形程序、折半查找和冒泡排序程序,与基本遗传算法、自适应遗传算法进行了比较与分析,并且对改进算法做了性能分析。实验结果表明了该算法的实用性以及在测试数据生成中的可行性和高效性。