一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

面向对象软件测试

探讨面向对象软件的测试过程和方法,主要研究了类的测试和集成测试。     

面向对象软件测试的策略

简要介绍了面向对象中的类、继承、封装等机制给软件测试带来的影响,分析了面向对象测试的特殊性,最后探讨了面向对象软件测试的层次和各层测试中采取的策略。     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于FPGA的数字类板件比对测试平台设计

数字类板件的检测包括功能检测和时序检测,由于该类板件输入输出信号路数多、时序复杂,一直是电子系统中测试的难点。给出了一种基于FPGA的测试平台,可在不依赖于计算机的情况下,自动给出被测板件与原板件的逻辑功能和时序关系的比对测试结果,且时序误差可手动设置,并能确定不一致输出的位置和此时输入的测试矢量。该平台已用于某引进装备中数字类板件的比对测试,更换不同测试头也可用于其他板件的测试。     

面向嵌入式火控软件的划分测试设计

根据嵌入式火控软件的数据特点 ,设计了相应的划分测试原则。并以某型坦克火控软件的实验数据对比了划分测试与随机测试的覆盖率 ,总结出对于该类软件划分测试具有一定的优势     

应用VITE的导弹测试信号模拟研究北大核心

现代战争,尤其是高科技、信息化的局部战争,导弹武器发挥的作用日益显著。导弹测试在导弹调试验证过程中具有非常重要的作用,是判定导弹合格与否的关键。基于ATML标准中测试信号的特点和VITE软件平台的功能,提出了将VITE软件应用于导弹的测试信号模拟中。首先介绍了VITE软件及ATML标准中测试信号的基本接口,接着描述了应用软件进行导弹测试信号模拟的方法和步骤,最后给出了应用VITE软件对某型导弹测试信号模拟的实例,为导弹本身及其测试设备的研究提供了重要的理论和技术支撑。     

面向对象技术在仿真测试系统中的应用

面向对象技术在软件系统开发中得到了广泛的应用。本文基于作者的分析与理解,阐述了面向对象设计方法的特点及其为软件设计方法所带来的变化。通过面向对象设计方法的应用,实例化了面向对象设计方法的特点,进一步展示了面向对象设计方法可能为软件方法带来的进步。     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

舰空导弹武器系统作战软件试验测试平台

由舰空导弹武器系统在试验中出现的作战软件故障,提出了加强软件可靠性评估的观点和建立舰空导弹武器系统作战软件试验测试平台的构想。给出了基于海上试验环境的作战软件试验测试平台的方案、试验方案设计、试验实施策略以及可靠性评估方法。     

软件内建自测试系统中模板的研究及系统构建

软件内建自测试(Build-In-Self-Test for Software)的思想来自于硬件内建自测试.讨论了在该项目中模板需要存储的有关信息,研究了测试用例的组织方式和在模板中的存储方式及其执行方式.而且就如何简化结构化程序的测试也进行了探讨,并提出了包装类的概念.     

弹性联轴器动刚度测试系统研究

针对具有非线性特性和干摩擦阻尼特性的高弹性联轴器 ,设计了其动刚度测试系统 .测量软件采用基于Windows事件驱动的程序设计方法 .考虑系统所响应的不同事件 ,建立相应的功能模块 ,并优化了系统结构 .最后给出了该测试系统的实际应用情况 .     

雷达发射机功率测试仪的研究与设计

用自行研制的PC虚拟仪器卡以军用工控机为平台,构成一个集成化的通用雷达发射机功率测试仪器,完成对多种雷达发射机功率的测试,并给出了实现自动测试的软件表达.     

基于航迹挖掘的船舶行为估计方法及软件实现

船舶活动规律分析尤其是船舶的行为研判问题,一直是研究的难点。聚焦船舶的活动规律分析问题,提出了一种基于大量船舶历史航迹聚类的频繁模式挖掘方法,用于对船舶未来行为进行估计,并给出了软件实现。首先提出航迹的综合相似性度量方法,并介绍基于航迹聚类的频繁模式挖掘含义;其次对经典密度聚类算法进行适应性改造,给出基于综合相似性的聚类算法的实施方法;然后,提取虚拟主干航迹计算最相似簇,经统计得出对当前船舶行为的估计结果;最后,给出了基于C/S架构的软件总体设计和试验效果。试验表明该方法能够给出航迹关联行为描述,软件得到的行为估计结果能够辅助研判。     

FlexRay在导弹测试系统中的应用

针对导弹测试系统可靠性差、通信速率低的缺点,在分析测试需求的基础上,提出了一种基于Flex Ray总线技术的导弹测试系统总体设计方案,给出了数字信号处理器与总线控制器的接口硬件电路、软件流程,分析了设计中需要考虑的主要问题。     

气象水文软件测评系统建设研究

介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况.     

复杂装备测试性指标确定方法研究

根据可用信息的不同,给出了测试性指标（TFOMs）确定的4种模型,并分析了各种模型的优缺点。为了能够综合使用所有可用信息,提出了基于层次分析法（AHP）的测试性指标模型。示例结果显示AHP模型给出的结果更加合理。     

面向对象计算机系统若干问题的研究

现有面向对象的软件环境大都建立在传统的Von Neumann 型计算机结构上,其执行效率很低。传统系统是无法支持面向对象风格高效实现的。很有必要开发新型的体系结构以支持这种良好的程序设计风格。本文从介绍面向对象程序设计的基本思想入手,建立面向对象思想与计算机系统的联系,阐述有关研究问题并给出初步的解决办法。     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。