基于模型的方法在软件测试领域的应用与发展

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进行回顾,并对基于模型的自动化测试工具、应用实践进行了概述.最后,探讨了MBT技术的未来发展与研究方向.     

盲多用户检测算法综述与仿真分析

盲多用户检测因其抑制多址干扰的能力，在CDMA系统中具有非常重要的作用。盲多用户检测因其需要很少的信息，而具有更好的适应性。本文具体介绍了四种主要的盲多用户自适应检测算法，LMS算法、RLS算法、APA算法和Kalman滤波算法，并给出计算机仿真结果，比较了四种算法的性能。     

摄像机白平衡引起的昏暗问题改善算法

在有色温偏色影响时,特别是环境照度较低的情况下,具有自动白平衡功能视频摄像机拍摄的视频内容会出现昏暗问题.针对这一问题提出了一种渐降饱和度算法:在摄像机因RGB通道增益最大值达到增益上限而无法增加时,渐降饱和度,同时上调增益,提高图像亮度;当环境照度增加时,逐渐恢复图像颜色饱和度.实验证明,所提方案改善了视频摄像机在低照度下的视觉效果,并且饱和度渐变过程过渡自然.     

超细CuO粉体用于异丙苯氧化反应的研究

近年来,苯酚市场需求增长速率较快,提高苯酚的生产技术及生产能力并降低成本势在必行。以Cu(NO₃)₂·3H₂O和NaOH为原料,采用固相研磨混合法在室温下制备了超细CuO,采用X射线衍射（XRD）和扫描电镜（SEM）对合成CuO的结构和形貌进行了表征分析,并与分析纯的CuO相比较。将超细CuO用于空气氧化异丙苯制过氧化氢异丙苯（CHP）的反应。常压下,考察了反应温度和催化剂用量等条件对CHP浓度的影响,100 mL异丙苯加入1 g催化剂,90 ℃反应12 h后,CHP累积浓度达27%左右,符合工业生产要求。催化剂回收后经简单再生处理可重复使用。     

基于ARM&FPGA的1394仿真测试前端系统设计

针对在航天嵌入式软件测试中遇到的将1394总线仿真测试融合到分布式测试系统中的实际需求,提出了一种基于ARM&FPGA架构的1394仿真测试前端系统;在简单介绍了1394总线和分布式测试系统后,设计和实现了1394仿真测试前端软硬件,并基于此前端构建分布式仿真测试系统;经测试,1394仿真测试前端满足1394等时数据包和异步数据包的收发时序要求,并成功应用于某航天器软件第三方评测中。