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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

跨越Internet的远程异地协议一致性测试研究

在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。     

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

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

一种新的安全通信协议安全性验证框架*

将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。     

远程IP/ICMP协议一致性测试研究

在 INTERNET迅速发展的今天 ,作为 INTERNET的核心的 IP协议的地位已日趋重要 ,IP协议的一致性测试已成为协议工程学的研究重点 .ICMP协议作为 IP模块的差错报告和控制报文 ,与 IP协议的一致性测试具有十分密切的关系 .测试实践向 IP/ ICMP的测试活动提出了新的要求——远程测试 .在 PITS系统 〔1〕基础上 ,清华大学 CNPT实验室进一步开发了 IP/ ICMP远程测试模块 .本文分析了 IP/ ICMP一致性测试远程化的可行性 ,提出了一种测试方法并加以实现     

一种基于特征迁移系统的软件产品线测试方法

为了在软件产品线的应用工程阶段最大程度地复用领域工程的测试用例,领域测试用例需要覆盖领域模型中的变化性.针对此问题,提出了一种以特征模型为出发点的软件产品线测试方法,通过扩展特征迁移系统建立软件产品线的领域行为模型,对模型中的变化性迁移进行抽象,得到精简的测试模型;应用迁移覆盖准则,导出包含变化性的领域测试用例;在应用工程阶段,根据具体应用所包含的特征,绑定领域测试用例中的变化性,复用领域测试用例导出针对具体应用的测试用例.最后通过一个咖啡机产品线验证了该测试方法,导出了可复用的领域测试用例.     

车载嵌入式监控系统软件测试的研究与应用

针对车载嵌入式监控系统具有实时性、复杂性、硬件依赖性等特点,为了保证车载嵌入式监控系统的可靠性,提出了适用于该系统的软件测试方法;对车载嵌入式监控系统测试应遵循白盒测试与黑盒测试相结合的原则,实行人工走查的静态分析法,根据测试的各个阶段采取适当的交叉测试策略,并进行了测试总体设计和测试用例的开发;测试执行结果及其分析表明,采用正确的测试设计方法可以有效的发现车载嵌入式监控系统的各类问题,保证软件质量.     

手机游戏软件一致性测试方法研究

在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP（Wireless Application Protocol,简称WAP）协议。结合WAE（Wireless Application Environment,简称WAE）,WAP协议的应用层,一个用MSC图（Message Sequence Chart,简称MSC）描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架。为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作。     

一种面向TTCN 3测试系统的共享内存管理框架*

为了提高TTCN-3测试组件间通信的性能,在基于TTCN-3的基础测试平台上设计并实现了一套支持动态切换内存管理策略的共享内存管理框架,并在该框架下实现了三套不同的共享内存分配和自动回收策略.框架能够根据系统运行时刻的共享内存统计特征在这些策略中选择性能预期最好的一套,并动态地将当前内存管理策略切换为该套方案.在基础测试平台上运行一系列并发测试用例表明,该框架能提升内存管理以及整个系统的平均性能.     

基于随机Petri网模型的网络协议性能测试

分析了协议性能测试需要解决的主要问题,并以随机Petri网为形式化工具,描述了网络协议的服务质量.提出从随机Petri网模型到TTCN(tree and tabular combined notation)测试集的转换规则,并根据随机Petri网模型生成了协议性能测试例.