互操作性测试序列生成与优化方法

对互操作性测试序列的测试执行代价进行详细分析,提出一种通过构造测试生成树来生成互操作性测试序列的方法.该方法在构造测试生成树过程中进行测试代价增量的计算,用局部最优的贪心策略进行互操作边的选择,以对测试生成树进行扩展,最终得到近似最优的测试集.     

基于属性的协议互操作性测试的TTCN-3实现

目前对路由协议的测试主要集中在一致性测试,对于像OSPF这样的复杂协议,对其进行互操作测试非常必要.传统的协议互操作性测试是基于被测系统的形式化模型生成测试序列,对测试序列进行测试例抽象,最终得出测试判定.传统方法简单易行,但当测试序列较长时相应问题随之而来.采用TTCN-3语言对基于属性生成的测试序列进行测试用例的实现,结果说明采用基于属性作为模型选择的方法并结合使用TTCN-3实现测试用例可以有效提高测试效率.     

改进的基于唯一输入输出序列的测试序列自动生成算法

协议一致性测试中,测试序列一般只能做到半自动生成,其全自动生成问题一直没有得到完全解决.针对此,提出一种改进的基于UIO序列(Unique input/output sequences)的测试序列自动生成算法,并且用C语言程序实现了该算法,从而实现了测试序列的全自动生成.将该算法自动生成的测试序列与测试数据相结合,生成了SM-RL(short message relay layer)协议优化的一致性测试套.与优化前相比,新测试套有了明显的改进,提高了测试工作的效率.     

CTCS-3级列控系统车载设备测试序列的优化

如何将测试案例组合成为最有效和最优化的测试序列,是车载设备测试的一个关键问题.将优化测试序列生成问题演化为邮递员问题,通过利用遗传算法解决邮递员问题的优势,将遗传算法应用于优化测试序列的生成.根据车载模式转换图构造测试子序列图,然后应用遗传算法求解得到优化测试序列.分析实验结果表明,此方法使得测试效率得到了大幅度提高,是一种优化测试序列生成问题的可行方法.     

基于XML的试题开发系统的设计与实现

基于国家信息技术教育测试互操作标准CELTS.10,从XML技术应用及标准化试题生成系统架构的建立两个方向,详细论述了试题开发系统的研制方法、主要内容和关键技术的实现;并在国家测试标准CELTS.10和WEBSERVICE技术的基础上提出了一种通用的试题开发系统架构,成功的解决了试题资源缺乏统一格式,在各异的体系结构中学习对象重用困难,系统互操作困难的问题。     

大型数字电路的动态电流测试模式

组合逻辑电路的最大动态电流测试应在电路的原始输入端施加一个特定的测试序列才能实现.文中提出一种算法模式可以快速生成所需的测试序列.算法与电路的原始输入端数无关.     

一种基于测试序列失败树的动态测试方法

针对传统的测试方法按照静态的顺序执行预先生成的固定测试集，而实际测试范围可能被缩小，同时测试结果受到测试序列间、测试序列内的影响等问题，提出了一种构造测试序列失败树（TSFT）并用其指导动态测试的方法．该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响，通过TSFT指导测试序列的动态执行，同时还考虑了引导序列和验证序列对测试结果的影响，在避开TSFT的前提下，可在引导序列和验证序列集合中进行搜索和替换，动态地生成新的有效测试序列．实验结果表明，所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响，较明显地提高了实际的测试效率和测试覆盖率．     

基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法.以组播监听者发现(MLD)协议为例说明了该方法的应用.该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高.     

安全计算机平台测试序列的生成与优化

基于模型检验的测试序列生成及优化方法,在描述符号模型检验原理和CTL(计算树逻辑,Computation Tree Logic)覆盖标准的基础上,通过分析测试序列的覆盖范围,证明了测试序列的覆盖完整性,并生成和优化了安全计算机平台测试序列.     

基于T-时延离散Petri网的小卫星测试序列生成方法

通过分析小卫星测试中被测对象组成,建立测试对象与T-时延离散Petri网(T-timed discrete Petri nets,TTDPN)映射关系,给出被测对象的TTDPN描述.提出TTDPN的矩阵表示方法,并证明关系矩阵与TTDPN模型间的若干性质.设计基于小卫星TTDPN模型的测试序列动态生成算法,解决了现有小卫星测试系统中测试序列执行效率低的问题.为验证算法的有效性和性能,在相同模型下将文中算法与传统测试序列生成算法进行仿真对比.结果表明,该算法能够根据用户需求,针对模型中可达状态,动态地生成测试序列,能够满足小卫星测试系统高可靠性要求.     

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, conformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of workflows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test.     

一种改进的转换可执行分析测试序列生成算法

为确保测试序列对控制流和数据流的覆盖,提出了一种对以扩展有限状态机(extended finitestate machine,EFSM)为模型描述的协议进行测试的方法.该方法在控制流部分采用惟一输入输出(unique input/output,UIO)序列,在数据流部分采用全定义-使用路径(all Def-use paths)标准,通过改进的转换可执行分析(transition executability analysis,TEA)方法,使用深度优先策略生成TEA树,同时得到可执行的EFSM控制流和数据流测试序列以及所有变量的定义-使用对(Def-use pairs).     

安全电子商务系统互操作性测试

系统的互操作性是安全电子商务的研制、发展中的一个关键问题．在此介绍了互操作性的概念,研究了基于安全电子交易sET协议的安全电子商务系统的体系结构和应用实现,以及不同厂商的安全电子商务系统之间的互操作性测试流程和方法．安全电子商务系统互操作性测试为安全电子商务系统的实现和顺利运行提供了保障．     

基于随机访问扫描的低功耗确定性测试方案

大规模高密度的集成电路在测试中面临着测试数据量大、测试时间长和测试功耗高的问题.为此提出了一种基于随机访问扫描(random access scan,RAS)的混合模式测试体系结构,该测试方法先通过自动测试模式生成一个确定测试集,再将确定测试集嵌入片上生成的测试序列中进行确定性测试.测试分两个阶段进行,第一阶段利用块固定折叠计数器生成的具有块固定特征的测试模式序列,测试电路中的大部分故障;第二阶段,通过位跳变方法生成确定测试模式,测试剩余的难测故障.在ISCAS-89基准电路上的实验结果表明,该方案不仅减少了测试存储量和测试时间,而且有效地降低了测试功耗.     

基于Hopfield神经网络数字系统测试技术研究

介绍了用离散Hopfield神经网络模型把组合电路约束网络转化为能量函数，用数学优化求能量函数的最小值，即为给定固定型故障的测试矢量。经检测故障覆盖率达到100％并通过试探法进一步优化测试矢量集，然后将测试矢量集的响应序列移入本原多项式求得特征序列，建立故障字典，实验证明该方法切实有效。     

用Skipjack算法构造跳频码的实现

跳频码序列的性质直接影响着跳频通信的性能，计数式跳历ToD(Time of Day)跳频码序列的产生算法是对计数式ToD的分组加密变换。基于这种认识，提出了用分组加密Skipjack算法来构成跳频码序列的产生算法，分析和测试表明所得的跳频码序列在均匀性、相关性、复杂性、游程和频隙滞留等方面都能满足跳频码序列的要求；在FPGA上综合的结果说明，该算法是一个便于芯片实现的、可实用的跳频码发生器方案。     

中国居民消费价格指数的ARIMA预测模型

本文将2009年1月至2014年12月期间的中国居民消费价格总指数进行了分析,对序列进行了季节性检验和季节性调整,通过计算季节指数,利用时间序列图以及ADF检验方法检验了调整后序列的平稳性,得到了居民消费价格总指数的ARIMA模型.最后分别对CPI进行静态预测和动态预测,将预测结果乘以季节指数将预测结果还原,得到了较为满意的结果.