一种面向性质的实时系统测试方法

尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,待测系统的行为空间变得非常庞大,使得难以对其进行全面深入测试.本文提出了一种面向性质的实时系统测试方法.首先对UML Statecharts作适当实时扩展,使得扩展后能描述non-trivial时间约束;然后用一种受限实时逻辑描述待测系统的功能特性;在此基础上根据待测性质从系统模型生成有针对性的测试序列.实验表明,在相同测试深度下,面向性质测试比非面向性质测试需要少得多的测试序列.     

UML Statecharts的切片模型检验方法

统一建模语言UML已被广泛应用于软件设计和开发中，而验证UML模型是否满足关键的性质需求成为一个重要问题。由于空间爆炸和语义的复杂性，对Statecharts进行模型检验受到软件规模和设计精化程度的制约。本文在用扩展层次自动机（EHA）结构化的表示UML Statecharts后，通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系。对于由状态和迁移组成的切片准则，给出对EHA进行切片的算法。该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性，且删除了与被验证性质无关的层次和并发状态，缓解了空间爆炸问题。     

UML Statecharts的切片模型检验方法

统一建模语言UML已被广泛应用于软件设计和开发中,而验证UML模型是否满足关键的性质需求成为一个重要问题.由于空间爆炸和语义的复杂性,对Statecharts进行模型检验受到软件规模和设计精化程度的制约.本文在用扩展层次自动机(EHA)结构化的表示UML Statecharts后,通过分析EHA中存在的层次、并发和事件同步等特征定义了一组依赖关系.对于由状态和迁移组成的切片准则,给出对EHA进行切片的算法.该算法能保证切片后的EHA与原来的Statecharts对性质具有相同的可满足性,且删除了与被验证性质无关的层次和并发状态,缓解了空间爆炸问题.     

基于LoadRunner的银行系统性能测试框架的设计与实现

具有高性能容错计算机被广泛地应用于金融、通信、航空等各行业领域的建设中,在此基础上,文章基于LoadRunner软件工程思想进行银行系统性能测试框架的需求分析,给出银行系统性能测试框架的设计优化方案和测试架构,实现了对基于LoadRunner的银行系统性能测试框架设计,为保障银行系统稳定运行创造了有利条件。     

基于UML和XML的测试规范形式化描述

针对分布式系统的测试,需要测试环境及测试规范的支持,文档性质的测试规范不适合计算机仿真的测试环境。为了使测试规范,可以直接应用于测试环境,创造性地用针对系统的建模方法剖析文档性质的规范。通过一种特殊的类划分及关联方法,对测试规范建立基于UML类图的概念层静态模型,并根据一种从UML类图到XML Schema的三层设计方法将其转换为逻辑层静态模型,最终通过映射关系得到了XML Schema,获得了可以直接用于计算机仿真测试环境的形式化测试规范,这种形式化的测试规范具有较好的完整性与一致性。     

一种面向信号的自动测试系统资源分配方法设计

针对ATS中TPS的可移植性差的问题,在ATML框架下研究了面向信号的自动测试系统结构,提出了一种面向信号的自动测试系统资源分配方法。该方法使用信号作为测试系统内信息传输的接口,通过信号匹配为UUT端口分配仪器资源,解决了传统的面向仪器的自动测试系统资源分配依赖硬件资源的问题,提高了TPS的可移植性。     

一种面向系统芯片的FPGA协同验证方法

利用多片FPGA对SOC系统进行功能验证时，原始的系统分割策略常常导致欠优化的结果，有时甚至会付出重新设计的高昂代价。文章在静态时序分析的基础上，提出了一种利用关键路径时延信息提高FPGA分割效率的方法。分割结果表明，该方法能显著改善功能验证效率，明显提高逻辑控制块和I／O的利用率。文中同时讨论了该协同验证策略在处理信号完整性与RTL设计脱节时所具有的优势。     

基于时序逻辑的测试系统的设计与实现

为对某系统工作状态中的重要性能参数进行全程监测和定量分析,并满足在高冲击等特殊环境下使用的要求,提出了一种基于FPGA以及Flash介质的测试存储系统设计方案。详细阐述了硬件系统各组成模块的电路及其工作原理,给出了系统内部数字电路的时序逻辑,介绍了采集中的编码方法和提高存储速度的方法。在实际工作过程中,测试系统达到了准确、可靠的记录技术要求,记录下的数据为器件的工作状态分析提供了详实的依据。     

面向SoC系统芯片中跨时钟域设计的模型检验方法

 传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略.实验结果表明本文提出的方法不仅可以在RTL验证阶段有效地发现跨时钟域设计的功能错误,而且可以使验证时间随实验用例中寄存器数量的递增趋势从近似指数级增长减小到近似多项式级增长.     

面向B/S结构的应用系统的性能测试策略

软件测试已经成为保证软件质量的一个重要阶段,对于B/S结构的软件,性能测试是一个必不可少的过程.文中介绍了性能测试所要注意的几个事项,重点介绍了制定性能测试的目标和场景设计的关键点.     

面向大型地震仪系统的自动化测试框架

由于自动化测试可以使用较少的人工干预实现自动执行大量测试工作从而可以大大提高测试效率,一直受到软件工程师的关注.自动化测试引入大型地震仪系统的测试中,提出了基于混合模型的大型地震仪系统自动化测试框架,并应用于大型地震仪系统的回归测试和稳定性测试中.测试效果分析显示,基于混合模型的大型地震仪系统自动化测试框架具有较高的脚本维护性,可有效缩短脚本维护时间,提高自动化测试效率.     

路由器系统软件测试的方法及应用分析

随着网络通信的快速发展,社会对网络的需求不断提高,路由器作为连接不同网络的关键设备,扮演着越来越重要的角色,是网络通信发展的重要部分,对社会经济发展起到重要的作用.通常,路由器投入运行都需要经过系统软件测试,企业想要提高路由器投入应用水平,那么就需要专注研发系统软件测试方法,提高路由器系统软件的应用效率.为此文章通过对...     

电子设备模拟测试平台框架的设计与实现

本文首先从移动电子设备的软件开发和软件测试的现状开始介绍,然后根据现状分析了当前开发测试模式存在的问题;然后针对真实的手机运行的环境以及运行机制提出了模拟器平台的体系架构,所设计的体系结构实现了两个目标,即应用程序代码的独立性和系统的可配置性。最后,根据所设计的体系结构,使用PC机模拟器对其进行了实现。实验的结果显示,在模拟器上进行软件的开发会显著的提高手机软件的开发效率,而且在模拟器上进行可以非常详细的测试在现实生活中发生的事情,比如来电、打电话和多方通话等情况。     

RTL综合系统设计中时序逻辑综合的实现方法

时序逻辑综合是ＲＴＬ综合系统设计中的一个重要部分。文章系统地论述了时序逻辑综合问题,在分析用户的ＲＴＬ描述形式的基础上,以具体算法的形式,提出基本时序逻辑电路描述综合的实现方法,同时对其它一些综合系统中未引用的复杂时序逻辑电路也提出了具体的综合实现方法。     

面向数据链终端的测试系统

本文介绍了一种面向数据链终端的通用型、自动化测试系统,可改善数据链设备测试效率低下、种类繁杂、兼容性差和测试覆盖范围局限性等问题。详细阐述了测试系统的重要组成部分及软件构架,包括 LXI 总线、可重构波形发生器、软件分层等,总结了测试系统效能提升要素。     

一个基于PLA的FSM测试方案及算法实现

有限状态机（FSM）是一种实现时序逻辑的常用设计模式，目前更加广泛地被应用于数字系统中控制逻辑的实现，本文主要介绍对基于PLA实现的FSM测试方案及其算法流程的研究及设计。该方案所考虑的故障模型是由交叉点故障，触发器功能故障和固定型故障所构成的混合模型，算法流程是在PLA自动测试生成系统基础上进行开发的，因此，可靠性比较高。