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

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

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

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

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

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

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

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

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

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

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

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

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

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

一种基于B+树的混合索引结构

针对文件中存在字符属性和数值属性特点的数据,提出一种基于B+树的2层混合索引结构。在索引创建过程中,将文件中的数据根据其类型进行分类,第1层是为数据属性建立B+树索引结构,第2层是根据不同的数据类型建立不同的索引结构。实验结果表明,该索引结构能实现跨数据范围的检索,提高索引的创建速度和空间利用率。     

利用BISON ++设计UML规约扫描器

在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON 设计一个UML文本扫描器，实现了在UML文档中自动提取有助于软件测试的各种分析设计信息，提高了软件测试分析设计的效率。     

基于自动机模型的构件集成软件测试要素的提取

分析了构件化软件接口、事件、上下文及内容依赖关系在集成测试中的作用，以及提取该四要素的难度；针对构件化软件的自身特点提出了一种有限状态自动机模型，利用该模型实施对四要素的提取，并通过实例验证了该模型的有效性。