基于编译时插桩的浮点异常检测方法

浮点数是实数的有限精度编码,在进行浮点计算时,可能会导致不精确或者异常的结果,因此实现有效的浮点异常检测方法很重要。现有异常检测方法不面向浮点数学函数,由此提出了一种面向浮点数学函数的异常检测方法。该方法依据IEEE-754标准中定义的上溢出、下溢出、被零除、无效操作和不精确5类异常,并结合申威高性能数学函数库中使用的浮点控制寄存器FPCR和IEEE-754标准定义的浮点异常产生条件的相关理论,通过将异常类型和浮点运算指令进行对应分类,在程序编译时进行插桩以检测出浮点数学函数中出现的异常,同时记录代码覆盖率。最后将该方法应用于数学函数库,对库中100多个浮点数学函数进行了测试实验。实验结果表明,该浮点异常检测方法能够有效检测各类异常。     

Linux平台下创建和使用用户函数库

本文介绍了Linux平台下有关库的概念,描述了利用Linux下一个高效的鳊译器Gcc创建共享库的方法,并以创建数值计算中特殊函数库为例,着重阐述了在实际应用中创建库应注意的问题和处理方法。     

IEEE754标准浮点测试向量的生成

介绍了在IEEE754标准的规定下生成用于浮点功能部件的测试向量的方法,讨论了测试向量在数据通路上的差错覆盖率,并给出了对该方法的一些改进措施。     

一个通用的并行函数库

并行程序的设计在思路和方法上与串行程序有着本质的差别,其开发难度也比较大。为此,设计开发了一个通用的函数库来降低并行程序的开发难度。该函数库以MPI为基础,对并行程序开发中的常用功能进行了封装,具有一定的通用性。该函数库可以大大简化MPI并行程序的开发。并从区域分解、数组下标和循环变量的转换、数据交换和全局规约、输入输出等几个方面对该函数库进行了介绍,然后以数值求解二维拉普拉斯方程为例介绍了使用该函数库将串行程序改为并行程序的方法和步骤。目前已经成功地将其应用到风暴潮数值模式的并行化中,取得了较好的效果。     

VC中使用Matlab C++数学函数库

介绍了VC＋＋中使用MatlabC＋＋数学函数库的方法,将VC＋＋与Matlab结合用户发挥这两大软件的优势。     

高速深流水线浮点加法单元的设计

在X87执行环境下,采用基于Two-Path算法的并行深度流水线优化算法,设计了一种能够实现符合IEEE-754标准的单精度、双精度和扩展双精度及整型数据且舍入模式可控的高速浮点加法器。采用并行深度流水设计,经验证,功能满足设计要求,使用TSMC 65 nm工艺库进行综合,其工作频率可达900 MHz。     

X-DSP浮点乘法器的设计与实现

为了满足高性能X-DSP浮点乘法器的性能、功耗、面积要求,研究分析了X型DSP总体结构和浮点乘法器指令特点,采用Booth 2编码算法和4∶2压缩树形结构,使用4级流水线结构设计实现了一款高性能低功耗浮点乘法器。使用逻辑综合工具Design Compiler,采用第三方公司0.13μm CMOS工艺库,对所设计的乘法器进行了综合,其结果为工作频率500MHz,面积67529.36μm2,功耗22.3424mW。     

VC＋＋直接调用MatLab数学函数库的关键

主要讨论了VC＋＋直接调用MatLab数学函数库的关键,并分别以实例说明了VC＋＋直接调用MatLab数学函数进行矩阵运算的方法和通过Matlab引擎执行Matlab绘图命令进行绘图的方法。     

基于安控平台可信性测试的研究

安防监控系统是一个较为复杂的计算机软件系统。对其进行可信性测试需要有一个好的可信性测试方法和一个自动化测试工具。安控平台性能测试模拟器作为一个自动化测试工具,通过软件手段,按照预定的测试计划进行安控平台系统的可信性测试。其目的是减轻手工测试的工作量,提高安控系统测试质量,对当前的安空平台的可信性水平做出客观评估,为提升平台可信性水平提供依据。     

一个路由协议测试平台的设计与实现

提出了一种应用于路由协议测试的平台设计方案。它通过IP(Internet Protocol)组播技术实现，具有高效、系统扩展性强的优点，可支持IPv4／IPv6路由协议的测试。     

一种基于事件处理函数的GUI测试方法

事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI 测试的重点.针对现有的基于模型GUI 测试用例自动生成过程中面临的测试用例规模庞大以及生成的测试用例无效问题,从分析事件处理函数的角度出发,提出了一种GUI 测试模型EHG.针对此模型,结合事件处理函数及其代码结构,提出了两个测试覆盖准则：完整最短路径覆盖准则和完整最短路径定义-引用对覆盖准则;利用基于反馈的测试用例生成技术生成测试用例.实验结果表明,针对较为复杂的应用,该方法不仅能够有效控制测试用例规模,消除无效测试用例,而且生成的测试用例能有效提高事件处理函数的代码结构覆盖率.     

面向火炮火控系统的嵌入式软件测试平台

火炮火控系统属于软件密集型装备,其嵌入式软件对其性能有着重要影响,而软件测试是保障其效能的重要途径。从火炮火控系统鉴定的需求出发,在借鉴通用嵌入式软件测试技术的基础上,充分考虑其测试具体要求,设计了功能测试和性能评价的方法,并设计实现了一个测试平台。平台采用模块化结构交付所需的功能部件,通过从火控系统总线注入数据并采集结果的方式实施测试,有效满足了测试人员对火炮火控系统嵌入式软件鉴定的要求。应用表明,该平台具有很好的针对性和适用性。     

浮点数学函数异常处理方法

异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数溢出存在的可能.针对上述现象,面向基于汇编实现的数学函数,提出了一种针对浮点运算的分段式异常处理方法.通过将异常类型映射为64位浮点数,以核心运算为中心,将异常处理过程分为3个阶段:输入参数检测(处理INV异常)、特定代码检测(处理DZE异常和INF异常)以及输出结果检测(处理FPF异常和DNO异常),并从数学运算的角度对该方法采用分段式处理的原因进行了证明.实验将该方法应用于Mlib浮点函数库,对库中600多个面向不同平台的浮点函数进行了测试.测试结果表明:该方法能够将出现浮点异常即中断的函数个数从90%降到0%.同时,实验结果验证了该方法的高效性.     

面向电网流式数据处理的性能测试平台

提出一种面向电网流式数据处理的性能测试平台的系统架构及关键技术.针对电网流式数据的业务场景特点,测试平台支持基于浏览器的测试脚本设计和测试场景设计,并支持测试任务的全生命周期管理和高可用保障.为了满足大规模负载测试需求,测试平台提供基于Linux容器的虚拟化测试资源池,实现了测试资源的轻量化、弹性管理.     

支持用例集并行测试的接口测试平台

针对手工测试成本高、时效性弱和传统的接口自动化测试工具扩展能力不足问题,提出了一个支持用例集并行测试的接口测试平台(OLa). OLa采用分层架构模式将系统分为用户展示层、应用逻辑层、数据服务层和用例执行层.其中,用户展示层基于Vue框架开发,结合Vue Router、Vuex等工具实现单页应用;应用逻辑层基于Spring Boot框架开发;数据服务层基于MyBatis-Plus框架和Spring Data框架开发;用例执行层使用okhttp3、fastjson、jackson等工具实现接口测试.此外,基于系统技术架构、Java网络编程和面向抽象编程的思想,创新性地提出了基于C/S模式的用例执行流程和基于参数识别的自动匹配校验方法,解决了传统的自动化测试工具无法支持并行测试的问题.实验结果表明本文设计与实现的OLa接口测试平台支持单用例测试、用例集的串行测试和并行测试,能够自动识别用例参数并对接口响应内容进行校验,提高了接口测试的灵活性和有效性,降低了测试难度,并能够在用例之间无相互依赖的情况下提高接口测试的效率.     

财政平台一体化应用系统性能测试

性能测试是通过模拟真实环境下的负载,采集系统各方面的性能指标,评估系统正常运行情况下的承受力和稳定性,分析系统的性能与存在的瓶颈。应用LoadRunner测试工具,从性能指标和性能测试方法两方面,深入地分析了性能测试过程和方法。根据县级财政平台一体化应用系统特点,设计模拟运行真实的业务场景,采用压力测试和负载测试获取性能指标,运用网页元素细分和关联度等进行详细分析性能瓶颈,并提出改善方法。     

通风机性能自动测试系统

介绍了一种通风机性能自动测试系统的设计、组成及功能、论述了其硬件系统的组成和软件设计。实践证明，该系统具有用户界面良好、工作可靠、操作方便、功能完善、适用面宽等特点。     

一种模拟驱动的Web应用程序性能测试方法

性能是Web应用程序成功的要素之一，性能测试则是保证这一要素的重要手段．但由于Internet及Web用户的不确定性，Web应用程序的性能测试难于传统Client／Server的测试．比较了3种主要的Web性能测试方法；提出了一种简单可行的、通用的方法——模拟驱动的自动负载测试方法．关键的步骤有：根据系统使用方式和客户端各种特征的分布信息来确定测试负载、设计测试用例；利用测试工具开发相应的测试脚本；运行测试用例模拟不同类型用户的典型行为；收集被测程序的性能数据．结合实例详述了该方法，并给出了测试计划的模板．     

基于持续集成的Android自动化测试

Android测试方面的研究大多集中在测试工具和框架的实现上,有些工具和框架可以实现测试用例的自动生成和测试脚本的自动执行。然而在项目开发过程中,测试这个活动是需要人工启动的,不能及时有效地保证新增或者修改代码的质量。在 Robotium 测试框架的基础上,通过研究持续集成方案,包括被测代码和测试代码的托管、版本控制,应用的自动构建,测试的自动执行,实现了Android的自动化测试平台。使用该测试平台,可以及时自动地对被测代码的修改进行测试,直观可控地保证了Android应用的质量。