一种TTCN测试套自动生成方法研究

简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式)，并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

TTworkbench在Web测试中的初步研究

为了更好地应用TTCN-3对Web应用系统进行测试,本文介绍了TTCN-3测试系统的基本原理和Web应用程序的特点,同时介绍了应用testing-tech公司的产品TTworkbench对Web应用系统进行测试的原理和步骤,最后以某网上书店的查询功能为例,给出了TTworkbench在Web测试中的初步研究,结果证明本文的方法对其他Web应用系统的测试提供了依据。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

一种测试用例精简与自动生成方法

为了保证软件质量,在开发过程中引入了多种软件测试技术,需要手工构造大量的测试用例,覆盖软件的功能点。但是手工构造测试用例,工作效率低,并且很难命中所有的功能点,尤其是功能点组合的情况。为了提升软件的测试覆盖率、降低人工成本,本文提出了一种测试用例精简与自动生成方法。该方法根据业务场景分类业务数据,构造功能点组合矩阵,归并、精简业务场景之间的功能点组合矩阵,再执行生产请求,匹配功能点组合矩阵,自动生成测试用例,从而聚焦核心功能点、提升软件的代码测试覆盖率,达到提升软件质量和安全、降低人工成本、提升团队交付能力的目的。     

一种实现TTCN-3测试系统TCI-CH接口的方法

通过深入研究TTCN-3测试系统TC I-CH接口的功能与特性,提出了一种使用CORBA技术实现TC I-CH接口的方法,并利用模拟环境对实现作了验证.     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理．从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

一种改进的自动规划GUI测试用例生成方法

在分析使用AI规划方法生成GUI测试用例方法的基础上,提出了一种基于权重的AI规划生成GUI测试用例方法。通过利用权重区分GUI事件序列重要程度,在此基础上将事件划分成不同子集,以决定测试用例的生成次序,使生成的测试用例更合理,从而提高GUI测试效率。实验结果表明,应用此方法在相同的测试用例数下能发现更多的错误。     

一种基于TTCN-3的TD-LTE终端协议一致性测试系统的构建

TD-LTE是中国提出的具有自主知识产权的4G移动通信标准,随着该技术的日益成熟和应用研究的迅速发展,越发的凸显出终端的协议一致性测试的重要性。文中首先介绍了协议一致性测试和TTCN-3的基本理论知识,然后简单分析了基于TTCN-3的TD-LTE协议一致性测试平台的设计及实现方案。     

一种基于需求规约的谓词测试用例生成方法

软件失效多数由其包含的谓词引发.本文针对特定的故障模型,提出一种基于需求规约的谓词测试用例生成方法.该方法从需求规约中提取出因果图,再将因果图转换为谓词,再由BRO算法生成测试约束集,最后将生成测试用例集.实例分析表明,方法能有效生成测试用例集,并满足相应的测试谓词准则.     

基于控制流程的软件测试用例自动生成方法研究

软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种从流程图自动生成测试用例的方法,然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法.最后,介绍了相关支持工具ATCG.     

基于可信基因的网格测试分级约简研究

作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一．而软件测试的核心与关键则是测试用例的生成问题,测试用例的数量和质量将直接决定软件测试的成本和有效性．就目前而言,随着覆盖程度的提高,所需使用的测试用例数量也在呈指数级增长,且冗余随之而来．因此,若进行完全测试,势必工作量很大,但若只按一般组合设计测试用例,则又会存在因测试次数太少而牺牲相应检错能力的问题．为此,提出了基于可信基因的网格测试约简方案,并通过实践验证了所得到的测试集不仅规模较小、保持了极佳的检错能力,而且与传统算法相比较时空间复杂度有所下降．     

能提高错误检测能力的回归测试用例集约简

软件测试过程中,测试用例集的规模可能会随着软件的维护和修改而飞速地增长,使得回归测试费用大幅度增加.为降低回归测试成本,需对回归测试用例集进行约简.现有的测试用例集约简方法不仅缩小了测试用例集的规模,同时也可能削弱了错误检测能力.本文提出了一种新的约简方法,该方法在约简回归测试用例集的时候综合考虑测试用例的测试覆盖度、测试运行代价和错误检测能力3个因素.通过仿真实验表明该方法在有效约简回归测试用例集的同时能保证约简后的测试用例集的错误检测能力.     

一种综合数据流和控制流的协议测试集自动生成法

为了更高效地产生协议测试集 ,论文提出了一种基于外部行为描述模型、综合数据流和控制流测试的协议测试集自动生成方法及其实现。外部行为描述模型只对协议的外部行为进行描述 ,强调变迁之间的数据依赖性。该方法引入唯一输入 /输出序列算法和描述协议不确定性的适应性输入/输出树的概念 ,运用协议约束集控制协议空间搜索的复杂度。并采用测试集的验证技术分析测试集的覆盖能力。该方法已运用于 OSI协议和 TCP/ IP RFC协议的测试生成 ,大大提高了软件开发和协议实现的质量及进度。     

基于C++语言转换的TTCN-3执行器的设计与实现

在TTCN-3标准与执行语义研究的基础上,提出一种将TTCN-3语言翻译成C 语言的转换方案.首先将TTCN-3书写的抽象测试套翻译为C 语言,在翻译语言中添加执行要素,从而生成可执行的测试套,然后执行器调度该测试套完成测试套的执行.这种方案已经应用在新设计的TTCN-3测试系统中.运行结果表明,基于C 语言转换的TTCN-3测试系统在总体性能上比编译成内存对象并执行的方式有一定的提高.     

测试用例约简技术及其在单元测试中的应用

测试用例的质量和数量决定软件测试的成本和有效性，本文提出了一种测试用例的简约方法。该方法首先根据测试需求之间的关系，给出各个参数的候选集；然后根据模块接口参数运行的模拟图、数据覆盖和模拟路径覆盖的原理得出测试用例基本集，即测试命中集。本文还提出了在单元回归测试过程中，可以按照一定原则进行属性简约，在剩余属性集合中再进行测试用例的简约。实验表明，该算法在减少测试成本和提高测试效率方面取得了很好的效果，并且极大地增强了它的可操作性。     

配对组合测试用例集生成的一种新策略

基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.