嵌入式移动终端软件自动化测试技术研究

在深入分析嵌入式软件测试特点和测试现状、总结对比移动终端软件测试技术和方法后,提出了移动终端软件的自动化测试原理和测试模型。以此为基础,通过手机终端软件测试实例研究,构建出手机软件自动化测试体系结构,讨论了手机软件自动化测试的关键技术,展望了未来该领域新技术发展趋势,为进一步研究移动终端软件自动化测试机制及运行机理提供参考和理论依据。     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

嵌入式软件安全性测试研究

安全性测试作为一种常见的测试类型,在嵌入式软件测试中发挥着重要作用,可以有效保证嵌入式软件稳定、安全运行。本文对常见的安全性测试要点和测试方法进行研究和介绍,为软件开发人员和测试人员提供参考。     

对嵌人式软件进行在线测试和分析提高产品质量

随着嵌入式系统软件的广泛应用。迫切需要一种工具可以对嵌入式软件进行测试。本文在分析常用的测试方法优缺点的基础上，介绍了硬件辅助软件测试工具在线分析与测试方法的原理。实践证明。提出的方法切实可行，真正达到了软件测试的目的。     

无线传感器网络的嵌入式软件测试

介绍了无线传感器网络软件模块的基本组成和其中的数据中转器嵌入式软件部分的功能设计,重点介绍嵌入式软件测试的基本概念、测试方法和关键技术。在此基础上给出了数据中转器的嵌入式软件测试系统的基本框架图和必要的软件测试工具介绍。     

航电设备测试系统的面向对象分析与设计

利用航电设备测试系统(ATS:AvionicsTestingEnvironment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法。论文对ATS的软件进行了面向对象的分析与设计。将ATS软件分为两大构件——实时构件和非实时构件,分别给出了它们的关键类。非实时构件的关键类是配置工具类,实时构件的关键类是模型类、实时变量类和调度器类。实时调度策略为SBRMS(Segment-BasedRMS)。依据论文成果设计和实现的GESTE已成功地对多个软件进行了系统测试,验证了论文研究成果的正确性和有效性。     

嵌入式实时系统软件测试实践

软件质量是软件的生命,软件测试是保证软件产品质量的重要手段。本文从嵌入式系统的特点出发,阐述了嵌入式系统软件测试的实现方法。并结合某无线通信电台软件测试的实例,详细叙述了如何利用Testbed和RTInsight搭建嵌入式实时系统的软件测试平台,说明了在此平台上进行软件覆盖率测试和性能分析的全过程,同时给出了部分测试结果。     

Web应用程序的动态测试生成方法

现有的网页验证方法和工具无法处理动态页面的Web脚本冲突和动态生成的畸形网页错误,为此,提出一个在Web应用领域的动态测试生成方法.该方法使用显式状态模型校验,自动生成测试,并运行测试来捕获输入的逻辑约束,最终输出一个故障报告集.通过一个校园BBS系统实例,验证了该方法在故障检测方面的有效性.     

一种最小测试用例集生成方法

测试用例的数量和质量决定软件测试的成本和有效性．该文提出了一种生成最小测试用例集的方法，该方法首先充分考虑测试目标中各个测试需求之间的相互关系，将满足测试需求的所有可用测试用例进行划分，根据划分的结果生成一个测试用例集，然后利用启发式算法、贪心算法或整数规划方法来消除冗余，对这个测试用例集进行进一步的简化．这种方法与已有方法相比，优点在于它可以生成满足所有测试需求的最小测试用例集．     

基于扩展有限状态机的协议测试集生成研究

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路径的产生.另外,给出了算法的详细说明.     

模型驱动的嵌入式系统测试脚本生成方法研究与实现

自动化测试通过机器运行事先准备好的测试脚本进行测试，提升了软件测试效率。然而，测试脚本存在着编写专业性强、调试工作量大、维护成本高、难以复用等问题，成为自动化测试技术难以广泛使用的主要技术瓶颈。以嵌入式系统为测试对象，提出了模型驱动的测试脚本生成方法。该方法根据BPMN2.0建模标准对测试业务流程进行可视化建模；采用路径深度覆盖算法生成测试路径，根据路径上的约束条件生成测试输入参数；通过自定义的测试动作原语将测试路径和输入参数转化为可在嵌入式系统测试平台ETest上自动执行的测试脚本。实现的原型系统支持嵌入式系统的配置项级和系统级的测试脚本生成，提高了测试工具的易用性和测试模型及脚本的可理解性、可复用性和可维护性。     

基于测试需求集的测试用例集极小化算法

测试用例集约简技术是生成最小测试用例集,最大限度地对软件进行科学有效的测试,从而降低软件测试的成本、提高测试效率的关键技术之一.结合国内外几种算法的策略的基础上,提出了一种基于测试需求集的最小测试用例集的生成方法,该方法能够保证得到优化代表集.     

最小测试用例集生成方法改进及应用

软件测试是保证软件质量和可靠性的重要手段,如何对软件进行全面且高效的测试一直是备受关注的问题。分析了白盒测试与黑盒测试的优缺点;具体分析了最小测试用例生成算法,接着对生成最小测试用例集的方法提出改进：首先消除掉测试需求中存在的冗余,再对由该测试需求生成的测试用例集使用简化算法,得到一组无冗余的测试用例集。这种先对测试需求进行精简的方法,使得测试用例集中测试用例的数量大为减少,提高了简化算法的使用效率。将上述最小测试用例集生成方法运用到Apla到delphi生成器系统的测试中,提高了测试效率。     

软件可靠性测试中最小测试量的确定方法

分析了软件可靠性测试中确定最小测试量的重要意义,阐述了基于操作剖面的软件可靠性测试数据生成方法和软件可靠性测试数据统计特征原理下的确定最小测试量的理论依据和具体方法,提出了该理论指导下的测试数据生成流程,通过实例给出了方法的具体应用过程.     

相邻因素组合测试用例集的最优生成方法

软件系统是一个复杂的逻辑系统,有很多因素可能影响系统的正常运行,组合测试可以对这些因素及其相互作用可能对系统产生的影响进行检测.针对一类只在相邻因素间存在相互作用的系统,文中提出了相邻因素组合测试的概念,分别给出了相邻因素两两(二维)组合覆盖表、相邻因素N(N＞2)维组合覆盖表和多重维数相邻因素组合覆盖表的生成算法,并证明了3个算法均可以生成数量最优的相邻因素组合测试用例集.最后通过实际应用场景,分析了相邻因素组合测试的应用价值.     

基于冗余测试用例的最小测试用例集生成方法

提出一种最小测试用例集的生成方法。保留在某个测试标准下冗余,但在其他测试标准下不冗余的测试用例,即在测试用例集简化期间通过有选择性地保留测试用例来生成一个测试用例集。与已有方法相比,该方法能在不影响测试组大小范围的情况下有效提高错误检测效率。     

浅谈软件测试和嵌入式软件测试

软件测试是保证软件质量,提高软件可靠性的关键。软件测试过程主要分为四个测试步骤:单元测试、集成测试、系统测试和验收测试。软件测试应该遵守其基本原则,包括尽早和不断地进行软件测试、避免由程序员检查自己的程序等。嵌入式系统是指以嵌入式应用为目的的计算机系统,具有其特殊功能。嵌入式软件测试主要有白盒测试与黑盒测试两种方法,有性能分析工具、内存分析工具等多种分析工具。     

基于协议集成测试系统的IP v4协议一致性测试

TCP/IP协议实现的一致性测试是保证Internet网络设备之间互连与互操作的基础.该文基于协议集成测试环境进行了IP（Internet protocol）协议一致性测试研究和实际测试,并针对IP端系统和中继系统分别采用了分布式和远程横断式测试法,设计生成了IP一致性测试集.并且已将IP协议的一致性测试应用到路由器的开发和研制过程中.