仿真环境下嵌入式软件测试技术研究与应用

嵌入式软件的开发运行是针对特定的环境条件,作为第3方的测试,在有些运行平台和条件无法保障下,要测试嵌入式软件是非常困难的.主要论述在普通PC机上怎样实现对嵌入式软件测试的方法和步骤.     

面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

非英语专业口语教学现状及对策的实证研究

传统的大学非英语专业口语教学对师生在教学活动中的角色定位不够准确,学生在学习过程中缺乏信心,教学效果不够理想。本文通过对大学非英语专业口语教学的特点进行研究,发现不利于学生开口说英语的种种因素,提出了教学改进的思路和措施,并运用SPSS进行测试分析,验证了此方案的可行性。     

以太网交换机仿真与验证

叙述了以太网交换机的结构、端口缓存交换策略,从排队论出发建立仿真模型和仿真流程,按数理统计原理用t函数进行均值假设检验,验证仿真模型及流程的可信度。文章叙述以太网交换机仿真模型与算法对进行计算机网络仿真有参考价值。     

ADTA——数据流覆盖测试工具

介绍了基于汇编语言的数据流自动测试工具ADTA(Automatic Dataflow TestFor Assembly     

恒定应力加速寿命试验的非参数统计方法

在恒定应力加速寿命试验 (简称恒加试验 )的统计分析中 ,非参数统计方法具有一定的实际价值 .在一定的假定下 ,文中给出了两种新估计 ,并证明了它们的优良性     

基于似然比检验的橡胶密封件加速试验机理一致性判别方法

加速退化试验广泛应用于橡胶密封件等长寿命产品的可靠性评估,试验过程中需要将高应力水平下的试验结果外推到正常应力水平。要获得准确的产品可靠性评估结果,需要保证加速应力下的退化失效机理与正常应力下的退化失效机理一致。基于似然比检验原理,提出加速退化试验机理一致性判别方法及流程。针对失效机理一致与失效机理变化两种场合,提出对数线性及非对数线性两类加速模型,并结合混合效应模型描述产品退化过程。利用似然比检验判断加速模型参数是否变化,完成失效机理一致性判别。仿真算例和应用实例表明,该方法能够有效判别橡胶密封件失效机理是否变化,并找到失效机理不变的应力水平边界。     

VXI总线在导弹综合测试系统的应用

介绍了VXI总线系统的技术特点 ,阐述VXI总线技术在导弹综合测试系统的应用情况 ,详细描述了利用VXI总线组建的导弹测试系统的硬件及应用软件的设计 ,指出VXI总线技术在国防武器装备中具有广泛的应用前景。     

软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

基于虚拟仪器的某自动测试仪的开发与设计

介绍了某自动检测仪的特点 ,并详细论述了其故障自动诊断专家系统的构成、功能及软硬件设计 .