基于XML的构件化软件集成测试方法研究

分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。     

基于LSI的代码-文档可追溯关联挖掘研究

软件过程产品间可追溯关联挖掘对软件维护及需求跟踪等众多领域至关重要。基于此,提出一种基于潜在语义索引提取程序代码和中文文档关联信息的方法,该方法是对向量空间模型的改进,通过分析文本间隐含的语义结构来确定关联度,而不依赖于词项的匹配。实验结果表明,该方法不依赖于代码和文档预先定义的同义词库和知识库,并能一定程度上提高查全率和查准率。     

确定时间序列分段点的方法研究

现有的时间序列分段线性表示一般把局部极值点作为分段点,但是局部极值点并不能完全刻画时间序列的状态变化,根据时间序列线性分段的基本思想,提出在确定局部极值点的基础上引入斜率差值大的分段点,以便得到较高的拟合精度。新的分段点通过比较相邻序列段的斜率实现,斜率差值越大,该点的状态改变越明显。实验证明该方法拟合误差小,有很好的实用性。     

可靠性参数设计中评价方法和优化方法的应用研究

可靠性参数设计中实用、高效的评价方法和优化方法的研究是当前对参数设计进行应用研究的关键之一。本文对常见的一些方法进行了比较研究,阐述了绝对偏差法和序贯淘汰水平法（ＳＥＬ）与其它评价方法和优化方法相比的优势所在和不足之处。最后提出了以ＳＥＬ法与绝对偏差法结合为基础的变间隔迭代法的参数设计方法。     

基于状态机代码合成技术的状态测试数据生成

目前，基于状态机的测试多集中在测试序列的生成方法学上，然而状态机的特点决定了测试序列对测试数据具有相当的依赖性，即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为，将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据，为解决状态机测试数据的生成提供了一种可行的方法。     

基于中国邮路算法及UIO序列的状态机测试序列生成

状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。     

数字图像几何变换的数据并行方法研究

针对SIMD计算机上的数字图像的几何变换问题，提出了一个新颖的基于阵列平移的数据并行实现方法。在此基础上，给出了数字图像几何变换的数据并行实现算法，并详细分析和讨论了算法的复杂性以及精度要求。     

大规模集成电路UAA4002及其应用

本文介绍了一种大规模集成电路ＵＡＡ４００２。介绍了其设计特点、引脚功能及各种参数的整定，进而探讨它在电力电子技术中的应用，并给出相应的应用原理图。最后提出了一些在使用中的建议。     

数字音频广播服务综述

1901年12月，马可尼(G．Marconi)用莫尔斯(Mors)电码第一次成功地完成了相距约2900km的两地间的无线电通信实验。这次通信实质上用的是数字无线电技术，因为莫尔斯电码是数字量。但由于以数字电子计算机为基础的数字技术当时尚未诞生，从第一座无线电台开始服务的1922年到20世纪80年代末、90年代初，60多年时间内模拟无线电技术一直统治着无线电广播领域。     

基于UML的面向对象软件测试系统

设计和实现了一个基于UML的C 测试集成开发环境CppTestlDE.它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置.同时,对源代码插装,以便度量代码覆盖率.在此基础上,编译测试装置和源代码,生成测试装置执行文件.最后,驱动测试装置执行文件,分析测试结果,生成测试报告.