基于UML状态图的类测试用例自动生成方法

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML 状态图的类的测试用例自动生成方法。

基于EMD-DISPO的Mie散射激光雷达回波信号去噪方法研究

激光雷达回波信号是典型的非稳态、非平稳信号,用传统的滤波方法难以对其进行有效地处理。利用经验模式分解方法(EMD)将信号按照不同的特征时间尺度分解为不同的IMF分量,将含有噪声的高频IMF分量剔除,可达到去噪的目的。但如果简单地将高频分量直接剔除,有可能造成有效信号的损失。可提出将EMD方法与Savitzky-Golay滤波器(DISPO)结合的方法,该方法能在保证信号完整性的同时,对原始信号进行有效处理。经仿真数据与实测数据的实验对比分析,该方法不但有效地去除噪声信号,而且尽可能地保持了有效信号,减少了信号损失,提高了数据处理的准确度。

基于组件的柔性制造执行系统软件集成测试研究

针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。

面向对象软件测试的特点及方法

分析了面向对象软件的特点及其对测试的影响。综述了面向对象软件测试的层次划分。

面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。

基于UML面向对象软件静态测试方法的研究

文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。

均匀设计在开关电源可靠性参数设计中的应用

介绍在开关电源控制电路的设计中 ,利用均匀法进行可靠性参数设计的方法。阐述了均匀设计表的选取原则 ,并得出了仿真和实验结果。

基于有限状态自动机的构件化软件集成测试方法

构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。

一种基于继承次序与相关度的布图算法

在层次图边交叉最小化问题上,常规启发算法或者时间复杂度大或者布图效果不佳。基于Sugiyama布图算法模式,提出了一种交叉数减少算法,并从布局与布线两个主要方面介绍了其实现过程。两层图上的实验表明,该算法具有较好的性能,一定程度上克服了时间复杂度与效果的矛盾。

从Rose的规约文件自动生成测试用例

对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。

基于UML的C++软件静态测试方法

提出一种基于UML的面向对象软件静态测试的方法，论述了方法的基本框架及针对C++程序的具体实现，使测试人员能直观地了解程序结构上的错误，并有效地设计测试用例。本静态测试方法是通过分析源程序文件，采用数据库来保存分析结果，并以UML类关系图显示出来。

新型剑杆织机运动控制研究

针对不同的纤维材料特性要求，需要有不同的织机运动曲线相对应的问题，本文介绍了采用机械凸轮控制的固有运动与计算机控制的交流伺服电机自由运动相复合的新型剑杆织机，它可以很方便地实现运动轨迹的变化；提出了采用周期校正型重复控制法的运动控制方案，仿真结果表明，该控制法可达到快速、平滑、高精度的控制目的。

工作流系统建模与基于群件的实现

论文讨论了Petri网理论在工作流建模中的应用,建立并分析了公文管理的Petri网模型,对基于Notes的公文管理系统实现中的关键问题给出可行的解决方案。

一种改进的可靠性参数设计方法

对参数设计中序贯淘汰水平法（ＳＥＬ）和绝对偏差法进行了研究和改进，提出了以ＳＥＬ法与绝对偏差法结合为基础的自动变间隔迭代搜索法。针对不同的典型实例与以前的参数设计方法进行比较，结果证明该方法高效可靠，且具有较好的可操作性。为工程实用奠定了一定的基础。

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

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

基于区间相容技术与GA的测试数据自动生成方法

针对测试数据自动生成完全依赖约束集求解问题(Constraint Solving Problem,CSP)进行求解会导致耗时较大甚至求解不出最终测试用例,以及采用动态GA算法又无法确定变量的最初论域空间,首次将基于CSP求解与GA的动态算法进行了有机结合,摒弃了二者固有的缺陷,吸取了静态算法对变量论域空间削减速度快的优点。采用eBox区间相容削减标准,过滤变量的论域空间,并在经过削减的空间上采用GA搜索算法自动产生测试数据,应用常变量的逆向推导技术、表达式直接遗传等技术,大幅度地提高了测试数据的生成速度。

大功率电流型晶闸管变频器低频PWM换流过程分析

从换流原理、假设条件出发，对大功率电流型晶闸管变频器如何实现低频ＰＷＭ换流进行了较为详细地分析，提出了该变频应用于低频时应注意的问题，同时首次给出了此类变频器低频ＰＷＭ调制加二重化技术所产生的理论输出波形，可供工程实践中参考。

构件集成软件测试用例生成智能算法分析

构件集成软件测试用例生成是测试中的重要的难题之一.提出了构件集成软件的结构树路径覆盖准则,研究智能算法的参数编码设计、适应度函数的构造、关键算子的设定.以三角形分类判断的构件集成软件为例仿真实验,重点从覆盖率、收敛情况、测试用例数目等方面对各智能算法进行比较分析.结果表明,融合的遗传算法与蚂蚁算法与其他算法相比有一定优势.

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

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

基于状态的EJB构件集成测试

针对构件源代码的不可知性问题,该文提出了从构件规格说明、接口中提取两类测试信息,生成构件状态测试用例,通过测试这两类“测试信息”进行构件属性分析和状态判定,通过“属性-状态”依赖关系,划分属性关联关系中理想状态空间,并构造测试树,利用不同的覆盖准则生成测试用例。