OSPFv3协议一致性测试序列的自动生成

由于手工法生成的测试例具有随机性、不确定性和不完整性,因此提出了一个自动生成测试例的方法,使用该方法生成的测试例比运用手工法生成的测试例准确、完整.该方法首先为OSPFv3协议的邻居状态转换过程建立了部分的EFSM模型,然后遵循故障模型的故障类型标准,使用数据流与控制流相结合的方法自动生成测试序列,对生成的测试例经过测试发现了协议实现的一些错误.     

基于遗传算法的面向多样性EFSM测试序列生成方法

为提高扩展有限状态机(EFSM)测试用例生成的效率及效果,提出了一种基于遗传算法的面向多样性EFSM测试用例集生成方法.在优化遗传算法个体编码和操作算子的基础上,引入EFSM测试序列集多样性度量,利用遗传算法,不断增加测试序列集中测试序列间的差异程度.同时在方法中增加测试序列可行性判别机制,以保证最终测试序列均为能产生测试数据的可执行序列.实验结果表明,与未考虑多样性的EFSM测试序列生成方法相比,面向多样性的方法不仅能够生成可执行并满足测试覆盖准则的测试序列集,而且有效减少了测试序列集生成的时间开销,同时缩小了所需最小测试用例集的规模.     

基于扩展的层次有色petri网的组合服务测试用例生成

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义一使用路径覆盖标准.     

既考虑数据流又考虑控制流的测试方法分析及比较

研究数据流与控制流相结合的测试方法，为进行比较，采用了三个不同的数据流标准，对于控制流选定操作符覆盖标准，提出了求可执行变迁序更列的算法，并且给出了关于测试方法，测试序列数目及错误覆盖能力的比较。     

基于Petri网模型的OSPF路由处的测试序列生成

OSPF协议是一种动态路由协议,它利用内部的链路状态数据库来维护和计算路由,它的路由算法是本协议的关键部分,本给出了路由算法的Petri网模型,并使用控制流和数据流测试相结合的一种方法,在此基础上产生测试序列。     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

EFSM模型中测试序列的产生方法

在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

一种针对可执行代码的内存泄漏静态分析方案

针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.     

基于Petri网的数据流与控制流相结合的协议测试

提出一种数据民控制流相结合的测试方法,在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准,对于数据流采用ａｌｌ－ｄｅｆｓ标准,最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。     

现场总线培训系统中的流量测量与控制

介绍了一种小口径管道中的流量测量与控制的方法。利用电子秤测出总流量,再通过对SMAR现场总线设备IF302中的模块进行组态,实现总流量到瞬时流量的转换,达到瞬时流量的测量。实现现场总线培训系统实验装置中流量测量与控制。实验证明,该方法简单易行,解决了这种小口径管道中的流量测量与控制问题。     

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

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

A simplified-syntax-based static structure model for embedded software analysis

In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint’s 95% and Splint’s 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C (including embedded software) program.     

一种组合的Web应用测试建模方法

应用Web建立一个清晰的测试模型能够帮助指导测试工作,为下一步形成测试用例,执行测试奠定基础。在分析Web应用现有测试模型的基础上,提出了一种从对象、导航行为、系统结构3个方面进行分析的建模方法,分别介绍了3种模型的建模方法及相应的测试用例生成办法,扩充了以往对象模型的关系结构,将浏览器行为的影响加入到导航行为模型中,根据控制流和数据流来反映系统结构。这种组合模型充分考虑了Web应用的特性,直观全面地反映了Web应用的各方面关系,能够有效指导测试工作。     

CreditMetrics模型中转移概率和风险价值的计算

CreditMetrics模型是量化信用风险的管理模型,信用矩阵转移概率的确定是该模型的核心问题之一.该文提出一种信用矩阵转移概率的估计方法,采用随机模拟的数据进行验证, 并通过误差分析确定较为合适的样本容量.同时改进原有模型中对贷款现金流的计算方法,即一类客户在n年内信用等级的各种转移情况下的贷款现金流折算.最后采用核估计方法计算贷款风险值VaR,并与原有模型的计算结果进行比对.根据比对结果,可以证明此方法是行之有效的.     

翼面吸气混合层流控制的数值研究

本文采用Menter发展的γ-Reθ转捩/湍流模式预测平板和超临界RAE-2822翼型的转捩特性,验证了该转捩模式的有效性和可靠性,同时获得网格分布等规律.在此基础上开展某超临界翼型上表面及其前缘结冰时吸气层流控制后的转捩预测,分别获得干净和结冰外形下混合层流控制对转捩的影响规律.结果表明,合理设计的层流控制对干净翼型表面转捩推迟明显,能有效减阻;在结冰情况下,层流控制几乎失效.     

CCITT G.721标准算法分析

本文论述了 CCITT 1986年提出的32kb/s ADPCM 标准算法结构.详细分析了 G.721自适应量化和自适应预测算法,分析了算法对于话音信号、非话音信号的透明传输特性和无累积失真的同步级联特性,以及用来改善 FSK 信号调制传输性能的单音和过渡检测功能.