软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

航天器控制软件可靠性工程方法研究

当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.     

软件度量过程的研究与实施

软件度量过程是实施软件过程改进的基础.为了建立支持过程改进的软件度量过程,研究了几种与过程改进有关的度量标准、模型.然后提出一种基于实用软件度量的改进过程,并对过程的实施进行了说明.      

采用辅助网格的4D-8PSK—TCM维特比译码

由于地球探测卫星(EESS)的不断增加,空间数据传输的频带日趋拥挤.为此,空间频率协调组织(SFCG)建议采用高效率调制技术(调制效率不低于1.75 bit/symbol)进行数据传输,以有效地利用空间的频率资源,从而避免由于拥挤导致的临近频带之间的相互干扰. 4D-8PSK-TCM是CCSDS(空间数据系统咨询委员会)针对SFCG关于EESS 8025N8400 MHz频带调制效率不低于1.75 bit/symbol的高效率调制要求而提出的高效率编码调制标准,在满足抗噪声性能要求的基础上,有效地提高了频带利用率.本文研究了调制效率为2.5比特/符号的4D-8PSK-TCM系统及其维特比译码算法,并在Matlab Simulink下进行了维特比译码算法的仿真.在算法实现中,针对路径度量的复杂性,采用了一种辅助网格的方法,使计算路径度量时只需要64次比较,相对于直接计算所需的2032次比较,极大降低了路径度量的运算复杂度.     

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

一种面向矢量视频处理器的并行存储结构

视频编解码算法不仅复杂度非常高,对数据存储需要密集的矢量化访问.针对这一问题提出了一种线性斜移结构的二维存储方案,支持任意行或任意列的单指令存取,与SIMD(Simple Instruction Multiple Data)结构的矢量处理器相结合,能够成倍的加速视频计算的执行效率.给出了该方案的地址计算逻辑和存储结构,精简的地址计算逻辑和数据重排逻辑构成了视频处理器的矢量地址产生单元,解决了数据重排的高延迟和高复杂度问题.结合H.264视频编码标准对这一结构的性能进行了分析和对比,对该编码标准中的运动估计,分像素插值和去块效应滤波这3个计算复杂度最高的模块在该结构下的执行效率进行了分析和对比.      

Java卡的可信代码装载机制设计

对满足可信计算平台(TCP,Trusted Computing Platform)需求的代码管理问题,提出了以Java卡为核心,以代码签名技术为主要手段,以卡内的安全域(security domain)作为各个软件权威(Java卡设备发行方和应用提供方)安全策略执行者的可信代码管理框架.新机制支持设备发行方软件的装载和更新,完善了应用提供方安全域的装载和更新流程,并对下载命令数据结构进行了扩充.解决了在复杂应用环境中,多个软件权威相互独立的限制条件下,代码的免人工广播式发布问题,扩展了传统Java卡软件装载模式,提高了系统的安全性,为使用Java卡平台进行可信计算提供保障.     

基于不完全语言信息的航天研制项目风险决策

针对航天研制项目风险管理的复杂性,提出了一种基于现代多属性语言决策方法的航天研制项目风险评价模型.给出了不完全语言信息下基于不确定扩展有序加权平均算子的决策方法.将项目风险标度进行了拓展,一方面使得风险度量更加准确;另一方面能够很好地与决策模型中的语言信息合理匹配.以航天研制项目风险决策为例说明了该方法的实用性和有效性,为项目风险评价提供了一种新思路.      

Java SDAI 研究与实现

为了在Internet网上共享产品数据,基于Java语言实现了STEP标准数据读取接口SDAI.该实现包括几个部分:EXPRESS信息模型向Java语言的映射,Java SDAI会话模式的实现和JOS/Part 21文件、JOS/STEP数据库两个映射.基于该Java SDAI接口的STEP应用系统,可采用Browser/Server三层体系结构,客户端用户通过通用的Internet网浏览器即可操作异地的STEP产品数据,该Java SDAI接口既与Part 21文件又与关系型数据库(SQL Server)相连接.通过一个演示实例,对Java SDAI的优、缺点进行了总结.     

Java源代码字节码剽窃检测方法及支持系统

提出一种Java源代码和字节码都适用的剽窃检测方法并实现了支持系统,该方法以类的Java文件或class文件为比较单元,从中抽取代表程序语法和语义特征的5种特征向量,综合计算产生两个类文件之间的相似度,可用于帮助判断两个类文件之间是否存在全部或部分剽窃现象.在人工修改程序的场景下进行的对比实验结果和剽窃检测实验结果表明,该方法可有效检测程序代码的严格拷贝和近似拷贝,有较高的检测性能,并且能够识别程序剽窃行为中对Java源文件所做的大部分类型的代码变换.     

捷联惯导系统计算机硬件检测原理与实现

介绍一种实用捷联惯导系统计算机结构。主模块与美国SESCO/TITAN公司的SECS86/20模块兼容,检测软件可以检测板上大中规模集成芯片,具有检测全面、准确的特点,从方法与原理上都具有通用性,可以方便地移植到其它类似的机器上。该软件已用于实际系统。     

一种嵌入式系统软件的非干涉测试方法

传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"可以将这种影响消除,从而得到精确的测试结果,是一种准确反映被测试目标系统真实运行状态的测试方法.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的.通过分析非干涉测试方法的基本特征,提出了该方法的应用模型.在这个模型中,有3个组成部分是必需的,包括静态分析模块,动态分析模块和通过硬件采集目标系统状态信息的数据采集子系统.静态分析模块对被测试软件静态特征进行分析,指导硬件采集子系统如何采集以及动态分析模块如何解析采集的数据.在整个测试周期,"非干涉测试方法"不需要在目标软件中驻留任何仅用于测试的可执行代码.      

基于FPGA的激光成像质心提取算法的硬件实现

针对一款激光成像测距系统设计激光成像自适应质心提取算法模块,该模块包含自适应积分时间调整、多波峰毛刺平滑处理及基于灰度加权的质心提取3个子模块,该模块已在FPGA上实现,处理延迟小,占用资源少,可稳定提取目标在线阵探测器上成像的质心位置,提高三维激光测距的精度.     

面向对象程序可视化类图的逆向自动生成

研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM.     

空气域与流体域耦合作用下双层电池包散热特性

多层垒叠电池包内空气域的存在使各层模组热流场耦合在一起,从而影响电池模组的散热性能。以方形双层电池包为研究对象,建立考虑电池模组与空气对流换热的液冷热模型。该模型中电池发热功率基于试验测定结果,前处理软件采用ANSA确保仿真精度,后处理软件采用CFX,对在不同放电倍率、冷却液进液方向和进液流量下双层电池结构中空气域对液冷热管理系统热行为的影响进行了研究,并与不考虑空气域同工况仿真结果对比。结果表明:空气域的存在不会对液冷双层电池包上下层模组温度分布产生影响;但可以降低上下层模组间的温差,其中上下层模组最高温升的差值最大可降低49.1%,改善了整包电池温度的一致性。      

软件标准符合性测试

叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。     

旋转跟踪模块测试系统设计

简单介绍了旋转跟踪模块测试系统的研发需求背景,阐述了测试系统的组成结构及工作原理;详细介NTN试系统的主要组成单元,最后对测试系统的软件设计要求、程序流程和关键参数测量进行了说明。